|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectuk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLClassImpl
public class OWLClassImpl
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date:
25-Oct-2006
Constructor Summary | |
---|---|
OWLClassImpl(OWLDataFactory dataFactory,
IRI iri)
|
Method Summary | ||
---|---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visit from an OWLExpressionVisitor |
|
|
accept(OWLClassExpressionVisitorEx<O> visitor)
|
|
void |
accept(OWLEntityVisitor visitor)
|
|
|
accept(OWLEntityVisitorEx<O> visitor)
|
|
void |
accept(OWLNamedObjectVisitor visitor)
|
|
void |
accept(OWLObjectVisitor visitor)
|
|
|
accept(OWLObjectVisitorEx<O> visitor)
|
|
java.util.Set<OWLClassExpression> |
asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts. |
|
java.util.Set<OWLClassExpression> |
asDisjunctSet()
Interprets this expression as a disjunction and returns the disjuncts. |
|
OWLAnnotationProperty |
asOWLAnnotationProperty()
A convenience method that obtains this entity as an OWLAnnotationProperty (in order to avoid explicit casting). |
|
OWLClass |
asOWLClass()
If this class expression is in fact a named class then this method may be used to obtain the expression as an OWLClass without the need for casting. |
|
OWLDataProperty |
asOWLDataProperty()
A convenience method that obtains this entity as an OWLDataProperty (in order to avoid explicit casting). |
|
OWLDatatype |
asOWLDatatype()
A convenience method that obtains this entity as an OWLDatatype (in order to avoid explicit casting). |
|
OWLNamedIndividual |
asOWLNamedIndividual()
A convenience method that obtains this entity as an OWLNamedIndividual (in order to avoid explicit casting). |
|
OWLObjectProperty |
asOWLObjectProperty()
A convenience method that obtains this entity as an OWLObjectProperty (in order to avoid explicit casting). |
|
protected int |
compareObjectOfSameType(OWLObject object)
|
|
boolean |
equals(java.lang.Object obj)
|
|
java.util.Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLOntology ontology)
|
|
java.util.Set<OWLAnnotation> |
getAnnotations(OWLOntology ontology)
Gets the annotations for this entity. |
|
java.util.Set<OWLAnnotation> |
getAnnotations(OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the specified URI. |
|
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression |
|
OWLClassExpression |
getComplementNNF()
Gets the negation normal form of the complement of this expression. |
|
java.util.Set<OWLClassExpression> |
getDisjointClasses(OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontology. |
|
java.util.Set<OWLClassExpression> |
getDisjointClasses(java.util.Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class by axioms in the specified ontologies. |
|
java.util.Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLOntology ontology)
|
|
java.util.Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(OWLOntology ontology)
|
|
EntityType |
getEntityType()
Gets the entity type for this entity |
|
java.util.Set<OWLClassExpression> |
getEquivalentClasses(OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology and returns the class expressions corresponding to equivalent classes of this class. |
|
java.util.Set<OWLClassExpression> |
getEquivalentClasses(java.util.Set<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies and returns the class expressions corresponding to equivalent classes of this class. |
|
java.util.Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLOntology ontology)
|
|
java.util.Set<OWLIndividual> |
getIndividuals(OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontology. |
|
java.util.Set<OWLIndividual> |
getIndividuals(java.util.Set<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this class by axioms in the speficied ontologies. |
|
IRI |
getIRI()
Gets the IRI of this object |
|
OWLClassExpression |
getNNF()
Gets this expression in negation normal form. |
|
OWLClassExpression |
getObjectComplementOf()
Gets the object complement of this class expression. |
|
|
getOWLEntity(EntityType<E> entityType)
Gets an entity that has the same IRI as this entity but is of the specified type. |
|
java.util.Set<OWLSubClassOfAxiom> |
getSubClassAxioms(OWLOntology ontology)
|
|
java.util.Set<OWLClassExpression> |
getSubClasses(OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this class in the specified ontology. |
|
java.util.Set<OWLClassExpression> |
getSubClasses(java.util.Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this class in the specified ontologies. |
|
java.util.Set<OWLClassExpression> |
getSuperClasses(OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology and return the class expressions corresponding to super classes of this class. |
|
java.util.Set<OWLClassExpression> |
getSuperClasses(java.util.Set<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies and returns the class expression corresponding to the asserted super classes of this class. |
|
java.net.URI |
getURI()
|
|
boolean |
isAnonymous()
Determines whether or not this expression represents an anonymous class expression. |
|
boolean |
isBottomEntity()
|
|
boolean |
isBuiltIn()
Determines if this entity is a built in entity. |
|
boolean |
isClassExpressionLiteral()
Determines if this class is a literal. |
|
boolean |
isDefined(OWLOntology ontology)
Determines if this class has at least one equivalent class in the specified ontology. |
|
boolean |
isDefined(java.util.Set<OWLOntology> ontologies)
Determines if this class has at least one equvialent class specified by an equvialent classes axiom in one of the ontologies. |
|
boolean |
isOWLAnnotationProperty()
A convenience method that determines if this entity is an OWLAnnotationProperty |
|
boolean |
isOWLClass()
A convenience method that determines if this entity is an OWLClass |
|
boolean |
isOWLDataProperty()
A convenience method that determines if this entity is an OWLDataProperty |
|
boolean |
isOWLDatatype()
A convenience method that determines if this entity is an OWLDatatype |
|
boolean |
isOWLNamedIndividual()
A convenience method that determines if this entity is an OWLNamedIndividual |
|
boolean |
isOWLNothing()
Determines if this expression is the built in class owl:Nothing. |
|
boolean |
isOWLObjectProperty()
A convenience method that determines if this entity is an OWLObjectProperty |
|
boolean |
isOWLThing()
Determines if this expression is the built in class owl:Thing. |
|
boolean |
isTopEntity()
|
|
boolean |
isType(EntityType entityType)
Tests to see if this entity is of the specified type |
|
java.lang.String |
toStringID()
Returns a string representation that can be used as the ID of this entity. |
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
---|
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public OWLClassImpl(OWLDataFactory dataFactory, IRI iri)
Method Detail |
---|
public boolean isTopEntity()
isTopEntity
in interface OWLEntity
public boolean isBottomEntity()
isBottomEntity
in interface OWLEntity
public ClassExpressionType getClassExpressionType()
getClassExpressionType
in interface OWLClassExpression
public OWLClassExpression getObjectComplementOf()
getObjectComplementOf
in interface OWLClassExpression
public EntityType getEntityType()
getEntityType
in interface OWLEntity
public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType)
getOWLEntity
in interface OWLEntity
entityType
- The type of the entity to obtain. This entity is not affected in any way.
public boolean isType(EntityType entityType)
isType
in interface OWLEntity
entityType
- The entity type
true
if this entity is of the specified type, otherwise false
.public java.lang.String toStringID()
toStringID
in interface OWLEntity
public IRI getIRI()
OWLNamedObject
getIRI
in interface OWLNamedObject
public boolean isBuiltIn()
OWLEntity
isBuiltIn
in interface OWLEntity
true
if this entity is a built in entity, or false
if this entity is not a builtin entity.public boolean isAnonymous()
OWLClassExpression
isAnonymous
in interface OWLClassExpression
true
if this is an anonymous class expression, or false
if this is a named
class (OWLClass
)public boolean isClassExpressionLiteral()
OWLClassExpression
isClassExpressionLiteral
in interface OWLClassExpression
true
if this is a literal, or false if this is not a literal.public OWLClass asOWLClass()
OWLClassExpression
OWLClass
without the need for casting. The general pattern of use is to use the
isAnonymous
to first check
asOWLClass
in interface OWLClassExpression
asOWLClass
in interface OWLEntity
OWLClass
.public java.net.URI getURI()
public boolean isOWLThing()
OWLClassExpression
isOWLThing
in interface OWLClassExpression
true
if this expression is owl:Thing, or false
if this expression is not
owl:Thingpublic boolean isOWLNothing()
OWLClassExpression
isOWLNothing
in interface OWLClassExpression
true
if this expression is owl:Nothing, or false
if this expression is not
owl:Nothing.public OWLClassExpression getNNF()
OWLClassExpression
getNNF
in interface OWLClassExpression
public java.util.Set<OWLClassExpression> asConjunctSet()
OWLClassExpression
asConjunctSet
in interface OWLClassExpression
public java.util.Set<OWLClassExpression> asDisjunctSet()
OWLClassExpression
asDisjunctSet
in interface OWLClassExpression
public OWLClassExpression getComplementNNF()
OWLClassExpression
getComplementNNF
in interface OWLClassExpression
public java.util.Set<OWLSubClassOfAxiom> getSubClassAxioms(OWLOntology ontology)
public java.util.Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLOntology ontology)
public java.util.Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLOntology ontology)
public java.util.Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLOntology ontology)
public java.util.Set<OWLClassExpression> getSuperClasses(OWLOntology ontology)
OWLClass
getSuperClasses
in interface OWLClass
ontology
- The ontology to be examined
Set
of OWLClassExpression
s that represent
the superclasses of this class, which have been asserted in the specified
ontology.public java.util.Set<OWLClassExpression> getSuperClasses(java.util.Set<OWLOntology> ontologies)
OWLClass
getSuperClasses
in interface OWLClass
ontologies
- The set of ontologies to be examined.
OWLClassExpressions
s that represent the super classes
of this classpublic java.util.Set<OWLClassExpression> getSubClasses(OWLOntology ontology)
OWLClass
getSubClasses
in interface OWLClass
ontology
- The ontology which should be examined for subclass axioms.
Set
of OWLClassExpression
s that represet the
asserted subclasses of this class.public java.util.Set<OWLClassExpression> getSubClasses(java.util.Set<OWLOntology> ontologies)
OWLClass
getSubClasses
in interface OWLClass
ontologies
- The ontologies which should be examined for subclass axioms.
Set
of OWLClassExpression
s that represet the
asserted subclasses of this class.public java.util.Set<OWLClassExpression> getEquivalentClasses(OWLOntology ontology)
OWLClass
getEquivalentClasses
in interface OWLClass
ontology
- The ontology to be examined for axioms
Set
of OWLClassExpression
s that represent
the equivalent classes of this class, that have been asserted in the specified
ontology.public java.util.Set<OWLClassExpression> getEquivalentClasses(java.util.Set<OWLOntology> ontologies)
OWLClass
getEquivalentClasses
in interface OWLClass
ontologies
- The ontologies to be examined for axioms
Set
of OWLClassExpression
s that represent
the equivalent classes of this class, that have been asserted in the specified
ontologies.public java.util.Set<OWLClassExpression> getDisjointClasses(OWLOntology ontology)
OWLClass
getDisjointClasses
in interface OWLClass
ontology
- The ontology to search for disjoint class axioms
Set
of OWLClassExpression
s that represent
the disjoint classes of this class.public java.util.Set<OWLClassExpression> getDisjointClasses(java.util.Set<OWLOntology> ontologies)
OWLClass
getDisjointClasses
in interface OWLClass
ontologies
- The ontologies to search for disjoint class axioms
Set
of OWLClassExpression
s that represent
the disjoint classes of this class.public java.util.Set<OWLIndividual> getIndividuals(OWLOntology ontology)
OWLClass
getIndividuals
in interface OWLClass
ontology
- The ontology to be examined for class assertion axioms that
assert an individual to be an instance of this class.
Set
of OWLIndividual
s that represent
the individual that have been asserted to be an instance of this class.public java.util.Set<OWLIndividual> getIndividuals(java.util.Set<OWLOntology> ontologies)
OWLClass
getIndividuals
in interface OWLClass
ontologies
- The ontologies to be examined for class assertion axioms that
assert an individual to be an instance of this class.
Set
of OWLIndividual
s that represent
the individual that have been asserted to be an instance of this class.public java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology)
OWLEntity
getAnnotations
in interface OWLEntity
ontology
- The ontology to be examined for annotation assertion axioms
public java.util.Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLOntology ontology)
getAnnotationAssertionAxioms
in interface OWLEntity
public java.util.Set<OWLAnnotation> getAnnotations(OWLOntology ontology, OWLAnnotationProperty annotationProperty)
OWLEntity
getAnnotations
in interface OWLEntity
ontology
- The ontology to examine for annotation axiomsannotationProperty
- The annotation property
OWLAnnotation
objects that have the specified
URI.public boolean isDefined(OWLOntology ontology)
isDefined
in interface OWLClass
ontology
- The ontology to examine for axioms.public boolean isDefined(java.util.Set<OWLOntology> ontologies)
OWLClass
isDefined
in interface OWLClass
ontologies
- The ontologies to be examined for equivalent classes axiomspublic OWLDataProperty asOWLDataProperty()
OWLEntity
asOWLDataProperty
in interface OWLEntity
public OWLDatatype asOWLDatatype()
OWLEntity
asOWLDatatype
in interface OWLEntity
public OWLNamedIndividual asOWLNamedIndividual()
OWLEntity
asOWLNamedIndividual
in interface OWLEntity
public OWLObjectProperty asOWLObjectProperty()
OWLEntity
asOWLObjectProperty
in interface OWLEntity
public boolean isOWLClass()
OWLEntity
isOWLClass
in interface OWLEntity
true
if this entity is an OWLClass, otherwise false
public boolean isOWLDataProperty()
OWLEntity
isOWLDataProperty
in interface OWLEntity
true
if this entity is an OWLDataProperty, otherwise false
public boolean isOWLDatatype()
OWLEntity
isOWLDatatype
in interface OWLEntity
true
if this entity is an OWLDatatype, otherwise false
public boolean isOWLNamedIndividual()
OWLEntity
isOWLNamedIndividual
in interface OWLEntity
true
if this entity is an OWLNamedIndividual, otherwise false
public boolean isOWLObjectProperty()
OWLEntity
isOWLObjectProperty
in interface OWLEntity
true
if this entity is an OWLObjectProperty, otherwise false
public OWLAnnotationProperty asOWLAnnotationProperty()
OWLEntity
asOWLAnnotationProperty
in interface OWLEntity
public boolean isOWLAnnotationProperty()
OWLEntity
isOWLAnnotationProperty
in interface OWLEntity
true
if this entity is an OWLAnnotationProperty, otherwise false
public boolean equals(java.lang.Object obj)
equals
in class OWLObjectImpl
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
OWLExpressionVisitor
accept
in interface OWLClassExpression
visitor
- The visitor that wants to visitpublic void accept(OWLEntityVisitor visitor)
accept
in interface OWLEntity
public void accept(OWLObjectVisitor visitor)
accept
in interface OWLObject
public void accept(OWLNamedObjectVisitor visitor)
accept
in interface OWLNamedObject
public <O> O accept(OWLEntityVisitorEx<O> visitor)
accept
in interface OWLEntity
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept
in interface OWLClassExpression
public <O> O accept(OWLObjectVisitorEx<O> visitor)
accept
in interface OWLObject
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 |