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(∩, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/1963405.1963496 | WWW |
Keywords | Field | DocType |
description-logic style extension,arbitrary dl-safe rule,variable nominal class,lightweight language,novel tractable language sroelv3,nominal schema,owl rl,better uncle,owl el,ontology language,native syntax,description logic,web ontology language,semantic web rule language,complexity,datalog | Ontology (information science),Programming language,Computer science,Description logic,OWL-S,Natural language processing,Artificial intelligence,Datalog,Syntax,Semantic Web Rule Language,Ontology language,Web Ontology Language | Conference |
Citations | PageRank | References |
46 | 1.85 | 26 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Markus Krötzsch | 1 | 1618 | 116.35 |
Frederick Maier | 2 | 170 | 11.63 |
Adila Krisnadhi | 3 | 233 | 27.87 |
Pascal Hitzler | 4 | 2383 | 191.06 |