public interface OWLClass extends OWLClassExpression, OWLLogicalEntity, OWLNamedObject
Modifier and Type | Method and Description |
---|---|
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<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<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.
|
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.
|
boolean |
isDefined(OWLOntology ontology)
Determines if this class is a top level class in an
OWLEquivalentClassesAxiom
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. |
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
java.util.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.java.util.Set<OWLClassExpression> getSuperClasses(java.util.Set<OWLOntology> ontologies)
ontologies
- The set of ontologies to be examined.OWLClassExpressions
s that represent the super classes
of this classjava.util.Set<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.java.util.Set<OWLClassExpression> getSubClasses(java.util.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.java.util.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.java.util.Set<OWLClassExpression> getEquivalentClasses(java.util.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.java.util.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.java.util.Set<OWLClassExpression> getDisjointClasses(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies to search for disjoint class axiomsSet
of OWLClassExpression
s that represent
the disjoint classes of this class.java.util.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.java.util.Set<OWLIndividual> getIndividuals(java.util.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(java.util.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
.