TY - GEN
T1 - A better uncle for OWL nominal schemas for integrating rules and ontologies
AU - Krötzsch, Markus
AU - Maier, Frederick
AU - Krisnadhi, Adila Alfa
AU - Hitzler, Pascal
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
KW - Datalog
KW - Description logic
KW - SROIQ
KW - Semantic web rule language
KW - Tractability
KW - Web ontology language
UR - http://www.scopus.com/inward/record.url?scp=84873462557&partnerID=8YFLogxK
U2 - 10.1145/1963405.1963496
DO - 10.1145/1963405.1963496
M3 - Conference contribution
AN - SCOPUS:84873462557
SN - 9781450306324
T3 - Proceedings of the 20th International Conference on World Wide Web, WWW 2011
SP - 645
EP - 654
BT - Proceedings of the 20th International Conference on World Wide Web, WWW 2011
T2 - 20th International Conference on World Wide Web, WWW 2011
Y2 - 28 March 2011 through 1 April 2011
ER -