|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface OWLClass
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-Oct-2006
Represents a named class in OWL.
Method Summary | |
---|---|
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 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. |
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 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. |
Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression |
---|
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing |
Methods inherited from interface org.semanticweb.owlapi.model.OWLEntity |
---|
accept, accept, asOWLAnnotationProperty, asOWLClass, asOWLDataProperty, asOWLDatatype, asOWLNamedIndividual, asOWLObjectProperty, getAnnotationAssertionAxioms, getAnnotations, getAnnotations, getEntityType, getOWLEntity, isBottomEntity, isBuiltIn, isOWLAnnotationProperty, isOWLClass, isOWLDataProperty, isOWLDatatype, isOWLNamedIndividual, isOWLObjectProperty, isTopEntity, isType, toStringID |
Methods inherited from interface org.semanticweb.owlapi.model.OWLNamedObject |
---|
accept, getIRI |
Method Detail |
---|
java.util.Set<OWLClassExpression> getSuperClasses(OWLOntology ontology)
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.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 axioms
Set
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 axioms
Set
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 axioms
Set
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 axioms
Set
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)
ontology
- The ontology to examine for axioms.boolean isDefined(java.util.Set<OWLOntology> ontologies)
ontologies
- The ontologies to be examined for equivalent classes axioms
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |