public class OWLClassImpl extends OWLClassExpressionImpl implements OWLClass, Serializable
Type | Property and Description |
---|---|
OWLAnnotationProperty |
asOWLAnnotation
A convenience method that obtains this entity as an OWLAnnotationProperty
(in order to avoid explicit casting).
|
OWLDataProperty |
asOWLData
A convenience method that obtains this entity as an OWLDataProperty (in
order to avoid explicit casting).
|
OWLObjectProperty |
asOWLObject
A convenience method that obtains this entity as an OWLObjectProperty (in
order to avoid explicit casting).
|
boolean |
isOWLAnnotation
Gets the value of the property oWLAnnotationProperty.
|
boolean |
isOWLData
Gets the value of the property oWLDataProperty.
|
boolean |
isOWLObject
Gets the value of the property oWLObjectProperty.
|
Constructor and Description |
---|
OWLClassImpl(IRI iri) |
Modifier and Type | Method and Description |
---|---|
void |
accept(OWLClassExpressionVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLClassExpressionVisitorEx<O> visitor)
Accepts a visitor
|
void |
accept(OWLEntityVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLEntityVisitorEx<O> visitor)
Accepts a visitor
|
void |
accept(OWLNamedObjectVisitor visitor)
Accepts a visitor
|
void |
accept(OWLObjectVisitor visitor)
Accepts a visitor
|
<O> O |
accept(OWLObjectVisitorEx<O> visitor)
Accepts a visitor
|
Set<OWLClassExpression> |
asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
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).
|
boolean |
containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct.
|
boolean |
equals(Object obj) |
Set<OWLAnnotationAssertionAxiom> |
getAnnotationAssertionAxioms(OWLOntology ontology) |
Set<OWLAnnotation> |
getAnnotations(OWLOntology ontology)
Gets the annotations for this entity.
|
Set<OWLAnnotation> |
getAnnotations(OWLOntology ontology,
OWLAnnotationProperty annotationProperty)
Obtains the annotations on this entity where the annotation has the
specified annotation property.
|
ClassExpressionType |
getClassExpressionType()
Gets the class expression type for this class expression
|
OWLClassExpression |
getComplementNNF()
Gets the negation normal form of the complement of this expression.
|
Set<OWLClassExpression> |
getDisjointClasses(OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
Set<OWLClassExpression> |
getDisjointClasses(Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
Set<OWLDisjointClassesAxiom> |
getDisjointClassesAxioms(OWLOntology ontology)
Deprecated.
|
Set<OWLDisjointUnionAxiom> |
getDisjointUnionAxioms(OWLOntology ontology)
Deprecated.
|
EntityType<?> |
getEntityType()
Gets the entity type for this entity
|
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.
|
Set<OWLClassExpression> |
getEquivalentClasses(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.
|
Set<OWLEquivalentClassesAxiom> |
getEquivalentClassesAxioms(OWLOntology ontology)
Deprecated.
|
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.
|
Set<OWLIndividual> |
getIndividuals(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.
|
<E extends OWLEntity> |
getOWLEntity(EntityType<E> entityType)
Gets an entity that has the same IRI as this entity but is of the
specified type.
|
Set<OWLAxiom> |
getReferencingAxioms(OWLOntology ontology)
Gets the axioms in the specified ontology that contain this entity in
their signature.
|
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.
|
Set<OWLSubClassOfAxiom> |
getSubClassAxioms(OWLOntology ontology)
Deprecated.
|
Set<OWLClassExpression> |
getSubClasses(OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
Set<OWLClassExpression> |
getSubClasses(Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontologies.
|
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.
|
Set<OWLClassExpression> |
getSuperClasses(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.
|
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 is a top level class in an
OWLEquivalentClassesAxiom in the
specified ontology. |
boolean |
isDefined(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()
Gets the value of the property oWLAnnotationProperty.
|
boolean |
isOWLClass()
A convenience method that determines if this entity is an OWLClass
|
boolean |
isOWLDataProperty()
Gets the value of the property 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()
Gets the value of the property 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
|
String |
toStringID()
Returns a string representation that can be used as the ID of this
entity.
|
compareTo, containsEntityInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, toString
getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature
compareTo
containsEntityInSignature
public OWLDataProperty asOWLDataProperty
asOWLDataProperty
in interface OWLEntity
public OWLObjectProperty asOWLObjectProperty
asOWLObjectProperty
in interface OWLEntity
public boolean isOWLDataProperty
isOWLDataProperty
in interface OWLEntity
public boolean isOWLObjectProperty
isOWLObjectProperty
in interface OWLEntity
public OWLAnnotationProperty asOWLAnnotationProperty
asOWLAnnotationProperty
in interface OWLEntity
public boolean isOWLAnnotationProperty
isOWLAnnotationProperty
in interface OWLEntity
public OWLClassImpl(IRI iri)
iri
- class iripublic boolean isTopEntity()
OWLObject
isTopEntity
in interface OWLObject
isTopEntity
in class OWLObjectImpl
true
if this object corresponds to one of the above
entities.public boolean isBottomEntity()
OWLObject
isBottomEntity
in interface OWLObject
isBottomEntity
in class OWLObjectImpl
true
if this object corresponds to one of the above
entities.public ClassExpressionType getClassExpressionType()
OWLClassExpression
getClassExpressionType
in interface OWLClassExpression
public OWLClassExpression getObjectComplementOf()
OWLClassExpression
getObjectComplementOf
in interface OWLClassExpression
public EntityType<?> getEntityType()
OWLEntity
getEntityType
in interface OWLEntity
public <E extends OWLEntity> E getOWLEntity(EntityType<E> entityType)
OWLEntity
getOWLEntity
in interface OWLEntity
E
- entity typeentityType
- The type of the entity to obtain. This entity is not affected in
any way.public boolean isType(EntityType<?> entityType)
OWLEntity
public String toStringID()
OWLEntity
toStringID
in interface OWLEntity
public IRI getIRI()
OWLNamedObject
getIRI
in interface HasIRI
getIRI
in interface OWLNamedObject
public boolean isBuiltIn()
OWLEntity
public Set<OWLAxiom> getReferencingAxioms(OWLOntology ontology)
OWLEntity
getReferencingAxioms
in interface OWLEntity
ontology
- The ontology that will be searched for axiomspublic Set<OWLAxiom> getReferencingAxioms(OWLOntology ontology, boolean includeImports)
OWLEntity
getReferencingAxioms
in interface OWLEntity
ontology
- 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 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 checkasOWLClass
in interface OWLClassExpression
asOWLClass
in interface OWLEntity
OWLClass
.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 Set<OWLClassExpression> asConjunctSet()
OWLClassExpression
asConjunctSet
in interface OWLClassExpression
public boolean containsConjunct(OWLClassExpression ce)
OWLClassExpression
containsConjunct
in interface OWLClassExpression
ce
- The conjunct to test fortrue
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 Set<OWLClassExpression> asDisjunctSet()
OWLClassExpression
asDisjunctSet
in interface OWLClassExpression
public OWLClassExpression getComplementNNF()
OWLClassExpression
getComplementNNF
in interface OWLClassExpression
@Deprecated public Set<OWLSubClassOfAxiom> getSubClassAxioms(OWLOntology ontology)
ontology
- ontology@Deprecated public Set<OWLEquivalentClassesAxiom> getEquivalentClassesAxioms(OWLOntology ontology)
ontology
- ontology@Deprecated public Set<OWLDisjointClassesAxiom> getDisjointClassesAxioms(OWLOntology ontology)
ontology
- ontology@Deprecated public Set<OWLDisjointUnionAxiom> getDisjointUnionAxioms(OWLOntology ontology)
ontology
- ontologypublic Set<OWLClassExpression> getSuperClasses(OWLOntology ontology)
OWLClass
getSuperClasses
in interface OWLClass
ontology
- The ontology to be examinedSet
of OWLClassExpression
s that represent the
superclasses of this class, which have been asserted in the
specified ontology.public Set<OWLClassExpression> getSuperClasses(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 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 Set<OWLClassExpression> getSubClasses(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 Set<OWLClassExpression> getEquivalentClasses(OWLOntology ontology)
OWLClass
getEquivalentClasses
in interface OWLClass
ontology
- The ontology to be examined for axiomsSet
of OWLClassExpression
s that represent the
equivalent classes of this class, that have been asserted in the
specified ontology.public Set<OWLClassExpression> getEquivalentClasses(Set<OWLOntology> ontologies)
OWLClass
getEquivalentClasses
in interface OWLClass
ontologies
- The ontologies to be examined for axiomsSet
of OWLClassExpression
s that represent the
equivalent classes of this class, that have been asserted in the
specified ontologies.public Set<OWLClassExpression> getDisjointClasses(OWLOntology ontology)
OWLClass
getDisjointClasses
in interface OWLClass
ontology
- The ontology to search for disjoint class axiomsSet
of OWLClassExpression
s that represent the
disjoint classes of this class.public Set<OWLClassExpression> getDisjointClasses(Set<OWLOntology> ontologies)
OWLClass
getDisjointClasses
in interface OWLClass
ontologies
- The ontologies to search for disjoint class axiomsSet
of OWLClassExpression
s that represent the
disjoint classes of this class.public 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 Set<OWLIndividual> getIndividuals(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 Set<OWLAnnotation> getAnnotations(OWLOntology ontology)
OWLEntity
getAnnotations
in interface OWLEntity
ontology
- The ontology to be examined for annotation assertion axiomspublic Set<OWLAnnotationAssertionAxiom> getAnnotationAssertionAxioms(OWLOntology ontology)
getAnnotationAssertionAxioms
in interface OWLEntity
ontology
- the ontology to usepublic Set<OWLAnnotation> getAnnotations(OWLOntology ontology, OWLAnnotationProperty annotationProperty)
OWLEntity
getAnnotations
in interface OWLEntity
ontology
- The ontology to examine for annotation axiomsannotationProperty
- The annotation propertyOWLAnnotation
objects that have the specified
URI.public boolean isDefined(OWLOntology ontology)
OWLClass
OWLEquivalentClassesAxiom
in the
specified ontology.public boolean isDefined(Set<OWLOntology> ontologies)
OWLClass
OWLEquivalentClassesAxiom
in at
least one of the specified ontologies.public 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()
isOWLDataProperty
in interface OWLEntity
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()
isOWLObjectProperty
in interface OWLEntity
public OWLAnnotationProperty asOWLAnnotationProperty()
OWLEntity
asOWLAnnotationProperty
in interface OWLEntity
public boolean isOWLAnnotationProperty()
isOWLAnnotationProperty
in interface OWLEntity
public boolean equals(Object obj)
equals
in class OWLObjectImpl
public void accept(OWLClassExpressionVisitor visitor)
OWLClassExpression
accept
in interface OWLClassExpression
visitor
- The visitorpublic void accept(OWLEntityVisitor visitor)
OWLEntity
public void accept(OWLObjectVisitor visitor)
OWLObject
public void accept(OWLNamedObjectVisitor visitor)
OWLNamedObject
accept
in interface OWLNamedObject
visitor
- The visitorpublic <O> O accept(OWLEntityVisitorEx<O> visitor)
OWLEntity
public <O> O accept(OWLClassExpressionVisitorEx<O> visitor)
OWLClassExpression
accept
in interface OWLClassExpression
O
- visitor return typevisitor
- The visitorpublic <O> O accept(OWLObjectVisitorEx<O> visitor)
OWLObject
Copyright © 2017 The University of Manchester. All Rights Reserved.