Title
A better uncle for OWL: nominal schemas for integrating rules and ontologies
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ötzsch11618116.35
Frederick Maier217011.63
Adila Krisnadhi323327.87
Pascal Hitzler42383191.06