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.
|
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.
|
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfTypeaccept, accept, getNestedClassExpressions, isBottomEntity, isTopEntity, toStringcompareTogetSignaturecontainsEntityInSignaturegetAnonymousIndividualsgetClassesInSignaturegetObjectPropertiesInSignaturegetDataPropertiesInSignaturegetIndividualsInSignaturegetDatatypesInSignaturegetAnnotationPropertiesInSignatureaccept, accept@Nonnull Set<SWRLAtom> getBody()
SWRLAtoms, which represent the atoms in the body
of the rule.@Nonnull Set<SWRLAtom> getHead()
SWRLAtoms, which represent the atoms in the head
of the rule@Nonnull SWRLRule getSimplified()
@Nonnull Set<SWRLVariable> getVariables()
boolean containsAnonymousClassExpressions()
true if this rule contains anonymous class expression in
class atoms, otherwise false.@Nonnull Set<OWLClassExpression> getClassAtomPredicates()
@Nonnull SWRLRule getAxiomWithoutAnnotations()
OWLAxiomgetAxiomWithoutAnnotations in interface OWLAxiomCopyright © 2016 The University of Manchester. All Rights Reserved.