SWRL

From PlugIT Wiki

Jump to: navigation, search



Name

SWRL

Management Summary

Semantic Web Rule Language (SWRL) aims to combine Ontology Web Languages OWL DL and OWL Lite with the Datalog RuleML sublanguage. SWLR allows users to write rules in terms of ontology concepts and to reason about ontology individuals. Thus SWRL enables the discovery of new knowledge base (ontology) by inferencing.

Dimensions of the language:

Perspective (Role of End user):

Systems

Aspects:

Motivation

Semantics:

formal

Framework:

W3C

Relevance for Use Case:

none

Maturity Level:

established

Semantics:

SWRL allows formal statements for terms, facts and rules

Syntax:

Modelling concepts and functionalities, level of formalism, graphical notation
SWRL is a W3C Submission Member.

Sequences of axioms and facts are defined in an OWL ontology. Axioms my be of various kinds, e.g. subClass axioms and equivalentClass axioms. It is proposed to extend this with rule axioms. A rule axiom consits of an antencedent (body) and a consequent (head), each of which conists of a (possibly empty) set of atoms. If the antecendent holds (is true), then the consquent must also hold. An empty antecedent is treated as trvially holding (true) and an empty consequent is treated as trivially not holding (false).

Atoms can be of the form C(x), P(x,y), sameAs(x,y), differentFrom(x,y) or builtIn(r,x). C is an OWL description, P is an OWL property, r is a builtin-relation, x and y are either variables, OWL individuals or data values.

References

SWRL


Navigate

Overview modelling languages