Uses of Interface
edu.stanford.smi.protegex.owl.model.OWLClass

Packages that use OWLClass

edu.stanford.smi.protegex.owl.inference.protegeowl
edu.stanford.smi.protegex.owl.inference.protegeowl.task
edu.stanford.smi.protegex.owl.model
edu.stanford.smi.protegex.owl.model.impl

Uses of OWLClass in edu.stanford.smi.protegex.owl.inference.protegeowl

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl with parameters of type OWLClass

boolean	DefaultProtegeOWLReasoner.isSatisfiable(OWLClass aClass, ReasonerTaskListener taskListener)
boolean	DefaultProtegeOWLReasoner.isIntersectionSatisfiable(OWLClass[] clses, ReasonerTaskListener taskListener)
boolean	DefaultProtegeOWLReasoner.isSubsumedBy(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener)
boolean	DefaultProtegeOWLReasoner.isDisjointTo(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener)
int	DefaultProtegeOWLReasoner.getSubsumptionRelationship(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getSuperclasses(OWLClass aClass, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getSuperclassesOfIntersection(OWLClass[] clses, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getSubclasses(OWLClass aClass, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getAncestorClasses(OWLClass aClass, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getDescendantClasses(OWLClass aClass, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getEquivalentClasses(OWLClass aClass, ReasonerTaskListener taskListener)
Collection	DefaultProtegeOWLReasoner.getIndividualsBelongingToClass(OWLClass aClass, ReasonerTaskListener taskListener)
boolean	ProtegeOWLReasoner.isSatisfiable(OWLClass aClass, ReasonerTaskListener taskListener) This method queries the reasoner to determine if the specified concept is satisfiable.
boolean	ProtegeOWLReasoner.isIntersectionSatisfiable(OWLClass[] clses, ReasonerTaskListener taskListener) Determines if the intersection of the list of specified classes is satisfiable.
boolean	ProtegeOWLReasoner.isSubsumedBy(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener) Determines if one class (cls1) is subsumed by another class (cls2).
boolean	ProtegeOWLReasoner.isDisjointTo(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener) Determines if the specified classes are disjoint from each other.
int	ProtegeOWLReasoner.getSubsumptionRelationship(OWLClass cls1, OWLClass cls2, ReasonerTaskListener taskListener) Gets the subsumption relationship between two classes - the subsumption relationship of cls1 to cls2.
Collection	ProtegeOWLReasoner.getSuperclasses(OWLClass aClass, ReasonerTaskListener taskListener) Gets the (direct) inferred superclasses of the specified class.
Collection	ProtegeOWLReasoner.getSuperclassesOfIntersection(OWLClass[] clses, ReasonerTaskListener taskListener) Gets the inferred superclasses of the intersection of the list of specified classes.
Collection	ProtegeOWLReasoner.getSubclasses(OWLClass aClass, ReasonerTaskListener taskListener) Gets the (direct) inferred subclasses of the specified class.
Collection	ProtegeOWLReasoner.getAncestorClasses(OWLClass aClass, ReasonerTaskListener taskListener) Gets the inferred ancestor classes of the specified class.
Collection	ProtegeOWLReasoner.getDescendantClasses(OWLClass aClass, ReasonerTaskListener taskListener) Gets the inferred descendant classes of the specified class.
Collection	ProtegeOWLReasoner.getEquivalentClasses(OWLClass aClass, ReasonerTaskListener taskListener) Gets the equivalent classes of the specified class.
Collection	ProtegeOWLReasoner.getIndividualsBelongingToClass(OWLClass aClass, ReasonerTaskListener taskListener) Gets the individuals that are inferred to be members of the specified class.

Uses of OWLClass in edu.stanford.smi.protegex.owl.inference.protegeowl.task

Fields in edu.stanford.smi.protegex.owl.inference.protegeowl.task declared as OWLClass

private OWLClass	GetSubsumptionRelationshipTask.cls1
private OWLClass	GetSubsumptionRelationshipTask.cls2
private OWLClass[]	GetConceptIntersectionSuperclassesTask.clses
private OWLClass	GetConceptSatisfiableTask.aClass
private OWLClass[]	IsConceptIntersectionSatisfiableTask.clses
private OWLClass	IsSubsumedByTask.cls1
private OWLClass	IsSubsumedByTask.cls2
private OWLClass	AbstractSingleConceptWithConceptCollectionResultTask.aClass
private OWLClass	GetIndividualsBelongingToConceptTask.aClass
private OWLClass	IsDisjointToTask.cls1
private OWLClass	IsDisjointToTask.cls2

Constructors in edu.stanford.smi.protegex.owl.inference.protegeowl.task with parameters of type OWLClass

GetSubsumptionRelationshipTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)

GetConceptIntersectionSuperclassesTask(OWLClass[] clses, ProtegeOWLReasoner protegeOWLReasoner)

GetSuperConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetConceptSatisfiableTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

IsConceptIntersectionSatisfiableTask(OWLClass[] clses, ProtegeOWLReasoner protegeOWLReasoner)

IsSubsumedByTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)

GetAncestorConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetDescendantConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

AbstractSingleConceptWithConceptCollectionResultTask(String taskDescription, OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetIndividualsBelongingToConceptTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetEquivalentConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetSubConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

IsDisjointToTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)

Uses of OWLClass in edu.stanford.smi.protegex.owl.model

Subinterfaces of OWLClass in edu.stanford.smi.protegex.owl.model

interface	OWLAllValuesFrom An owl:allValueFrom restriction.
interface	OWLAnonymousClass The base class of all anonymous OWL class types.
interface	OWLCardinality A class representing an owl:cardinality restriction.
interface	OWLCardinalityBase The base interface of the various cardinality restrictions.
interface	OWLComplementClass A OWLLogicalClass to represent a complement.
interface	OWLEnumeratedClass An enumerated class which lists valid individuals as its values of the owl:oneOf property.
interface	OWLExistentialRestriction A common base interface for OWLHasValue and OWLSomeValuesFrom restrictions.
interface	OWLHasValue A class representing an owl:hasValue restriction.
interface	OWLIntersectionClass A OWLLogicalClass that represents an intersection of its operands.
interface	OWLLogicalClass The base interface of intersection, union and complement metaclasses.
interface	OWLMaxCardinality A Cls representing a maximumCardinality restriction.
interface	OWLMinCardinality A Cls representing a minimumCardinality restriction.
interface	OWLNamedClass A named OWL class.
interface	OWLNAryLogicalClass
interface	OWLQuantifierRestriction The common base interface of OWLAllValuesFrom and OWLSomeValuesFrom.
interface	OWLRestriction The base class of all OWL restriction classes.
interface	OWLSomeValuesFrom A some-values-from OWLRestriction.
interface	OWLUnionClass A OWLLogicalClass which consists of the union of its operands.

Uses of OWLClass in edu.stanford.smi.protegex.owl.model.impl

Classes in edu.stanford.smi.protegex.owl.model.impl that implement OWLClass

class	AbstractOWLAnonymousClass A base implementation of OWLAnonymousClass.
class	AbstractOWLCardinalityBase The base class of MaxCardi and OWLMinCardinality.
class	AbstractOWLLogicalClass A basic implementation of OWLLogicalClass.
class	AbstractOWLNAryLogicalClass The base class of DefaultOWLIntersectionClass and DefaultOWLUnionClass.
class	AbstractOWLQuantifierRestriction The common base class of DefaultOWLAllValuesFrom and DefaultOWLSomeValuesFrom.
class	AbstractOWLRestriction A basic implementation of the OWLRestriction interface.
class	DefaultOWLAllValuesFrom The default implementation of OWLAllValuesFrom.
class	DefaultOWLCardinality A class representing a cardinality restriction.
class	DefaultOWLComplementClass
class	DefaultOWLEnumeratedClass The default implementation of OWLEnumeratedClass.
class	DefaultOWLHasValue A Cls representing a hasValue restriction.
class	DefaultOWLIntersectionClass The default implementation of the OWLIntersectionClass interface.
class	DefaultOWLMaxCardinality A Cls representing a maximumCardinality restriction.
class	DefaultOWLMinCardinality A Cls representing a minimumCardinality restriction.
class	DefaultOWLNamedClass The default implementation of the OWLNamedClass interface.
class	DefaultOWLSomeValuesFrom The default implementation of OWLSomeValuesFrom.
class	DefaultOWLUnionClass The default implementation of OWLUnionClass.