Title | A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies |
Publication Type | Conference Papers |
Year of Publication | 2011 |
Authors | Krötzsch, M, Maier, F, Krisnadhi, A, Hitzler, P |
Editor | Srinivasan, S, Ramamritham, K, Kumar, A, Ravindra, MP, Bertino, E, Kumar, R |
Conference Name | Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 |
Pagination | 645-654 |
Date Published | 03/2011 |
Publisher | ACM |
ISBN Number | 978-1-4503-0632-4 |
Keywords | datalog, Description Logic, Semantic Web Rule Language, SROIQ, tractability, Web Ontology Language |
Abstract | 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(\cap, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL. |
URL | http://doi.acm.org/10.1145/1963405.1963496 |
DOI | 10.1145/1963405.1963496 |