A proposal for an owl rules language

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present ORL (OWL Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. ORL extends OWL in a syntactically and semantically coherent manner: c syntax for ORL rules is an extension of the abstract syntax for OWL DL and OWL Lite; ORL rules are given formal meaning via an extension of the OWL DL model-theoretic semantics; ORL rules are given an XML syntax based on the OWL XML presentation syntax; and a mapping from ORL rules to RDF graphs is given based on the OWL RDF/XML exchange syntax. We discuss the expressive power of ORL, showing that the ontology consistency problem is undecidable, provide several examples of ORL usage, and discuss how reasoning support for ORL might be provided. Categories and Subject Descriptors I.2.4 [Knowledge Representation ...

• Type: Conference
• Year: 2004
• Where: WWW
• Authors: Ian Horrocks, Peter F. Patel-Schneider
• Keywords: Internet Technology, Orl Extends Owl, ORL Rules, ORL Usage, WWW 2004