public interface SWRLRule extends OWLLogicalAxiom, SWRLObject
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.
|
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.
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
accept, accept
java.util.Set<SWRLAtom> getBody()
SWRLAtom
s, which represent the atoms
in the body of the rule.java.util.Set<SWRLAtom> getHead()
SWRLAtom
s, which represent the atoms
in the head of the ruleSWRLRule getSimplified()
java.util.Set<SWRLVariable> getVariables()
boolean containsAnonymousClassExpressions()
true
if this rule contains anonymous
class expression in class atoms, otherwise false
.java.util.Set<OWLClassExpression> getClassAtomPredicates()
SWRLRule getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom