Uses of Interface
org.semanticweb.owl.model.OWLDescription

Packages that use OWLDescription

com.clarkparsia.explanation
com.clarkparsia.explanation.util
de.uulm.ecs.ai.owl.krssparser
de.uulm.ecs.ai.owl.krssrenderer
org.coode.manchesterowlsyntax
org.coode.obo.parser
org.coode.owl.functionalparser
org.coode.owl.krssparser
org.coode.owl.latex
org.coode.owl.owlxmlparser
org.coode.owl.rdfxml.parser
org.semanticweb.owl
org.semanticweb.owl.debugging
org.semanticweb.owl.inference
org.semanticweb.owl.model
org.semanticweb.owl.normalform
org.semanticweb.owl.profiles
org.semanticweb.owl.util
uk.ac.manchester.cs.owl
uk.ac.manchester.cs.owl.dlsyntax.parser
uk.ac.manchester.cs.owl.inference.dig11

Uses of OWLDescription in com.clarkparsia.explanation

Methods in com.clarkparsia.explanation that return OWLDescription

OWLDescription

SatisfiabilityConverter.convert(OWLAxiom axiom)

Methods in com.clarkparsia.explanation with parameters of type OWLDescription

java.util.Set<OWLAxiom>	SingleExplanationGenerator.getExplanation(OWLDescription unsatClass) Get a single explanation for an arbitrary class expression, or empty set if the given expression is satisfiable.
java.util.Set<OWLAxiom>	HSTExplanationGenerator.getExplanation(OWLDescription unsatClass)
java.util.Set<OWLAxiom>	ExplanationGenerator.getExplanation(OWLDescription unsatClass) Returns a single explanation for the given unsatisfiable class.
java.util.Set<OWLAxiom>	DefaultExplanationGenerator.getExplanation(OWLDescription unsatClass)
java.util.Set<OWLAxiom>	BlackBoxExplanation.getExplanation(OWLDescription unsatClass)
java.util.Set<java.util.Set<OWLAxiom>>	HSTExplanationGenerator.getExplanations(OWLDescription unsatClass)
java.util.Set<java.util.Set<OWLAxiom>>	ExplanationGenerator.getExplanations(OWLDescription unsatClass) Returns all the explanations for the given unsatisfiable class.
java.util.Set<java.util.Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLDescription unsatClass)
java.util.Set<java.util.Set<OWLAxiom>>	HSTExplanationGenerator.getExplanations(OWLDescription unsatClass, int maxExplanations)
java.util.Set<java.util.Set<OWLAxiom>>	ExplanationGenerator.getExplanations(OWLDescription unsatClass, int maxExplanations) Return a specified number of explanations for the given unsatisfiable class.
java.util.Set<java.util.Set<OWLAxiom>>	DefaultExplanationGenerator.getExplanations(OWLDescription unsatClass, int maxExplanations)

Uses of OWLDescription in com.clarkparsia.explanation.util

Methods in com.clarkparsia.explanation.util with parameters of type OWLDescription

static boolean	OntologyUtils.containsUnreferencedEntity(OWLOntology ontology, OWLDescription desc) Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.
boolean	DefinitionTracker.isDefined(OWLDescription description) Checks if all the entities referred in the given concept are also referred by a logical axiom in the imports closure of the designated ontology.

Uses of OWLDescription in de.uulm.ecs.ai.owl.krssparser

Methods in de.uulm.ecs.ai.owl.krssparser that return OWLDescription

OWLDescription	KRSS2Parser.All()
OWLDescription	KRSS2Parser.And()
OWLDescription	KRSS2Parser.AtLeast()
OWLDescription	KRSS2Parser.AtMost()
OWLDescription	KRSS2Parser.ConceptExpression()
OWLDescription	KRSS2Parser.ConceptName()
OWLDescription	KRSS2Parser.Exactly()
OWLDescription	KRSS2Parser.Not()
OWLDescription	KRSS2Parser.Or()
OWLDescription	KRSS2Parser.Some()

Methods in de.uulm.ecs.ai.owl.krssparser that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>

KRSS2Parser.ConceptSet()

Uses of OWLDescription in de.uulm.ecs.ai.owl.krssrenderer

Methods in de.uulm.ecs.ai.owl.krssrenderer with parameters of type OWLDescription

void	KRSS2OWLObjectRenderer.write(OWLDescription obj)

Uses of OWLDescription in org.coode.manchesterowlsyntax

Methods in org.coode.manchesterowlsyntax that return OWLDescription

OWLDescription	ManchesterOWLSyntaxDescriptionParser.parse(java.lang.String expression)
OWLDescription	ManchesterOWLSyntaxEditorParser.parseDataRestriction()
OWLDescription	ManchesterOWLSyntaxEditorParser.parseDescription() Parses an OWL description that is represented in Manchester OWL Syntax
OWLDescription	ManchesterOWLSyntaxEditorParser.parseIntersection()
OWLDescription	ManchesterOWLSyntaxEditorParser.parseNonNaryDescription() Parses all class descriptions except ObjectIntersectionOf and ObjectUnionOf
OWLDescription	ManchesterOWLSyntaxEditorParser.parseObjectOneOf()
OWLDescription	ManchesterOWLSyntaxEditorParser.parseRestriction()
OWLDescription	ManchesterOWLSyntaxEditorParser.parseUnion()

