|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl uk.ac.manchester.cs.owl.owlapi.SWRLRuleImpl
public class SWRLRuleImpl
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jan-2007
Nested Class Summary | |
---|---|
protected class |
SWRLRuleImpl.AtomSimplifier
|
Field Summary | |
---|---|
protected SWRLRuleImpl.AtomSimplifier |
ATOM_SIMPLIFIER
|
Constructor Summary | |
---|---|
SWRLRuleImpl(OWLDataFactory dataFactory,
java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head)
|
|
SWRLRuleImpl(OWLDataFactory dataFactory,
java.util.Set<? extends SWRLAtom> body,
java.util.Set<? extends SWRLAtom> head,
java.util.Collection<? extends OWLAnnotation> annotations)
|
Method Summary | ||
---|---|---|
void |
accept(OWLAxiomVisitor visitor)
|
|
|
accept(OWLAxiomVisitorEx<O> visitor)
|
|
void |
accept(OWLObjectVisitor visitor)
|
|
|
accept(OWLObjectVisitorEx<O> visitor)
|
|
void |
accept(SWRLObjectVisitor visitor)
|
|
|
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. |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl |
---|
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
---|
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom |
---|
equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType |
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject |
---|
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity |
Methods inherited from interface java.lang.Comparable |
---|
compareTo |
Field Detail |
---|
protected SWRLRuleImpl.AtomSimplifier ATOM_SIMPLIFIER
Constructor Detail |
---|
public SWRLRuleImpl(OWLDataFactory dataFactory, java.util.Set<? extends SWRLAtom> body, java.util.Set<? extends SWRLAtom> head, java.util.Collection<? extends OWLAnnotation> annotations)
public SWRLRuleImpl(OWLDataFactory dataFactory, java.util.Set<? extends SWRLAtom> body, java.util.Set<? extends SWRLAtom> head)
Method Detail |
---|
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 axiom
OWLAxiom#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)
accept
in interface OWLObject
public <O> O accept(OWLObjectVisitorEx<O> visitor)
accept
in interface OWLObject
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()
getBody
in interface SWRLRule
SWRLAtom
s, which represent the atoms
in the antecedent of the rule.public java.util.Set<SWRLAtom> getHead()
getHead
in interface SWRLRule
SWRLAtom
s, which represent the atoms
in the consequent of the rulepublic void accept(OWLAxiomVisitor visitor)
accept
in interface OWLAxiom
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
accept
in interface OWLAxiom
public SWRLRule getSimplified()
getSimplified
in interface SWRLRule
public boolean isLogicalAxiom()
isLogicalAxiom
in interface OWLAxiom
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |