|
|||||||||
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.OWLLogicalAxiomImpl uk.ac.manchester.cs.owl.owlapi.OWLPropertyAxiomImpl uk.ac.manchester.cs.owl.owlapi.OWLSubPropertyChainAxiomImpl
public class OWLSubPropertyChainAxiomImpl
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Nov-2006
Constructor Summary | |
---|---|
OWLSubPropertyChainAxiomImpl(OWLDataFactory dataFactory,
java.util.List<? extends OWLObjectPropertyExpression> propertyChain,
OWLObjectPropertyExpression superProperty,
java.util.Collection<? extends OWLAnnotation> annotations)
|
Method Summary | ||
---|---|---|
void |
accept(OWLAxiomVisitor visitor)
|
|
|
accept(OWLAxiomVisitorEx<O> visitor)
|
|
void |
accept(OWLObjectVisitor visitor)
|
|
|
accept(OWLObjectVisitorEx<O> visitor)
|
|
protected int |
compareObjectOfSameType(OWLObject object)
|
|
boolean |
equals(java.lang.Object obj)
|
|
OWLSubPropertyChainOfAxiom |
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. |
|
OWLSubPropertyChainOfAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations. |
|
java.util.List<OWLObjectPropertyExpression> |
getPropertyChain()
Gets the chain of properties that represents the subproperty in this axiom. |
|
OWLObjectPropertyExpression |
getSuperProperty()
Gets the super property of this axiom |
|
boolean |
isEncodingOfTransitiveProperty()
Determines if this axiom is of the form: P o P -> P, which is an encoding of Transitive(P) |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl |
---|
isLogicalAxiom |
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, isLogicalAxiom, 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 |
Constructor Detail |
---|
public OWLSubPropertyChainAxiomImpl(OWLDataFactory dataFactory, java.util.List<? extends OWLObjectPropertyExpression> propertyChain, OWLObjectPropertyExpression superProperty, java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail |
---|
public OWLSubPropertyChainOfAxiom 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 OWLSubPropertyChainOfAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLSubPropertyChainOfAxiom
public java.util.List<OWLObjectPropertyExpression> getPropertyChain()
OWLSubPropertyChainOfAxiom
getPropertyChain
in interface OWLSubPropertyChainOfAxiom
public OWLObjectPropertyExpression getSuperProperty()
OWLSubPropertyChainOfAxiom
getSuperProperty
in interface OWLSubPropertyChainOfAxiom
public boolean isEncodingOfTransitiveProperty()
OWLSubPropertyChainOfAxiom
isEncodingOfTransitiveProperty
in interface OWLSubPropertyChainOfAxiom
true
if this encodes that the super property
is transitive, otherwise false
.public void accept(OWLObjectVisitor visitor)
accept
in interface OWLObject
public void accept(OWLAxiomVisitor visitor)
accept
in interface OWLAxiom
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
accept
in interface OWLAxiom
public <O> O accept(OWLObjectVisitorEx<O> visitor)
accept
in interface OWLObject
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 |