org.semanticweb.owlapi.model

Interface SWRLRule

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, 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.

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Medical Informatics Group

Method Summary

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 flipped 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, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

containsEntityInSignature

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

getAnonymousIndividuals

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

getClassesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getIndividualsInSignature

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

getDatatypesInSignature

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

getAnnotationPropertiesInSignature

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

isAnonymous, isNamed

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

accept, accept

Method Detail

getBody

@Nonnull
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

@Nonnull
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

@Nonnull
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 flipped 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

@Nonnull
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

@Nonnull
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

@Nonnull
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 axiom deprived of annotations