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, isOfType
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
accept, accept
Set<SWRLAtom> getBody()
SWRLAtom
s, which represent the atoms in the body
of the rule.Set<SWRLAtom> getHead()
SWRLAtom
s, which represent the atoms in the head
of the ruleSWRLRule getSimplified()
Set<SWRLVariable> getVariables()
boolean containsAnonymousClassExpressions()
true
if this rule contains anonymous class expression in
class atoms, otherwise false
.Set<OWLClassExpression> getClassAtomPredicates()
SWRLRule getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
Copyright © 2017 The University of Manchester. All Rights Reserved.