A better uncle for OWL: nominal schemas for integrating rules and ontologies

We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(⊓, ×) that is versatile enough to capture the lightweight languages OWL EL and OWL RL. Categories and Subject Descriptors I.2.4 [Knowledge Representation Formalisms and Methods]: Representation languages; F.4.1 [Mathematical Logic]: Computational logic General Terms Languages, Complexity, Algorithms Keywords Web Ontology Language, Description Logic, SROIQ, Semantic Web Rule Language, Datalog, tractability

• Type: Journal
• Year: 2011
• Where: WWW
• Authors: Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
• Keywords: Internet Technology, Knowledge Representation Formalisms And Methods, Nominal Schemas, Ontology Language, WWW 2011