org.semanticweb.owlapi.model

Interface SWRLRule

All Superinterfaces:

Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, Serializable, SWRLObject

All Known Implementing Classes:

SWRLRuleImpl

public interface SWRLRule
extends OWLLogicalAxiom, SWRLObject

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

Author:

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

Method Summary

Methods

Modifier and Type	Method and Description
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.
Set<SWRLAtom>	getBody() Gets the atoms in the body of the rule.
Set<OWLClassExpression>	getClassAtomPredicates() Gets the predicates of class atoms.
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.
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, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType

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

accept, accept, getAnonymousIndividuals, 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

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

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

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

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