public interface OWLClass extends OWLClassExpression, OWLLogicalEntity, OWLNamedObject
asOWLAnnotationProperty, asOWLDataProperty, asOWLObjectProperty, isOWLAnnotationProperty, isOWLDataProperty, isOWLObjectProperty
Modifier and Type | Method and Description |
---|---|
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<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<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.
|
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 |
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. |
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
accept, accept, asOWLAnnotationProperty, asOWLClass, asOWLDataProperty, asOWLDatatype, asOWLNamedIndividual, asOWLObjectProperty, getAnnotationAssertionAxioms, getAnnotations, getAnnotations, getEntityType, getOWLEntity, getReferencingAxioms, getReferencingAxioms, isBuiltIn, isOWLAnnotationProperty, isOWLClass, isOWLDataProperty, isOWLDatatype, isOWLNamedIndividual, isOWLObjectProperty, isType, toStringID
accept, getIRI
accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity
compareTo
containsEntityInSignature
Set<OWLClassExpression> getSuperClasses(OWLOntology ontology)
ontology
- The ontology to be examinedSet
of OWLClassExpression
s that represent the
superclasses of this class, which have been asserted in the
specified ontology.Set<OWLClassExpression> getSuperClasses(Set<OWLOntology> ontologies)
ontologies
- The set of ontologies to be examined.OWLClassExpressions
s that represent the super
classes of this classSet<OWLClassExpression> getSubClasses(OWLOntology ontology)
ontology
- The ontology which should be examined for subclass axioms.Set
of OWLClassExpression
s that represet the
asserted subclasses of this class.Set<OWLClassExpression> getSubClasses(Set<OWLOntology> ontologies)
ontologies
- The ontologies which should be examined for subclass axioms.Set
of OWLClassExpression
s that represet the
asserted subclasses of this class.Set<OWLClassExpression> getEquivalentClasses(OWLOntology ontology)
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.Set<OWLClassExpression> getEquivalentClasses(Set<OWLOntology> ontologies)
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.Set<OWLClassExpression> getDisjointClasses(OWLOntology ontology)
ontology
- The ontology to search for disjoint class axiomsSet
of OWLClassExpression
s that represent the
disjoint classes of this class.Set<OWLClassExpression> getDisjointClasses(Set<OWLOntology> ontologies)
ontologies
- The ontologies to search for disjoint class axiomsSet
of OWLClassExpression
s that represent the
disjoint classes of this class.Set<OWLIndividual> getIndividuals(OWLOntology ontology)
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.Set<OWLIndividual> getIndividuals(Set<OWLOntology> ontologies)
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.boolean isDefined(OWLOntology ontology)
OWLEquivalentClassesAxiom
in the
specified ontology.ontology
- 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
.boolean isDefined(Set<OWLOntology> ontologies)
OWLEquivalentClassesAxiom
in at
least one of the specified ontologies.ontologies
- 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
.Copyright © 2017 The University of Manchester. All Rights Reserved.