Methods in org.coode.manchesterowlsyntax that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>	ManchesterOWLSyntaxEditorParser.parseDescriptionList()
java.util.Set<OWLDescription>	ManchesterOWLSyntaxEditorParser.parseDescriptionList(java.lang.String expectedOpen, java.lang.String expectedClose)

Uses of OWLDescription in org.coode.obo.parser

Methods in org.coode.obo.parser with parameters of type OWLDescription

void	OBOConsumer.addIntersectionOfOperand(OWLDescription description)
void	OBOConsumer.addUnionOfOperand(OWLDescription description)

Uses of OWLDescription in org.coode.owl.functionalparser

Methods in org.coode.owl.functionalparser that return OWLDescription

OWLDescription	OWLFunctionalSyntaxParser.DataAllValuesFrom()
OWLDescription	OWLFunctionalSyntaxParser.DataExactCardinality()
OWLDescription	OWLFunctionalSyntaxParser.DataHasValue()
OWLDescription	OWLFunctionalSyntaxParser.DataMaxCardinality()
OWLDescription	OWLFunctionalSyntaxParser.DataMinCardinality()
OWLDescription	OWLFunctionalSyntaxParser.DataSomeValuesFrom()
OWLDescription	OWLFunctionalSyntaxParser.Description()
OWLDescription	OWLFunctionalSyntaxParser.ObjectAllValuesFrom()
OWLDescription	OWLFunctionalSyntaxParser.ObjectComplementOf()
OWLDescription	OWLFunctionalSyntaxParser.ObjectExactCardinality()
OWLDescription	OWLFunctionalSyntaxParser.ObjectHasValue()
OWLDescription	OWLFunctionalSyntaxParser.ObjectIntersectionOf()
OWLDescription	OWLFunctionalSyntaxParser.ObjectMaxCardinality()
OWLDescription	OWLFunctionalSyntaxParser.ObjectMinCardinality()
OWLDescription	OWLFunctionalSyntaxParser.ObjectOneOf()
OWLDescription	OWLFunctionalSyntaxParser.ObjectSelf()
OWLDescription	OWLFunctionalSyntaxParser.ObjectSomeValuesFrom()
OWLDescription	OWLFunctionalSyntaxParser.ObjectUnionOf()

Methods in org.coode.owl.functionalparser that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>

OWLFunctionalSyntaxParser.DescriptionSet()

Uses of OWLDescription in org.coode.owl.krssparser

Methods in org.coode.owl.krssparser that return OWLDescription

OWLDescription	KRSSParser.All()
OWLDescription	KRSSParser.And()
OWLDescription	KRSSParser.AtLeast()
OWLDescription	KRSSParser.AtMost()
OWLDescription	KRSSParser.ConceptExpression()
OWLDescription	KRSSParser.ConceptName()
OWLDescription	KRSSParser.Exactly()
OWLDescription	KRSSParser.Not()
OWLDescription	KRSSParser.Or()
OWLDescription	KRSSParser.Some()

Methods in org.coode.owl.krssparser that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>

KRSSParser.ConceptSet()

Uses of OWLDescription in org.coode.owl.latex

Methods in org.coode.owl.latex with parameters of type OWLDescription

static boolean

LatexBracketChecker.requiresBracket(OWLDescription description)

Uses of OWLDescription in org.coode.owl.owlxmlparser

Methods in org.coode.owl.owlxmlparser that return OWLDescription

OWLDescription	OWLUnionOfElementHandler.getOWLObject()
OWLDescription	AbstractOWLDescriptionElementHandler.getOWLObject()

Uses of OWLDescription in org.coode.owl.rdfxml.parser

Methods in org.coode.owl.rdfxml.parser that return OWLDescription

OWLDescription	OWLRDFConsumer.getDescriptionIfTranslated(java.net.URI mainNode)
OWLDescription	DescriptionListItemTranslator.translate(OWLConstant firstObject)
OWLDescription	OneOfTranslator.translate(java.net.URI mainNode)
OWLDescription	DescriptionTranslator.translate(java.net.URI mainNode) Translates the specified main node into an OWLDescription.
OWLDescription	DescriptionListItemTranslator.translate(java.net.URI uri)
OWLDescription	ComplementOfTranslator.translate(java.net.URI mainNode)
OWLDescription	AbstractRestrictionTranslator.translate(java.net.URI mainNode)
OWLDescription	AbstractNaryBooleanDescriptionTranslator.translate(java.net.URI mainNode)
OWLDescription	OWLRDFConsumer.translateDescription(java.net.URI mainNode)

Methods in org.coode.owl.rdfxml.parser that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>

OWLRDFConsumer.translateToDescriptionSet(java.net.URI mainNode)

Uses of OWLDescription in org.semanticweb.owl

Constructor parameters in org.semanticweb.owl with type arguments of type OWLDescription

MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> descriptions, boolean usePairwiseDisjointAxioms, OWLOntology targetOntology)
Creates a composite change which makes a set of classes mutually disjoint

Uses of OWLDescription in org.semanticweb.owl.debugging

Methods in org.semanticweb.owl.debugging that return OWLDescription

OWLDescription

DebuggerDescriptionGenerator.getDebuggerDescription()

Methods in org.semanticweb.owl.debugging with parameters of type OWLDescription

java.util.Set<java.util.Set<OWLAxiom>>	OWLDebugger.getAllSOSForIncosistentClass(OWLDescription cls) Gets all sets of supporting axioms that are responsible for the specified class being inconsistent
java.util.Set<java.util.Set<OWLAxiom>>	AbstractOWLDebugger.getAllSOSForIncosistentClass(OWLDescription cls)
java.util.Set<OWLAxiom>	OWLDebugger.getSOSForIncosistentClass(OWLDescription cls) Gets the first set of supporting (SOS) axioms that are responsible for the specified class being inconsistent.
java.util.Set<OWLAxiom>	BlackBoxOWLDebugger.getSOSForIncosistentClass(OWLDescription cls)

Constructors in org.semanticweb.owl.debugging with parameters of type OWLDescription

JustificationMap(OWLDescription desc, java.util.Set<OWLAxiom> axioms)

Uses of OWLDescription in org.semanticweb.owl.inference

Methods in org.semanticweb.owl.inference that return types with arguments of type OWLDescription

java.util.Set<java.util.Set<OWLDescription>>	OWLPropertyReasoner.getDomains(OWLDataProperty property)
java.util.Set<java.util.Set<OWLDescription>>	NullReasoner.getDomains(OWLDataProperty property)
java.util.Set<java.util.Set<OWLDescription>>	OWLPropertyReasoner.getDomains(OWLObjectProperty property) Gets the domains of a particular property.
java.util.Set<java.util.Set<OWLDescription>>	NullReasoner.getDomains(OWLObjectProperty property)
java.util.Set<OWLDescription>	OWLPropertyReasoner.getRanges(OWLObjectProperty property)
java.util.Set<OWLDescription>	NullReasoner.getRanges(OWLObjectProperty property)

Methods in org.semanticweb.owl.inference with parameters of type OWLDescription

java.util.Set<java.util.Set<OWLClass>>	OWLClassReasoner.getAncestorClasses(OWLDescription clsC) Returns the collection of all superclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	NullReasoner.getAncestorClasses(OWLDescription clsC)
java.util.Set<java.util.Set<OWLClass>>	OWLClassReasoner.getDescendantClasses(OWLDescription clsC) Returns the collection of all subclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	NullReasoner.getDescendantClasses(OWLDescription clsC)
java.util.Set<OWLClass>	OWLClassReasoner.getEquivalentClasses(OWLDescription clsC) Returns the collection of (named) classes which are equivalent to the given description.
java.util.Set<OWLClass>	NullReasoner.getEquivalentClasses(OWLDescription clsC)
java.util.Set<OWLIndividual>	OWLIndividualReasoner.getIndividuals(OWLDescription clsC, boolean direct)
java.util.Set<OWLIndividual>	NullReasoner.getIndividuals(OWLDescription clsC, boolean direct)
java.util.Set<java.util.Set<OWLClass>>	OWLClassReasoner.getSubClasses(OWLDescription clsC) Returns the collection of (named) most general subclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	NullReasoner.getSubClasses(OWLDescription clsC)
java.util.Set<java.util.Set<OWLClass>>	OWLClassReasoner.getSuperClasses(OWLDescription clsC) Returns the collection of (named) most specific superclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	NullReasoner.getSuperClasses(OWLDescription clsC)
boolean	OWLIndividualReasoner.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
boolean	NullReasoner.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
boolean	OWLClassReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is equivalent to the second class
boolean	NullReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
boolean	OWLSatisfiabilityChecker.isSatisfiable(OWLDescription description) Determines if the specified class is satisfiable.
boolean	NullReasoner.isSatisfiable(OWLDescription description)
boolean	OWLClassReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is a subclass of the second class
boolean	NullReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD)

Uses of OWLDescription in org.semanticweb.owl.model

Subinterfaces of OWLDescription in org.semanticweb.owl.model

interface	OWLAnonymousDescription Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 The base interface for all descriptions which are not named descriptions (i.e.
interface	OWLBooleanDescription Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLCardinalityRestriction<P extends OWLPropertyExpression,F extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLClass Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a named class in OWL.
interface	OWLDataAllRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataExactCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataMaxCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataMinCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataSomeRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLDataValueRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLNaryBooleanDescription Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectAllRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	OWLObjectComplementOf Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectExactCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectIntersectionOf Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	OWLObjectMaxCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectMinCardinalityRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectOneOf Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectSelfRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectSomeRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectUnionOf Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLObjectValueRestriction Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006
interface	OWLQuantifiedRestriction<P extends OWLPropertyExpression,F extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
interface	OWLRestriction<P extends OWLPropertyExpression> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a restriction.
interface	OWLValueRestriction<P extends OWLPropertyExpression,V extends OWLObject> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006

Methods in org.semanticweb.owl.model that return OWLDescription

OWLDescription	OWLObjectExactCardinalityRestriction.asIntersectionOfMinMax() Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.
OWLDescription	OWLDataExactCardinalityRestriction.asIntersectionOfMinMax() Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality restriction.
OWLDescription	OWLObjectOneOf.asObjectUnionOf() Simplifies this enumeration to a union of singleton nominals
OWLDescription	OWLValueRestriction.asSomeValuesFrom() A convenience method that obtains this restriction as an existential restriction with a nominal filler.
OWLDescription	OWLDescription.getComplementNNF() Gets the negation normal form of the complement of this description.
OWLDescription	OWLClassAssertionAxiom.getDescription()
OWLDescription	OWLPropertyDomainAxiom.getDomain()
OWLDescription	OWLDescription.getNNF() Gets this description in negation normal form.
OWLDescription	OWLObjectComplementOf.getOperand()
OWLDescription	OWLSubClassAxiom.getSubClass()
OWLDescription	OWLSubClassAxiom.getSuperClass()

Methods in org.semanticweb.owl.model that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>	SWRLRule.getClassAtomPredicates() Gets the predicates of class atoms.
java.util.Set<OWLDescription>	OWLNaryClassAxiom.getDescriptions() Gets all of the descriptions that appear in this axiom.
java.util.Set<OWLDescription>	OWLDisjointUnionAxiom.getDescriptions() Gets the descriptions which are operands of the disjoint union.
java.util.Set<OWLDescription>	OWLClass.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>	OWLClass.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>	OWLPropertyExpression.getDomains(OWLOntology ontology) Gets the asserted domains of this property.
java.util.Set<OWLDescription>	OWLPropertyExpression.getDomains(java.util.Set<OWLOntology> ontologies) Gets the asserted domains of this property by examining the axioms in the specified ontologies.
java.util.Set<OWLDescription>	OWLClass.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>	OWLClass.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<OWLDescription>	OWLNaryBooleanDescription.getOperands()
java.util.Set<OWLDescription>	OWLClass.getSubClasses(OWLOntology ontology) Gets the classes which have been asserted to be subclasses of this class in the specified ontology.
java.util.Set<OWLDescription>	OWLClass.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>	OWLClass.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>	OWLClass.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.
java.util.Set<OWLDescription>	OWLIndividual.getTypes(OWLOntology ontology) A convenience method, which gets the types of this individual, that correspond to the types asserted with axioms in the specified ontology.
java.util.Set<OWLDescription>	OWLIndividual.getTypes(java.util.Set<OWLOntology> ontologies) A convenience method that gets the types of this individual by examining the specified ontologies.

Methods in org.semanticweb.owl.model with parameters of type OWLDescription

OWLClassAssertionAxiom	OWLDataFactory.getOWLClassAssertionAxiom(OWLIndividual individual, OWLDescription description)
OWLDataPropertyDomainAxiom	OWLDataFactory.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLDescription domain)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(OWLDescription clsA, OWLDescription... descriptions)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(OWLDescription clsA, OWLDescription... descriptions)
OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(OWLDescription clsA, OWLDescription clsB)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(OWLDescription clsA, OWLDescription clsB)
OWLObjectAllRestriction	OWLDataFactory.getOWLObjectAllRestriction(OWLObjectPropertyExpression property, OWLDescription description)
OWLObjectComplementOf	OWLDataFactory.getOWLObjectComplementOf(OWLDescription operand)
OWLObjectExactCardinalityRestriction	OWLDataFactory.getOWLObjectExactCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
OWLObjectIntersectionOf	OWLDataFactory.getOWLObjectIntersectionOf(OWLDescription... operands)
OWLObjectMaxCardinalityRestriction	OWLDataFactory.getOWLObjectMaxCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
OWLObjectMinCardinalityRestriction	OWLDataFactory.getOWLObjectMinCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
OWLObjectPropertyDomainAxiom	OWLDataFactory.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLDescription description)
OWLObjectPropertyRangeAxiom	OWLDataFactory.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLDescription range)
OWLObjectSomeRestriction	OWLDataFactory.getOWLObjectSomeRestriction(OWLObjectPropertyExpression property, OWLDescription description)
OWLObjectUnionOf	OWLDataFactory.getOWLObjectUnionOf(OWLDescription... operands)
OWLSubClassAxiom	OWLDataFactory.getOWLSubClassAxiom(OWLDescription subClass, OWLDescription superClass)
SWRLClassAtom	SWRLDataFactory.getSWRLClassAtom(OWLDescription desc, SWRLAtomIObject arg) Gets a SWRL class atom, i.e.

Method parameters in org.semanticweb.owl.model with type arguments of type OWLDescription

OWLDisjointClassesAxiom	OWLDataFactory.getOWLDisjointClassesAxiom(java.util.Set<? extends OWLDescription> descriptions)
OWLDisjointUnionAxiom	OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass, java.util.Set<? extends OWLDescription> descriptions)
OWLEquivalentClassesAxiom	OWLDataFactory.getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLDescription> descriptions)
OWLObjectIntersectionOf	OWLDataFactory.getOWLObjectIntersectionOf(java.util.Set<? extends OWLDescription> operands)
OWLObjectUnionOf	OWLDataFactory.getOWLObjectUnionOf(java.util.Set<? extends OWLDescription> operands)

Uses of OWLDescription in org.semanticweb.owl.normalform

Methods in org.semanticweb.owl.normalform that return OWLDescription

OWLDescription	NormalFormRewriter.convertToNormalForm(OWLDescription description)
OWLDescription	NegationalNormalFormConverter.convertToNormalForm(OWLDescription description)

Methods in org.semanticweb.owl.normalform that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>

OWLObjectComplementOfExtractor.getComplementedDescriptions(OWLDescription desc)

Methods in org.semanticweb.owl.normalform with parameters of type OWLDescription

OWLDescription	NormalFormRewriter.convertToNormalForm(OWLDescription description)
OWLDescription	NegationalNormalFormConverter.convertToNormalForm(OWLDescription description)
java.util.Set<OWLDescription>	OWLObjectComplementOfExtractor.getComplementedDescriptions(OWLDescription desc)
boolean	NormalFormRewriter.isInNormalForm(OWLDescription description)
boolean	NegationalNormalFormConverter.isInNormalForm(OWLDescription description)

Uses of OWLDescription in org.semanticweb.owl.profiles

Constructors in org.semanticweb.owl.profiles with parameters of type OWLDescription

DescriptionNotAllowed(ConstructNotAllowed cause, OWLDescription construct)

DescriptionNotAllowed(OWLDescription construct)

DescriptionNotAllowed(java.util.Set<ConstructNotAllowed> cause, OWLDescription construct)

OWL2Profile.NonSimplePropertyInExistsSelfRestriction(ConstructNotAllowed cause, OWLDescription construct)

OWL2Profile.NonSimplePropertyInExistsSelfRestriction(OWLDescription construct)

OWL2Profile.NonSimplePropertyInExistsSelfRestriction(java.util.Set<ConstructNotAllowed> cause, OWLDescription construct)

Uses of OWLDescription in org.semanticweb.owl.util

Methods in org.semanticweb.owl.util that return OWLDescription

OWLDescription	NNF.visit(OWLClass desc)
OWLDescription	NNF.visit(OWLDataAllRestriction desc)
OWLDescription	NNF.visit(OWLDataExactCardinalityRestriction desc)
OWLDescription	NNF.visit(OWLDataMaxCardinalityRestriction desc)
OWLDescription	NNF.visit(OWLDataMinCardinalityRestriction desc)
OWLDescription	NNF.visit(OWLDataSomeRestriction desc)
OWLDescription	NNF.visit(OWLDataValueRestriction desc)
OWLDescription	NNF.visit(OWLObjectAllRestriction desc)
OWLDescription	NNF.visit(OWLObjectComplementOf desc)
OWLDescription	NNF.visit(OWLObjectExactCardinalityRestriction desc)
OWLDescription	NNF.visit(OWLObjectIntersectionOf desc)
OWLDescription	NNF.visit(OWLObjectMaxCardinalityRestriction desc)
OWLDescription	NNF.visit(OWLObjectMinCardinalityRestriction desc)
OWLDescription	NNF.visit(OWLObjectOneOf desc)
OWLDescription	NNF.visit(OWLObjectSelfRestriction desc)
OWLDescription	NNF.visit(OWLObjectSomeRestriction desc)
OWLDescription	NNF.visit(OWLObjectUnionOf desc)
OWLDescription	NNF.visit(OWLObjectValueRestriction desc)

Methods in org.semanticweb.owl.util that return types with arguments of type OWLDescription

java.util.Set<java.util.Set<OWLDescription>>	OWLReasonerMediator.getDomains(OWLDataProperty property)
java.util.Set<java.util.Set<OWLDescription>>	OWLReasonerMediator.getDomains(OWLObjectProperty property)
java.util.Set<OWLDescription>	OWLReasonerMediator.getRanges(OWLObjectProperty property)

Methods in org.semanticweb.owl.util with parameters of type OWLDescription

boolean	OWLReasonerMediator.checkDefined(OWLDescription description)
int	OWLDescriptionComparator.compare(OWLDescription o1, OWLDescription o2)
java.util.Set<java.util.Set<OWLClass>>	ToldClassHierarchyReasoner.getAncestorClasses(OWLDescription clsC) Returns the collection of all superclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	OWLReasonerMediator.getAncestorClasses(OWLDescription clsC)
java.util.Set<java.util.Set<OWLClass>>	ToldClassHierarchyReasoner.getDescendantClasses(OWLDescription clsC) Returns the collection of all subclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	OWLReasonerMediator.getDescendantClasses(OWLDescription clsC)
java.util.Set<OWLClass>	ToldClassHierarchyReasoner.getEquivalentClasses(OWLDescription clsC) Returns the collection of (named) classes which are equivalent to the given description.
java.util.Set<OWLClass>	OWLReasonerMediator.getEquivalentClasses(OWLDescription clsC)
java.util.Set<OWLIndividual>	OWLReasonerMediator.getIndividuals(OWLDescription clsC, boolean direct)
java.util.Set<OWLClass>	NamedConjunctChecker.getNamedConjuncts(OWLDescription description) Gets the named conjuncts for the specified description.
java.util.Set<java.util.Set<OWLClass>>	ToldClassHierarchyReasoner.getSubClasses(OWLDescription clsC) Returns the collection of (named) most general subclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	OWLReasonerMediator.getSubClasses(OWLDescription clsC)
java.util.Set<java.util.Set<OWLClass>>	ToldClassHierarchyReasoner.getSuperClasses(OWLDescription clsC) Returns the collection of (named) most specific superclasses of the given description.
java.util.Set<java.util.Set<OWLClass>>	OWLReasonerMediator.getSuperClasses(OWLDescription clsC)
boolean	NamedConjunctChecker.hasNamedConjunct(OWLDescription description) Checks whether the specified description has a named conjunct.
boolean	OWLReasonerMediator.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
boolean	ToldClassHierarchyReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is equivalent to the second class
boolean	OWLReasonerMediator.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
boolean	NamedConjunctChecker.isNamedConjunct(OWLClass conjunct, OWLDescription description) Checks whether a named class is a conjunct in a given class description.
boolean	ToldClassHierarchyReasoner.isSatisfiable(OWLDescription clsC) Checks whether the specified class is consistent
boolean	OWLReasonerMediator.isSatisfiable(OWLDescription description)
boolean	ToldClassHierarchyReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD) Checks whether the first class is a subclass of the second class
boolean	OWLReasonerMediator.isSubClassOf(OWLDescription clsC, OWLDescription clsD)

