|
|||||||||
| 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.OWLClassExpressionImpl
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 |
containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct. |
|
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 specified 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<OWLAxiom> |
getReferencingAxioms(OWLOntology ontology)
Gets the axioms in the specified ontology that contain this entity in their signature. |
|
java.util.Set<OWLAxiom> |
getReferencingAxioms(OWLOntology ontology,
boolean includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain this entity in their signature. |
|
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()
Determines if this object is either, owl:Nothing (the bottom class), owl:bottomObjectProperty (the bottom object property) , owl:bottomDataProperty (the bottom data property). |
|
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 is a top level class in an OWLEquivalentClassesAxiom
in at least one of the specified 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()
Determines if this object is either, owl:Thing (the top class), owl:topObjectProperty (the top object property) , owl:topDataProperty (the top data property) or rdfs:Literal (the top datatype). |
|
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, getNestedClassExpressions, 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()
OWLObject
isTopEntity in interface OWLObjectisTopEntity in class OWLObjectImpltrue if this object corresponds to one of the above entities.public boolean isBottomEntity()
OWLObject
isBottomEntity in interface OWLObjectisBottomEntity in class OWLObjectImpltrue if this object corresponds to one of the above entities.public ClassExpressionType getClassExpressionType()
getClassExpressionType in interface OWLClassExpressionpublic OWLClassExpression getObjectComplementOf()
getObjectComplementOf in interface OWLClassExpressionpublic EntityType getEntityType()
getEntityType in interface OWLEntitypublic <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType)
getOWLEntity in interface OWLEntityentityType - The type of the entity to obtain. This entity is not affected in any way.
public boolean isType(EntityType entityType)
isType in interface OWLEntityentityType - The entity type
true if this entity is of the specified type, otherwise false.public java.lang.String toStringID()
toStringID in interface OWLEntitypublic IRI getIRI()
OWLNamedObject
getIRI in interface OWLNamedObjectpublic boolean isBuiltIn()
OWLEntity
isBuiltIn in interface OWLEntitytrue if this entity is a built in entity, or false
if this entity is not a builtin entity.public java.util.Set<OWLAxiom> getReferencingAxioms(OWLOntology ontology)
OWLEntity
getReferencingAxioms in interface OWLEntityontology - The ontology that will be searched for axioms
public java.util.Set<OWLAxiom> getReferencingAxioms(OWLOntology ontology,
boolean includeImports)
OWLEntity
getReferencingAxioms in interface OWLEntityontology - The ontology that will be searched for axiomsincludeImports - If true then axioms in the imports closure will also be returned, if
false then only the axioms in the specified ontology will be returned.
public boolean isAnonymous()
OWLClassExpression
isAnonymous in interface OWLClassExpressiontrue if this is an anonymous class expression, or false if this is a named
class (OWLClass)public boolean isClassExpressionLiteral()
OWLClassExpression
isClassExpressionLiteral in interface OWLClassExpressiontrue if this is a literal, or false if this is not a literal.public OWLClass asOWLClass()
OWLClassExpressionOWLClass without the need for casting. The general pattern of use is to use the
isAnonymous to first check
asOWLClass in interface OWLClassExpressionasOWLClass in interface OWLEntityOWLClass.public java.net.URI getURI()
public boolean isOWLThing()
OWLClassExpression
isOWLThing in interface OWLClassExpressiontrue if this expression is owl:Thing, or false if this expression is not
owl:Thingpublic boolean isOWLNothing()
OWLClassExpression
isOWLNothing in interface OWLClassExpressiontrue if this expression is owl:Nothing, or false if this expression is not
owl:Nothing.public OWLClassExpression getNNF()
OWLClassExpression
getNNF in interface OWLClassExpressionpublic java.util.Set<OWLClassExpression> asConjunctSet()
OWLClassExpression
asConjunctSet in interface OWLClassExpressionpublic boolean containsConjunct(OWLClassExpression ce)
OWLClassExpression
containsConjunct in interface OWLClassExpressionce - The conjunct to test for
true if this class expression is equal to ce or if this class expression
is an ObjectIntersectionOf (possibly nested withing another ObjectIntersectionOf)
that contains ce, otherwise false.public java.util.Set<OWLClassExpression> asDisjunctSet()
OWLClassExpression
asDisjunctSet in interface OWLClassExpressionpublic OWLClassExpression getComplementNNF()
OWLClassExpression
getComplementNNF in interface OWLClassExpressionpublic 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 OWLClassontology - The ontology to be examined
Set of OWLClassExpressions 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 OWLClassontologies - The set of ontologies to be examined.
OWLClassExpressionss that represent the super classes
of this classpublic java.util.Set<OWLClassExpression> getSubClasses(OWLOntology ontology)
OWLClass
getSubClasses in interface OWLClassontology - The ontology which should be examined for subclass axioms.
Set of OWLClassExpressions that represet the
asserted subclasses of this class.public java.util.Set<OWLClassExpression> getSubClasses(java.util.Set<OWLOntology> ontologies)
OWLClass
getSubClasses in interface OWLClassontologies - The ontologies which should be examined for subclass axioms.
Set of OWLClassExpressions that represet the
asserted subclasses of this class.public java.util.Set<OWLClassExpression> getEquivalentClasses(OWLOntology ontology)
OWLClass
getEquivalentClasses in interface OWLClassontology - The ontology to be examined for axioms
Set of OWLClassExpressions 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 OWLClassontologies - The ontologies to be examined for axioms
Set of OWLClassExpressions 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 OWLClassontology - The ontology to search for disjoint class axioms
Set of OWLClassExpressions that represent
the disjoint classes of this class.public java.util.Set<OWLClassExpression> getDisjointClasses(java.util.Set<OWLOntology> ontologies)
OWLClass
getDisjointClasses in interface OWLClassontologies - The ontologies to search for disjoint class axioms
Set of OWLClassExpressions that represent
the disjoint classes of this class.public java.util.Set<OWLIndividual> getIndividuals(OWLOntology ontology)
OWLClass
getIndividuals in interface OWLClassontology - The ontology to be examined for class assertion axioms that
assert an individual to be an instance of this class.
Set of OWLIndividuals 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 OWLClassontologies - The ontologies to be examined for class assertion axioms that
assert an individual to be an instance of this class.
Set of OWLIndividuals 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 OWLEntityontology - 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 OWLEntityontology - 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 OWLClassontology - The ontology to examine for axioms.
true if ontology contains an EquivalentClassesAxiom where this
class is a top level class in the axiom, other wise false.public boolean isDefined(java.util.Set<OWLOntology> ontologies)
OWLClassOWLEquivalentClassesAxiom
in at least one of the specified ontologies.
isDefined in interface OWLClassontologies - The ontologies to examine for axioms.
true if one or more of ontologies contains an EquivalentClassesAxiom where this
class is a top level class in the axiom, other wise false.public OWLDataProperty asOWLDataProperty()
OWLEntity
asOWLDataProperty in interface OWLEntitypublic OWLDatatype asOWLDatatype()
OWLEntity
asOWLDatatype in interface OWLEntitypublic OWLNamedIndividual asOWLNamedIndividual()
OWLEntity
asOWLNamedIndividual in interface OWLEntitypublic OWLObjectProperty asOWLObjectProperty()
OWLEntity
asOWLObjectProperty in interface OWLEntitypublic boolean isOWLClass()
OWLEntity
isOWLClass in interface OWLEntitytrue if this entity is an OWLClass, otherwise falsepublic boolean isOWLDataProperty()
OWLEntity
isOWLDataProperty in interface OWLEntitytrue if this entity is an OWLDataProperty, otherwise falsepublic boolean isOWLDatatype()
OWLEntity
isOWLDatatype in interface OWLEntitytrue if this entity is an OWLDatatype, otherwise falsepublic boolean isOWLNamedIndividual()
OWLEntity
isOWLNamedIndividual in interface OWLEntitytrue if this entity is an OWLNamedIndividual, otherwise falsepublic boolean isOWLObjectProperty()
OWLEntity
isOWLObjectProperty in interface OWLEntitytrue if this entity is an OWLObjectProperty, otherwise falsepublic OWLAnnotationProperty asOWLAnnotationProperty()
OWLEntity
asOWLAnnotationProperty in interface OWLEntitypublic boolean isOWLAnnotationProperty()
OWLEntity
isOWLAnnotationProperty in interface OWLEntitytrue if this entity is an OWLAnnotationProperty, otherwise falsepublic boolean equals(java.lang.Object obj)
equals in class OWLObjectImplpublic void accept(OWLClassExpressionVisitor visitor)
OWLClassExpressionOWLExpressionVisitor
accept in interface OWLClassExpressionvisitor - The visitor that wants to visitpublic void accept(OWLEntityVisitor visitor)
accept in interface OWLEntitypublic void accept(OWLObjectVisitor visitor)
accept in interface OWLObjectpublic void accept(OWLNamedObjectVisitor visitor)
accept in interface OWLNamedObjectpublic <O> O accept(OWLEntityVisitorEx<O> visitor)
accept in interface OWLEntitypublic <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
accept in interface OWLClassExpressionpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
accept in interface OWLObjectprotected int compareObjectOfSameType(OWLObject object)
compareObjectOfSameType in class OWLObjectImpl
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||