OWL rules: A proposal and prototype implementation

Abstract

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 SWRL (the Semantic Web Rules Language), a Horn clause rules extension to OWL that overcomes many of these limitations. SWRL extends OWL in a syntactically and semantically coherent manner: the basic syntax for SWRL rules is an extension of the abstract syntax for OWL DL and OWL Lite; SWRL rules are given formal meaning via an extension of the OWL DL model-theoretic semantics; SWRL rules are given an XML syntax based on the OWL XML presentation syntax; and a mapping from SWRL rules to RDF graphs is given based on the OWL RDF/XML exchange syntax. We discuss the expressive power of SWRL, showing that the ontology consistency problem is undecidable, provide several examples of SWRL usage, and discuss a prototype implementation of reasoning support for SWRL.

DOI: 10.1016/j.websem.2005.05.003

Extracted Key Phrases

3 Figures and Tables

0204060'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

403 Citations

Semantic Scholar estimates that this publication has 403 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Horrocks2005OWLRA, title={OWL rules: A proposal and prototype implementation}, author={Ian Horrocks and Peter F. Patel-Schneider and Sean Bechhofer and Dmitry Tsarkov}, journal={J. Web Sem.}, year={2005}, volume={3}, pages={23-40} }