Uses of OWLDescription in uk.ac.manchester.cs.owl

Classes in uk.ac.manchester.cs.owl that implement OWLDescription

class	OWLAnonymousDescriptionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLCardinalityRestrictionImpl<P extends OWLPropertyExpression,F extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLClassImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006
class	OWLDataAllRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataExactCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataMaxCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataMinCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataSomeRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLDataValueRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLNaryBooleanDescriptionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectAllRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectComplementOfImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectExactCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectIntersectionOfImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectMaxCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectMinCardinalityRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectOneOfImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectSelfRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectSomeRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectUnionOfImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLObjectValueRestrictionImpl Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLQuantifiedRestrictionImpl<P extends OWLPropertyExpression,F extends OWLPropertyRange> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLRestrictionImpl<P extends OWLPropertyExpression> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006
class	OWLValueRestrictionImpl<P extends OWLPropertyExpression,V extends OWLObject> Author: Matthew Horridge The University Of Manchester Bio-Health Informatics Group Date: 26-Oct-2006

Methods in uk.ac.manchester.cs.owl that return OWLDescription

OWLDescription	OWLObjectExactCardinalityRestrictionImpl.asIntersectionOfMinMax()
OWLDescription	OWLDataExactCardinalityRestrictionImpl.asIntersectionOfMinMax()
OWLDescription	OWLObjectOneOfImpl.asObjectUnionOf()
OWLDescription	OWLObjectValueRestrictionImpl.asSomeValuesFrom()
OWLDescription	OWLDataValueRestrictionImpl.asSomeValuesFrom()
OWLDescription	OWLClassImpl.getComplementNNF()
OWLDescription	OWLAnonymousDescriptionImpl.getComplementNNF()
OWLDescription	OWLClassAssertionAxiomImpl.getDescription()
OWLDescription	OWLPropertyDomainAxiomImpl.getDomain()
OWLDescription	OWLClassImpl.getNNF()
OWLDescription	OWLAnonymousDescriptionImpl.getNNF()
OWLDescription	OWLObjectComplementOfImpl.getOperand()
OWLDescription	OWLSubClassAxiomImpl.getSubClass()
OWLDescription	OWLSubClassAxiomImpl.getSuperClass()

Methods in uk.ac.manchester.cs.owl that return types with arguments of type OWLDescription

java.util.Set<OWLDescription>	SWRLRuleImpl.getClassAtomPredicates()
java.util.Set<OWLDescription>	OWLNaryClassAxiomImpl.getDescriptions()
java.util.Set<OWLDescription>	OWLClassImpl.getDisjointClasses(OWLOntology ontology)
java.util.Set<OWLDescription>	OWLClassImpl.getDisjointClasses(java.util.Set<OWLOntology> ontologies)
java.util.Set<OWLDescription>	OWLPropertyExpressionImpl.getDomains(OWLOntology ontology)
java.util.Set<OWLDescription>	OWLPropertyExpressionImpl.getDomains(java.util.Set<OWLOntology> ontologies)
java.util.Set<OWLDescription>	OWLClassImpl.getEquivalentClasses(OWLOntology ontology)
java.util.Set<OWLDescription>	OWLClassImpl.getEquivalentClasses(java.util.Set<OWLOntology> ontologies)
java.util.Set<OWLDescription>	OWLNaryBooleanDescriptionImpl.getOperands()
java.util.Set<OWLDescription>	OWLClassImpl.getSubClasses(OWLOntology ontology)
java.util.Set<OWLDescription>	OWLClassImpl.getSubClasses(java.util.Set<OWLOntology> ontologies)
java.util.Set<OWLDescription>	OWLClassImpl.getSuperClasses(OWLOntology ontology)
java.util.Set<OWLDescription>	OWLClassImpl.getSuperClasses(java.util.Set<OWLOntology> ontologies)
java.util.Set<OWLDescription>	OWLIndividualImpl.getTypes(OWLOntology ontology)
java.util.Set<OWLDescription>	OWLIndividualImpl.getTypes(java.util.Set<OWLOntology> ontologies)

