|
|||||||||
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.OWLHasKeyAxiomImpl
public class OWLHasKeyAxiomImpl
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 17-Jan-2009
Constructor Summary | |
---|---|
OWLHasKeyAxiomImpl(OWLDataFactory dataFactory,
OWLClassExpression expression,
java.util.Set<? extends OWLPropertyExpression> propertyExpressions,
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)
|
|
OWLHasKeyAxiom |
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. |
|
OWLHasKeyAxiom |
getAxiomWithoutAnnotations()
Gets an axiom that is structurally equivalent to this axiom without annotations. |
|
OWLClassExpression |
getClassExpression()
Gets the class expression, instances of which, this axiom acts as the key for |
|
java.util.Set<OWLDataPropertyExpression> |
getDataPropertyExpressions()
Gets the set of data property expressions that make up the key. |
|
java.util.Set<OWLObjectPropertyExpression> |
getObjectPropertyExpressions()
Gets the set of object property expressions that make up the key. |
|
java.util.Set<OWLPropertyExpression> |
getPropertyExpressions()
Gets the set of property expressions that form the key |
|
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 |
Constructor Detail |
---|
public OWLHasKeyAxiomImpl(OWLDataFactory dataFactory, OWLClassExpression expression, java.util.Set<? extends OWLPropertyExpression> propertyExpressions, java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail |
---|
public OWLHasKeyAxiom getAxiomWithoutAnnotations()
OWLAxiom
getAxiomWithoutAnnotations
in interface OWLAxiom
getAxiomWithoutAnnotations
in interface OWLHasKeyAxiom
public OWLHasKeyAxiom 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 AxiomType getAxiomType()
OWLAxiom
getAxiomType
in interface OWLAxiom
public boolean isLogicalAxiom()
OWLAxiom
isLogicalAxiom
in interface OWLAxiom
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.public OWLClassExpression getClassExpression()
OWLHasKeyAxiom
getClassExpression
in interface OWLHasKeyAxiom
public java.util.Set<OWLPropertyExpression> getPropertyExpressions()
OWLHasKeyAxiom
getPropertyExpressions
in interface OWLHasKeyAxiom
public java.util.Set<OWLDataPropertyExpression> getDataPropertyExpressions()
OWLHasKeyAxiom
OWLHasKeyAxiom.getPropertyExpressions()
method.
getDataPropertyExpressions
in interface OWLHasKeyAxiom
public java.util.Set<OWLObjectPropertyExpression> getObjectPropertyExpressions()
OWLHasKeyAxiom
OWLHasKeyAxiom.getPropertyExpressions()
method.
getObjectPropertyExpressions
in interface OWLHasKeyAxiom
protected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType
in class OWLObjectImpl
public void accept(OWLObjectVisitor visitor)
accept
in interface OWLObject
public <O> O accept(OWLObjectVisitorEx<O> 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 boolean equals(java.lang.Object obj)
equals
in class OWLAxiomImpl
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |