org.semanticweb.owl.model
Interface OWLClass

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLDescription, OWLEntity, OWLNamedObject, OWLObject, OWLPropertyRange

public interface OWLClass
extends OWLDescription, OWLEntity, OWLNamedObject

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<OWLDescription>	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<OWLDescription>	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<OWLDescription>	getEquivalentClasses(OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and returns the descriptions corresponding to equivalent classes of this class.
java.util.Set<OWLDescription>	getEquivalentClasses(java.util.Set<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the descriptions 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<OWLDescription>	getSubClasses(OWLOntology ontology) Gets the classes which have been asserted to be subclasses of this class in the specified ontology.
java.util.Set<OWLDescription>	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<OWLDescription>	getSuperClasses(OWLOntology ontology) A convenience method that examines the axioms in the specified ontology and return the descriptions corresponding to super classes of this class.
java.util.Set<OWLDescription>	getSuperClasses(java.util.Set<OWLOntology> ontologies) A convenience method that examines the axioms in the specified ontologies and returns the description 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.owl.model.OWLDescription

accept, accept, asOWLClass, getComplementNNF, getNNF, isAnonymous, isLiteral, isOWLNothing, isOWLThing

Methods inherited from interface org.semanticweb.owl.model.OWLEntity

accept, accept, asOWLClass, asOWLDataProperty, asOWLDataType, asOWLIndividual, asOWLObjectProperty, getAnnotationAxioms, getAnnotations, getAnnotations, isOWLClass, isOWLDataProperty, isOWLDataType, isOWLIndividual, isOWLObjectProperty

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

accept, getURI

Method Detail

getSuperClasses

java.util.Set<OWLDescription> getSuperClasses(OWLOntology ontology)

A convenience method that examines the axioms in the specified ontology and return the descriptions corresponding to super classes of this class.

Parameters:

ontology - The ontology to be examined

Returns:

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

getSuperClasses

java.util.Set<OWLDescription> getSuperClasses(java.util.Set<OWLOntology> ontologies)

A convenience method that examines the axioms in the specified ontologies and returns the description corresponding to the asserted super classes of this class.

Parameters:

ontologies - The set of ontologies to be examined.

Returns:

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

getSubClasses

java.util.Set<OWLDescription> 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 OWLDescriptions that represet the asserted subclasses of this class.

getSubClasses

java.util.Set<OWLDescription> 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 OWLDescriptions that represet the asserted subclasses of this class.

getEquivalentClasses

java.util.Set<OWLDescription> getEquivalentClasses(OWLOntology ontology)

A convenience method that examines the axioms in the specified ontology and returns the descriptions corresponding to equivalent classes of this class.

Parameters:

ontology - The ontology to be examined for axioms

Returns:

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

getEquivalentClasses

java.util.Set<OWLDescription> getEquivalentClasses(java.util.Set<OWLOntology> ontologies)

A convenience method that examines the axioms in the specified ontologies and returns the descriptions corresponding to equivalent classes of this class.

Parameters:

ontologies - The ontologies to be examined for axioms

Returns:

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

getDisjointClasses

java.util.Set<OWLDescription> 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 OWLDescriptions that represent the disjoint classes of this class.

getDisjointClasses

java.util.Set<OWLDescription> 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 OWLDescriptions 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 speficied 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 has at least one equivalent class in the specified ontology.

Parameters:

ontology - The ontology to examine for axioms.

isDefined

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.

Parameters:

ontologies - The ontologies to be examined for equivalent classes axioms