public class SWRLRuleImpl extends OWLLogicalAxiomImpl implements SWRLRule
Modifier and Type | Class and Description |
---|---|
protected class |
SWRLRuleImpl.AtomSimplifier |
Modifier and Type | Field and Description |
---|---|
protected SWRLRuleImpl.AtomSimplifier |
ATOM_SIMPLIFIER |
Constructor and Description |
---|
SWRLRuleImpl(java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head) |
SWRLRuleImpl(java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head,
java.util.Collection<? extends OWLAnnotation> annotations) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLAxiomVisitor visitor) |
<O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
void |
accept(SWRLObjectVisitor visitor) |
<O> O |
accept(SWRLObjectVisitorEx<O> visitor) |
protected int |
compareObjectOfSameType(OWLObject object) |
boolean |
containsAnonymousClassExpressions()
Determines if this rule uses anonymous class expressions in
class atoms.
|
boolean |
equals(java.lang.Object obj) |
OWLAxiom |
getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
Gets a copy of this axiom that is annotated with the specified annotations.
|
AxiomType<?> |
getAxiomType()
Gets the axiom type for this axiom.
|
SWRLRule |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations.
|
java.util.Set<SWRLAtom> |
getBody()
Gets the atoms in the antecedent
|
java.util.Set<OWLClassExpression> |
getClassAtomPredicates()
Gets the predicates of class atoms.
|
java.util.Set<SWRLAtom> |
getHead()
Gets the atoms in the consequent.
|
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.
|
boolean |
isLogicalAxiom()
Determines if this axiom is a logical axiom.
|
isAnnotationAxiom
accept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnos
compareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, setOWLDataFactory, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isOfType, isOfType
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
protected final SWRLRuleImpl.AtomSimplifier ATOM_SIMPLIFIER
public SWRLRuleImpl(java.util.Set<? extends SWRLAtom> body, java.util.Set<? extends SWRLAtom> head, java.util.Collection<? extends OWLAnnotation> annotations)
public SWRLRule getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface SWRLRule
public OWLAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
OWLAxiom
getAnnotatedAxiom
in interface OWLAxiom
annotations
- The annotations that will be added to existing annotations to annotate the copy of this axiomOWLAxiom#getAnnotations()
method.public java.util.Set<SWRLVariable> getVariables()
SWRLRule
getVariables
in interface SWRLRule
public boolean containsAnonymousClassExpressions()
SWRLRule
containsAnonymousClassExpressions
in interface SWRLRule
true
if this rule contains anonymous
class expression in class atoms, otherwise false
.public java.util.Set<OWLClassExpression> getClassAtomPredicates()
SWRLRule
getClassAtomPredicates
in interface SWRLRule
public void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public void accept(SWRLObjectVisitor visitor)
accept
in interface SWRLObject
public <O> O accept(SWRLObjectVisitorEx<O> visitor)
accept
in interface SWRLObject
public java.util.Set<SWRLAtom> getBody()
public java.util.Set<SWRLAtom> getHead()
public void accept(OWLAxiomVisitor visitor)
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
public SWRLRule getSimplified()
getSimplified
in interface SWRLRule
public boolean isLogicalAxiom()
isLogicalAxiom
in interface OWLAxiom
isLogicalAxiom
in class OWLLogicalAxiomImpl
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.public boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
public AxiomType<?> getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl