Paper Info
Title
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 the Semantic Web Rule Language (SWRL), 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.
Year
DOI
Venue
2005
10.1016/j.websem.2005.05.003
J. Web Sem.
Keywords
Field
DocType
swrl rule,owl dl model-theoretic semantics,xml exchange syntax,owl rdf,prototype implementation,swrl usage,semantic web,owl lite,knowledge representation,model-theoretic semantics,rules languages,reasoning,horn clause rules extension,owl rule,owl xml presentation syntax,owl web ontology language,owl dl,abstract syntax,language model,web ontology language,expressive power,semantic web rule language
Programming language,XML,Computer science,Semantic Web,Rule Interchange Format,OWL-S,Natural language processing,Artificial intelligence,Abstract syntax,Semantic Web Rule Language,RDF,Web Ontology Language
Journal
Volume
Issue
ISSN
3
1
Web Semantics: Science, Services and Agents on the World Wide Web
Citations 
PageRank 
References 
162
7.00
36
Authors
4
Search Limit
100162
Name
Order
Citations
PageRank
Ian Horrocks1117311086.65
Peter F. Patel-Schneider26925727.52
Sean Bechhofer33021361.49
Dmitry Tsarkov479449.29