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 builtinrelation, x and y are either variables, OWL individuals or data values.
