The normative version of RDF Schema (RDFS) gives non-standard (intensional) interpretations to some standard notions such as classes and properties, thus departing from standard set-based semantics. In this paper we develop a standard set-based (extensional) semantics for the RDFS vocabulary while preserving the simplicity and computational complexity of deduction of the intensional version. This result can positively impact current implementations, as reasoning in RDFS can be implemented following common set-based intuitions and be compatible with OWL extensions. © 2013 Springer-Verlag.
The logic of extensional RDFS / Enrico, Franconi; Claudio, Gutierrez; Alessandro, Mosca; Pirro', Giuseppe; Rosati, Riccardo. - STAMPA. - 8218 LNCS:PART 1(2013), pp. 101-116. (Intervento presentato al convegno 12th International Semantic Web Conference, ISWC 2013 tenutosi a Sydney, NSW nel 21 October 2013 through 25 October 2013) [10.1007/978-3-642-41335-3_7].
The logic of extensional RDFS
PIRRO', GIUSEPPE;ROSATI, Riccardo
2013
Abstract
The normative version of RDF Schema (RDFS) gives non-standard (intensional) interpretations to some standard notions such as classes and properties, thus departing from standard set-based semantics. In this paper we develop a standard set-based (extensional) semantics for the RDFS vocabulary while preserving the simplicity and computational complexity of deduction of the intensional version. This result can positively impact current implementations, as reasoning in RDFS can be implemented following common set-based intuitions and be compatible with OWL extensions. © 2013 Springer-Verlag.File | Dimensione | Formato | |
---|---|---|---|
VE_2013_11573-671864.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
449.05 kB
Formato
Adobe PDF
|
449.05 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.