![]() ![]() |
This is a description of a proposed rules extension to the OWL Web Ontology Language. It includes a high-level abstract syntax for Horn clause rules in both the OWL DL and OWL Lite sublanguages of OWL. A model-theoretic semantics is given to provide a formal meaning for OWL ontologies including rules written in this abstract syntax. An XML syntax based on the OWL XML presentation syntax and a mapping to RDF graphs based on the OWL RDF/XML exchange syntax are also given, along with several examples.
1 of 24 |