How are owl and rules used in SWRL?
Note that the two forms equal to and different from can be seen as “syntactic sugar”: they are convenient, but do not add to the expressive power of the language (i.e. such (mis)equalities can already be expressed using the combined power of OWL and rules without explicit (in)equality atoms).
Table of Contents
How is an OWL ontology related to RuleML?
An OWL ontology in abstract syntax contains a sequence of axioms and facts. Axioms can be of various types, for example subclass axioms and equivalent class axioms. It is proposed to extend this with rule axioms. axiom::= rule
Is there a Semantic Web Rules Language ( SWRL )?
This document contains a proposal for a Semantic Web Rules Language (SWRL) based on a combination of the OWL DL and OWL Lite sublanguages of the OWL Web Ontology Language with the RuleML unary/binary data record sublanguages of the Semantic Markup Language. rules. The proposal expands OWL’s set of axioms to include rules similar to Horn’s.
Is there an abstract syntax for SWRL rules?
SWRL includes a high-level abstract syntax for Horn-like rules in the OWL DL and OWL Lite sublanguages of OWL. A model-theoretic semantics is provided to provide the formal meaning of OWL ontologies, including the rules written in this abstract syntax.
How to use OWL ontology with SWRL rules from Java code?
It also shows how to use an OWL ontology with SWRL rules from Java code by calling a reasoner. Note that this page describes OWL version 2, which can only be processed by tools designed for that version, such as Protege 4, OWL API 3, or Pellet 2.
How are SWRL rules similar to Prolog rules?
SWRL rules. The expressiveness of OWL can be extended by adding Semantic Web Rule Language (SWRL) rules to an ontology. SWRL rules are similar to Prolog or DATALOG language rules. In fact, SWRL rules are DATALOG rules with unary predicates to describe classes and data types, binary predicates for properties,…