org.semanticweb.owlapi.model
Interface SWRLRule

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, SWRLObject

All Known Implementing Classes:

SWRLRuleImpl

public interface SWRLRule
extends OWLLogicalAxiom, SWRLObject

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Represent a rule. A rule consists of a head and a body. Both the head and the body consist of a conjunction of atoms.

Method Summary

boolean	containsAnonymousClassExpressions() Determines if this rule uses anonymous class expressions in class atoms.
SWRLRule	getAxiomWithoutAnnotations() Gets an axiom that is structurally equivalent to this axiom without annotations.
java.util.Set<SWRLAtom>	getBody() Gets the atoms in the body of the rule
java.util.Set<OWLClassExpression>	getClassAtomPredicates() Gets the predicates of class atoms.
java.util.Set<SWRLAtom>	getHead() Gets the atoms in the head of the rule
SWRLRule	getSimplified() If this rule contains atoms that have predicates that are inverse object properties, then this method creates and returns a rule where the arguments of these atoms are fliped over and the predicate is the inverse (simplified) property
java.util.Set<SWRLVariable>	getVariables() Gets the variables that appear in this rule.

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owlapi.model.SWRLObject

accept, accept

Method Detail

getBody

java.util.Set<SWRLAtom> getBody()

Gets the atoms in the body of the rule

Returns:

A set of SWRLAtoms, which represent the atoms in the body of the rule.

getHead

java.util.Set<SWRLAtom> getHead()

Gets the atoms in the head of the rule

Returns:

A set of SWRLAtoms, which represent the atoms in the head of the rule

getSimplified

SWRLRule getSimplified()

If this rule contains atoms that have predicates that are inverse object properties, then this method creates and returns a rule where the arguments of these atoms are fliped over and the predicate is the inverse (simplified) property

Returns:

The rule such that any atoms of the form inverseOf(p)(x, y) are transformed to p(x, y).

getVariables

java.util.Set<SWRLVariable> getVariables()

Gets the variables that appear in this rule.

Returns:

A set of variables.

containsAnonymousClassExpressions

boolean containsAnonymousClassExpressions()

Determines if this rule uses anonymous class expressions in class atoms.

Returns:

true if this rule contains anonymous class expression in class atoms, otherwise false.

getClassAtomPredicates

java.util.Set<OWLClassExpression> getClassAtomPredicates()

Gets the predicates of class atoms.

Returns:

A set of class expressions that represent the class class expressions that are predicates of class atoms.

getAxiomWithoutAnnotations

SWRLRule getAxiomWithoutAnnotations()

Description copied from interface: OWLAxiom

Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially returns a version of this axiom stripped of any annotations

Specified by:

getAxiomWithoutAnnotations in interface OWLAxiom

Returns:

The annotationless version of this axiom