org.semanticweb.owlapi.model
Interface OWLClass

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLClassExpression, OWLEntity, OWLLogicalEntity, OWLNamedObject, OWLObject, OWLPropertyRange, SWRLPredicate

All Known Implementing Classes:

OWLClassImpl

public interface OWLClass
extends OWLClassExpression, OWLLogicalEntity, OWLNamedObject

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents a Class in the OWL 2 specification.

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 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.

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, 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, getReferencingAxioms, getReferencingAxioms, isBuiltIn, isOWLAnnotationProperty, isOWLClass, isOWLDataProperty, isOWLDatatype, isOWLNamedIndividual, isOWLObjectProperty, isType, toStringID

Methods inherited from interface org.semanticweb.owlapi.model.OWLNamedObject

accept, getIRI

Method Detail

getSuperClasses

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.

Parameters:

ontology - The ontology to be examined

Returns:

A Set of OWLClassExpressions that represent the superclasses of this class, which have been asserted in the specified ontology.

getSuperClasses

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.

Parameters:

ontologies - The set of ontologies to be examined.

Returns:

A set of OWLClassExpressionss that represent the super classes of this class

getSubClasses

java.util.Set<OWLClassExpression> getSubClasses(OWLOntology ontology)

Gets the classes which have been asserted to be subclasses of this class in the specified ontology.

Parameters:

ontology - The ontology which should be examined for subclass axioms.

Returns:

A Set of OWLClassExpressions that represet the asserted subclasses of this class.

getSubClasses

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.

Parameters:

ontologies - The ontologies which should be examined for subclass axioms.

Returns:

A Set of OWLClassExpressions that represet the asserted subclasses of this class.

getEquivalentClasses

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.

Parameters:

ontology - The ontology to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontology.

getEquivalentClasses

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.

Parameters:

ontologies - The ontologies to be examined for axioms

Returns:

A Set of OWLClassExpressions that represent the equivalent classes of this class, that have been asserted in the specified ontologies.

getDisjointClasses

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.

Parameters:

ontology - The ontology to search for disjoint class axioms

Returns:

A Set of OWLClassExpressions that represent the disjoint classes of this class.

getDisjointClasses

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.

Parameters:

ontologies - The ontologies to search for disjoint class axioms

Returns:

A Set of OWLClassExpressions that represent the disjoint classes of this class.

getIndividuals

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.

Parameters:

ontology - The ontology to be examined for class assertion axioms that assert an individual to be an instance of this class.

Returns:

A Set of OWLIndividuals that represent the individual that have been asserted to be an instance of this class.

getIndividuals

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.

Parameters:

ontologies - The ontologies to be examined for class assertion axioms that assert an individual to be an instance of this class.

Returns:

A Set of OWLIndividuals that represent the individual that have been asserted to be an instance of this class.

isDefined

boolean isDefined(OWLOntology ontology)

Determines if this class is a top level class in an OWLEquivalentClassesAxiom in the specified ontology.

Parameters:

ontology - The ontology to examine for axioms.

Returns:

true if ontology contains an EquivalentClassesAxiom where this class is a top level class in the axiom, other wise false.

isDefined

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.

Parameters:

ontologies - The ontologies to examine for axioms.

Returns:

true if one or more of ontologies contains an EquivalentClassesAxiom where this class is a top level class in the axiom, other wise false.