The Logic of Extensional RDFS. Franconi, E., Gutierrez, C., Mosca, A., Pirrò, G., & Rosati, R. In 2013.
abstract   bibtex   
The normative version of RDFS gives non-standard (intensional) interpretations to some standard notions such as classes and properties. In this paper we develop the extensional semantics for the RDFS vocabulary, which surprisingly preserves the simplicity and computational complexity of deduction of the intensional case. This result will impact current implementations in a positive sense, as reasoning in RDFS will follow common set-based intuitions and be compatible with OWL extensions; moreover, the rule system that we present is easily embeddable in existing libraries such as Jena.
@inproceedings{ franconi2013iswc,
  abstract = {The normative version of RDFS gives non-standard (intensional) interpretations to some standard notions such as classes and 
  properties. In this paper we develop the extensional semantics for the RDFS vocabulary, which surprisingly preserves the simplicity and 
  computational complexity of deduction of the intensional case. This result will impact current implementations in a positive sense, as 
  reasoning in RDFS will follow common set-based intuitions and be compatible with OWL extensions; moreover, the rule system that we 
  present is easily embeddable in existing libraries such as Jena.},
  added-at = {2014-06-02T12:00:55.000+0200},
  audience = {academic},
  author = {Franconi, Enrico and Gutierrez, Claudio and Mosca, Alessandro and Pirrò, Giuseppe and Rosati, Riccardo},
  biburl = {http://www.bibsonomy.org/bibtex/2c34fff0b8db4b465a8e79143ac9319af/savo.fabio},
  interhash = {d7ff177e44c3f1db567bc25f384c856b},
  intrahash = {c34fff0b8db4b465a8e79143ac9319af},
  keywords = {optique-project},
  partneroptique = {UNIROMA1, FUB},
  title = {The Logic of Extensional RDFS},
  wpoptique = {WP4},
  year = {2013},
  yearoptique = {Y1}
}

Downloads: 0