Methods in uk.ac.manchester.cs.owl with parameters of type OWLDescription

OWLClassAssertionAxiom	OWLDataFactoryImpl.getOWLClassAssertionAxiom(OWLIndividual individual, OWLDescription description)
OWLDataPropertyDomainAxiom	OWLDataFactoryImpl.getOWLDataPropertyDomainAxiom(OWLDataPropertyExpression property, OWLDescription domain)
OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(OWLDescription clsA, OWLDescription... descriptions)
OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(OWLDescription clsA, OWLDescription... descriptions)
OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(OWLDescription clsA, OWLDescription clsB)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(OWLDescription clsA, OWLDescription clsB)
OWLObjectAllRestriction	OWLDataFactoryImpl.getOWLObjectAllRestriction(OWLObjectPropertyExpression property, OWLDescription description)
OWLObjectComplementOf	OWLDataFactoryImpl.getOWLObjectComplementOf(OWLDescription operand)
OWLObjectExactCardinalityRestriction	OWLDataFactoryImpl.getOWLObjectExactCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
OWLObjectIntersectionOf	OWLDataFactoryImpl.getOWLObjectIntersectionOf(OWLDescription... operands)
OWLObjectMaxCardinalityRestriction	OWLDataFactoryImpl.getOWLObjectMaxCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
OWLObjectMinCardinalityRestriction	OWLDataFactoryImpl.getOWLObjectMinCardinalityRestriction(OWLObjectPropertyExpression property, int cardinality, OWLDescription description)
OWLObjectPropertyDomainAxiom	OWLDataFactoryImpl.getOWLObjectPropertyDomainAxiom(OWLObjectPropertyExpression property, OWLDescription description)
OWLObjectPropertyRangeAxiom	OWLDataFactoryImpl.getOWLObjectPropertyRangeAxiom(OWLObjectPropertyExpression property, OWLDescription range)
OWLObjectSomeRestriction	OWLDataFactoryImpl.getOWLObjectSomeRestriction(OWLObjectPropertyExpression property, OWLDescription description)
OWLObjectUnionOf	OWLDataFactoryImpl.getOWLObjectUnionOf(OWLDescription... operands)
OWLSubClassAxiom	OWLDataFactoryImpl.getOWLSubClassAxiom(OWLDescription subClass, OWLDescription superClass)
SWRLClassAtom	OWLDataFactoryImpl.getSWRLClassAtom(OWLDescription desc, SWRLAtomIObject arg) Gets a SWRL class atom, i.e.

Method parameters in uk.ac.manchester.cs.owl with type arguments of type OWLDescription

OWLDisjointClassesAxiom	OWLDataFactoryImpl.getOWLDisjointClassesAxiom(java.util.Set<? extends OWLDescription> descriptions)
OWLDisjointUnionAxiom	OWLDataFactoryImpl.getOWLDisjointUnionAxiom(OWLClass owlClass, java.util.Set<? extends OWLDescription> descriptions)
OWLEquivalentClassesAxiom	OWLDataFactoryImpl.getOWLEquivalentClassesAxiom(java.util.Set<? extends OWLDescription> descriptions)
OWLObjectIntersectionOf	OWLDataFactoryImpl.getOWLObjectIntersectionOf(java.util.Set<? extends OWLDescription> operands)
OWLObjectUnionOf	OWLDataFactoryImpl.getOWLObjectUnionOf(java.util.Set<? extends OWLDescription> operands)

Constructors in uk.ac.manchester.cs.owl with parameters of type OWLDescription

OWLClassAssertionAxiomImpl(OWLDataFactory dataFactory, OWLIndividual individual, OWLDescription description)

OWLDataPropertyDomainAxiomImpl(OWLDataFactory dataFactory, OWLDataPropertyExpression property, OWLDescription domain)

OWLObjectAllRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription filler)

OWLObjectComplementOfImpl(OWLDataFactory dataFactory, OWLDescription operand)

OWLObjectExactCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, int cardinality, OWLDescription filler)

OWLObjectMaxCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, int cardinality, OWLDescription filler)

OWLObjectMinCardinalityRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, int cardinality, OWLDescription filler)

OWLObjectPropertyDomainAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription domain)

OWLObjectPropertyRangeAxiomImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription range)

OWLObjectSomeRestrictionImpl(OWLDataFactory dataFactory, OWLObjectPropertyExpression property, OWLDescription filler)

OWLPropertyDomainAxiomImpl(OWLDataFactory dataFactory, P property, OWLDescription domain)

OWLSubClassAxiomImpl(OWLDataFactory dataFactory, OWLDescription subClass, OWLDescription superClass)

SWRLClassAtomImpl(OWLDataFactory dataFactory, OWLDescription predicate, SWRLAtomIObject arg)

Constructor parameters in uk.ac.manchester.cs.owl with type arguments of type OWLDescription

OWLDisjointClassesAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> descriptions)

OWLDisjointUnionAxiomImpl(OWLDataFactory dataFactory, OWLClass owlClass, java.util.Set<? extends OWLDescription> descriptions)

OWLEquivalentClassesAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> descriptions)

OWLNaryBooleanDescriptionImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> operands)

OWLNaryClassAxiomImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> descriptions)

OWLObjectIntersectionOfImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> operands)

OWLObjectUnionOfImpl(OWLDataFactory dataFactory, java.util.Set<? extends OWLDescription> operands)

Uses of OWLDescription in uk.ac.manchester.cs.owl.dlsyntax.parser

Methods in uk.ac.manchester.cs.owl.dlsyntax.parser that return OWLDescription

OWLDescription	DLSyntaxParser.And()
OWLDescription	DLSyntaxParser.NamedClassOrNestedDescription()
OWLDescription	DLSyntaxParser.NestedClassDescription()
OWLDescription	DLSyntaxParser.NonNaryBooleanDescription()
OWLDescription	DLSyntaxParser.Or()
OWLDescription	DLSyntaxParser.parseAllRestriction()
OWLDescription	DLSyntaxParser.parseCardinalityRestriction()
OWLDescription	DLSyntaxParser.parseClassDescription()
OWLDescription	DLSyntaxParser.parseDataSomeRestriction()
OWLDescription	DLSyntaxParser.parseDescription()
OWLDescription	DLSyntaxParser.parseObjectComplementOf()
OWLDescription	DLSyntaxParser.parseObjectOneOf()
OWLDescription	DLSyntaxParser.parseRestriction()
OWLDescription	DLSyntaxParser.parseSomeRestriction()

Uses of OWLDescription in uk.ac.manchester.cs.owl.inference.dig11

Methods in uk.ac.manchester.cs.owl.inference.dig11 that return types with arguments of type OWLDescription

java.util.Set<java.util.Set<OWLDescription>>	DIGReasoner.getDomains(OWLDataProperty property)
java.util.Set<java.util.Set<OWLDescription>>	DIGReasoner.getDomains(OWLObjectProperty property)
java.util.Set<OWLDescription>	DIGReasoner.getRanges(OWLObjectProperty property)

Methods in uk.ac.manchester.cs.owl.inference.dig11 with parameters of type OWLDescription

void	DIGTranslatorImpl.createAncestorConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createAncestorConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the ancestor concepts of a given concept, this includes all super concepts (not just direct ones).
void	DIGTranslatorImpl.createDescendantConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createDescendantConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the descendant concepts of a given concept.
void	DIGTranslatorImpl.createDirectSubConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createDirectSubConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the direct sub concepts of a given concept.
void	DIGTranslatorImpl.createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the direct super concepts of a given concept.
void	DIGTranslatorImpl.createDisjointQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2)
void	DIGTranslator.createDisjointQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2) Creates a query that asks if one concept is disjoint with another concept.
void	DIGTranslatorImpl.createEquivalentConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createEquivalentConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the concepts that are equivalent (i.e.
void	DIGTranslatorImpl.createIndividualInstanceOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins, OWLDescription aClass)
void	DIGTranslator.createIndividualInstanceOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLIndividual ins, OWLDescription aClass) Creates a query that asks if an individual is an instance (member of) a given class.
void	DIGTranslatorImpl.createInstancesOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createInstancesOfConceptQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks for the instances (individuals belonging to) a given concept.
void	DIGTranslatorImpl.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass)
void	DIGTranslator.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription aClass) Creates a query that asks if a given class is satisfiable.
void	DIGTranslatorImpl.createSubsumesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2)
void	DIGTranslator.createSubsumesQuery(org.w3c.dom.Document doc, java.lang.String queryID, OWLDescription cls1, OWLDescription cls2) Creates a query that asks if one concept subsumes another concept.
java.util.Set<java.util.Set<OWLClass>>	DIGReasoner.getAncestorClasses(OWLDescription description)
java.util.Set<java.util.Set<OWLClass>>	DIGReasoner.getDescendantClasses(OWLDescription description)
java.util.Set<OWLClass>	DIGReasoner.getEquivalentClasses(OWLDescription description)
java.util.Set<OWLIndividual>	DIGReasoner.getIndividuals(OWLDescription clsC, boolean direct)
java.util.Set<java.util.Set<OWLClass>>	DIGReasoner.getSubClasses(OWLDescription description)
java.util.Set<java.util.Set<OWLClass>>	DIGReasoner.getSuperClasses(OWLDescription description)
boolean	DIGReasoner.hasType(OWLIndividual individual, OWLDescription type, boolean direct)
boolean	DIGReasoner.isEquivalentClass(OWLDescription clsC, OWLDescription clsD)
boolean	DIGReasoner.isSatisfiable(OWLDescription cls)
boolean	DIGReasoner.isSubClassOf(OWLDescription clsC, OWLDescription clsD)

Method parameters in uk.ac.manchester.cs.owl.inference.dig11 with type arguments of type OWLDescription

void	DIGTranslatorImpl.createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> clses)
void	DIGTranslator.createDirectSuperConceptsQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> descriptions) Creates a query that asks for the direct super concepts of an intersection of classes.
void	DIGTranslatorImpl.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> clses)
void	DIGTranslator.createSatisfiableQuery(org.w3c.dom.Document doc, java.lang.String queryID, java.util.Set<OWLDescription> descriptions) Creates a query that asks if the intersection of a set of classes is satisfiable/consistent.