Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
SatisfiabilityConverter.convert(OWLAxiom axiom)
Convert.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLAxiom> |
SingleExplanationGenerator.getExplanation(OWLClassExpression unsatClass)
Get a single explanation for an arbitrary class expression, or empty set
if the given expression is satisfiable.
|
Set<OWLAxiom> |
HSTExplanationGenerator.getExplanation(OWLClassExpression unsatClass) |
Set<OWLAxiom> |
ExplanationGenerator.getExplanation(OWLClassExpression unsatClass)
Returns a single explanation for the given unsatisfiable class.
|
Set<OWLAxiom> |
DefaultExplanationGenerator.getExplanation(OWLClassExpression unsatClass) |
Set<OWLAxiom> |
BlackBoxExplanation.getExplanation(OWLClassExpression unsatClass) |
Set<Set<OWLAxiom>> |
HSTExplanationGenerator.getExplanations(OWLClassExpression unsatClass) |
Set<Set<OWLAxiom>> |
ExplanationGenerator.getExplanations(OWLClassExpression unsatClass)
Returns all the explanations for the given unsatisfiable class.
|
Set<Set<OWLAxiom>> |
DefaultExplanationGenerator.getExplanations(OWLClassExpression unsatClass) |
Set<Set<OWLAxiom>> |
HSTExplanationGenerator.getExplanations(OWLClassExpression unsatClass,
int maxExplanations) |
Set<Set<OWLAxiom>> |
ExplanationGenerator.getExplanations(OWLClassExpression unsatClass,
int maxExplanations)
Return a specified number of explanations for the given unsatisfiable
class.
|
Set<Set<OWLAxiom>> |
DefaultExplanationGenerator.getExplanations(OWLClassExpression unsatClass,
int maxExplanations) |
Modifier and Type | Method and Description |
---|---|
static boolean |
OntologyUtils.containsUnreferencedEntity(OWLOntology ontology,
OWLClassExpression 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(OWLClassExpression classExpression)
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.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
OWLAPIObo2Owl.trRel(String relId,
String classId,
Collection<QualifierValue> quals)
Translate rel.
|
OWLClassExpression |
OWLAPIObo2Owl.trTermFrame(Frame termFrame)
Translate term frame.
|
Modifier and Type | Method and Description |
---|---|
static OWLDisjointClassesAxiom |
OWLFunctionalSyntaxFactory.DisjointClasses(Set<? extends OWLClassExpression> classExpressions) |
static OWLDisjointClassesAxiom |
OWLFunctionalSyntaxFactory.DisjointClasses(Set<OWLClassExpression> classExpressions,
Set<OWLAnnotation> a) |
Constructor and Description |
---|
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
Set<? extends OWLClassExpression> classExpressions,
boolean usePairwiseDisjointAxioms,
OWLOntology targetOntology)
Creates a composite change which makes a set of classes mutually
disjoint.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
DebuggerClassExpressionGenerator.getDebuggerClassExpression()
Gets the debugger class expression.
|
Modifier and Type | Method and Description |
---|---|
Set<Set<OWLAxiom>> |
OWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls)
Gets the all sos for inconsistent class.
|
Set<Set<OWLAxiom>> |
AbstractOWLDebugger.getAllSOSForInconsistentClass(OWLClassExpression cls) |
Set<OWLAxiom> |
OWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls)
Gets the sOS for inconsistent class.
|
Set<OWLAxiom> |
BlackBoxOWLDebugger.getSOSForInconsistentClass(OWLClassExpression cls) |
Constructor and Description |
---|
JustificationMap(OWLClassExpression desc,
Set<OWLAxiom> axioms)
Instantiates a new justification map.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLFunctionalSyntaxParser.ClassExpressionSet() |
Modifier and Type | Method and Description |
---|---|
static boolean |
LatexBracketChecker.requiresBracket(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
ManchesterOWLSyntaxClassExpressionParser.parse(String expression) |
OWLClassExpression |
ManchesterOWLSyntaxParserImpl.parseClassExpression() |
OWLClassExpression |
ManchesterOWLSyntaxParserImpl.parseClassExpression(String s) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
ManchesterOWLSyntaxParserImpl.parseClassExpressionList() |
Modifier and Type | Interface and Description |
---|---|
interface |
OWLAnonymousClassExpression
The super interface for all class expressions which are not named class
expressions (i.e.
|
interface |
OWLBooleanClassExpression |
interface |
OWLCardinalityRestriction<F extends OWLPropertyRange> |
interface |
OWLClass
Represents a Class in
the OWL 2 specification.
|
interface |
OWLDataAllValuesFrom
Represents DataAllValuesFrom class expressions in the OWL 2 Specification.
|
interface |
OWLDataCardinalityRestriction
Represents Data Property Cardinality Restrictions in the OWL 2 specification.
|
interface |
OWLDataExactCardinality
Represents
DataExactCardinality
restrictions in the OWL 2 Specification.
|
interface |
OWLDataHasValue
Represents
DataHasValue
restrictions in the OWL 2 Specification.
|
interface |
OWLDataMaxCardinality
Represents
DataMaxCardinality restrictions in the OWL 2 Specification.
|
interface |
OWLDataMinCardinality
Represents
DataMinCardinality restrictions in the OWL 2 Specification.
|
interface |
OWLDataRestriction
Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
|
interface |
OWLDataSomeValuesFrom
Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLHasValueRestriction<V extends OWLObject> |
interface |
OWLNaryBooleanClassExpression |
interface |
OWLObjectAllValuesFrom
Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLObjectCardinalityRestriction |
interface |
OWLObjectComplementOf
Represents an ObjectComplementOf class expression in the OWL 2 Specification.
|
interface |
OWLObjectExactCardinality
Represents an
ObjectExactCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectHasSelf
Represents an ObjectHasSelf
class expression in the OWL 2 Specification.
|
interface |
OWLObjectHasValue
Represents an ObjectHasValue class expression in the OWL 2 Specification.
|
interface |
OWLObjectIntersectionOf
Represents an ObjectIntersectionOf class expression in the OWL 2 Specification.
|
interface |
OWLObjectMaxCardinality
Represents an ObjectMaxCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectMinCardinality
Represents a
ObjectMinCardinality restriction in the OWL 2 Specification.
|
interface |
OWLObjectOneOf
Represents an
ObjectOneOf class
expression in the OWL 2 Specification.
|
interface |
OWLObjectRestriction
Represents a restriction (Object Property Restriction or Data Property Restriction) in the OWL 2 specification.
|
interface |
OWLObjectSomeValuesFrom
Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification.
|
interface |
OWLObjectUnionOf
Represents an ObjectUnionOf class expression in the OWL 2 Specification.
|
interface |
OWLQuantifiedDataRestriction
A quantified data restriction.
|
interface |
OWLQuantifiedObjectRestriction
A quantified object restriction.
|
interface |
OWLQuantifiedRestriction<F extends OWLPropertyRange> |
interface |
OWLRestriction
Represents a restriction (Object
Property Restriction or Data
Property Restriction) in the OWL 2 specification.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
OWLObjectExactCardinality.asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality and
max cardinality restriction.
|
OWLClassExpression |
OWLDataExactCardinality.asIntersectionOfMinMax()
Obtains an equivalent form that is a conjunction of a min cardinality and max cardinality
restriction.
|
OWLClassExpression |
OWLObjectOneOf.asObjectUnionOf()
Simplifies this enumeration to a union of singleton nominals
|
OWLClassExpression |
OWLHasValueRestriction.asSomeValuesFrom()
A convenience method that obtains this restriction as an existential restriction with a
nominal filler.
|
OWLClassExpression |
OWLHasKeyAxiom.getClassExpression()
Gets the class expression, instances of which, this axiom acts as the key
for
|
OWLClassExpression |
OWLClassAssertionAxiom.getClassExpression()
Gets the class expression that is asserted to be a type for an individual
by this axiom.
|
OWLClassExpression |
OWLClassExpression.getComplementNNF()
Gets the negation normal form of the complement of this expression.
|
OWLClassExpression |
OWLPropertyDomainAxiom.getDomain()
Gets the domain specified by this property axiom.
|
OWLClassExpression |
OWLClassExpression.getNNF()
Gets this expression in negation normal form.
|
OWLClassExpression |
OWLClassExpression.getObjectComplementOf()
Gets the object complement of this class expression.
|
OWLClassExpression |
OWLObjectComplementOf.getOperand() |
OWLClassExpression |
SWRLClassAtom.getPredicate() |
OWLClassExpression |
OWLSubClassOfAxiom.getSubClass()
Gets the subclass in this axiom.
|
OWLClassExpression |
OWLSubClassOfAxiom.getSuperClass()
Gets the superclass in this axiom.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLClassExpression.asConjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
Set<OWLClassExpression> |
OWLClassExpression.asDisjunctSet()
Interprets this expression as a disjunction and returns the disjuncts.
|
Set<OWLClassExpression> |
SWRLRule.getClassAtomPredicates()
Gets the predicates of class atoms.
|
Set<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
Set<OWLClassExpression> |
OWLDisjointUnionAxiom.getClassExpressions()
Gets the class expressions which are operands of the disjoint union.
|
List<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressionsAsList()
A convenience method that obtains the class expression returned by the
OWLNaryClassAxiom.getClassExpressions() method as a list of class expressions. |
Set<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the
specfied class expressions.
|
Set<OWLClassExpression> |
OWLObject.getNestedClassExpressions()
Gets all of the nested (includes top level) class expressions (anonymous and named) that are
used in this object.
|
Set<OWLClassExpression> |
IRI.getNestedClassExpressions() |
Set<OWLClassExpression> |
OWLNaryBooleanClassExpression.getOperands() |
List<OWLClassExpression> |
OWLNaryBooleanClassExpression.getOperandsAsList()
Gets the class expressions returned by
OWLNaryBooleanClassExpression.getOperands() as a list
of class expressions. |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
NormalFormRewriter.convertToNormalForm(OWLClassExpression classExpression)
Convert to normal form.
|
OWLClassExpression |
NegationalNormalFormConverter.convertToNormalForm(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLObjectComplementOfExtractor.getComplementedClassExpressions(OWLClassExpression desc)
Gets the complemented class expressions.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
NormalFormRewriter.convertToNormalForm(OWLClassExpression classExpression)
Convert to normal form.
|
OWLClassExpression |
NegationalNormalFormConverter.convertToNormalForm(OWLClassExpression classExpression) |
Set<OWLClassExpression> |
OWLObjectComplementOfExtractor.getComplementedClassExpressions(OWLClassExpression desc)
Gets the complemented class expressions.
|
boolean |
NormalFormRewriter.isInNormalForm(OWLClassExpression classExpression)
Checks if is in normal form.
|
boolean |
NegationalNormalFormConverter.isInNormalForm(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
UseOfNonSuperClassExpression.getExpression() |
OWLClassExpression |
UseOfNonSubClassExpression.getExpression() |
OWLClassExpression |
UseOfNonEquivalentClassExpression.getExpression() |
OWLClassExpression |
UseOfNonAtomicClassExpression.getExpression() |
OWLClassExpression |
UseOfIllegalClassExpression.getExpression() |
Constructor and Description |
---|
UseOfIllegalClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
UseOfNonAtomicClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
UseOfNonEquivalentClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
UseOfNonSubClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
UseOfNonSuperClassExpression(OWLOntology ontology,
OWLAxiom axiom,
OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
Translators.ClassExpressionTranslator.translate(IRI mainNode)
Translates the specified main node into an
OWLClassExpression . |
OWLClassExpression |
OWLRDFConsumer.translateClassExpression(IRI i)
compatibility proxy for
Translators.TranslatorAccessor.translateClassExpression(IRI) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
ClassExpressionNotInProfileException.getClassExpression() |
Modifier and Type | Method and Description |
---|---|
NodeSet<OWLClass> |
OWLReasoner.getDisjointClasses(OWLClassExpression ce)
Gets the classes that are disjoint with the specified class expression
ce . |
Node<OWLClass> |
OWLReasoner.getEquivalentClasses(OWLClassExpression ce)
Gets the set of named classes that are equivalent to the specified class expression with
respect to the set of reasoner axioms.
|
NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce,
boolean direct)
Gets the set of named classes that are the strict (potentially direct) subclasses of the
specified class expression with respect to the reasoner axioms.
|
NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce,
boolean direct)
Gets the set of named classes that are the strict (potentially direct) super classes of the
specified class expression with respect to the imports closure of the root ontology.
|
boolean |
OWLReasoner.isSatisfiable(OWLClassExpression classExpression)
A convenience method that determines if the specified class expression is satisfiable with
respect to the reasoner axioms.
|
Constructor and Description |
---|
ClassExpressionNotInProfileException(OWLClassExpression classExpression,
IRI profile) |
Modifier and Type | Method and Description |
---|---|
Node<? extends OWLClassExpression> |
OWLKnowledgeExplorerReasoner.getObjectLabel(OWLKnowledgeExplorerReasoner.RootNode node,
boolean deterministicOnly) |
Modifier and Type | Method and Description |
---|---|
OWLKnowledgeExplorerReasoner.RootNode |
OWLKnowledgeExplorerReasoner.getRoot(OWLClassExpression expression) |
Modifier and Type | Method and Description |
---|---|
NodeSet<OWLClass> |
StructuralReasoner.getDisjointClasses(OWLClassExpression ce) |
Node<OWLClass> |
StructuralReasoner.getEquivalentClasses(OWLClassExpression ce) |
NodeSet<OWLNamedIndividual> |
StructuralReasoner.getInstances(OWLClassExpression ce,
boolean direct) |
NodeSet<OWLClass> |
StructuralReasoner.getSubClasses(OWLClassExpression ce,
boolean direct) |
NodeSet<OWLClass> |
StructuralReasoner.getSuperClasses(OWLClassExpression ce,
boolean direct) |
boolean |
StructuralReasoner.isSatisfiable(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
static Collection<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Iterable<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of e in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Iterable<OWLOntology> ontologies)
Gets the classes which have been asserted to be superclasses of e in the specified
ontologies.
|
static Collection<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be superclasses of e in the specified
ontology.
|
static Collection<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
Iterable<OWLOntology> ontologies) |
static Collection<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
OWLOntology ontology) |
static Collection<OWLClassExpression> |
Searcher.types(Collection<OWLClassAssertionAxiom> axioms)
Retrieve classes from class assertions.
|
Modifier and Type | Method and Description |
---|---|
static Collection<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
Iterable<OWLOntology> ontologies) |
static Collection<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
OWLOntology ontology) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClass> |
NamedConjunctChecker.getNamedConjuncts(OWLClassExpression classExpression)
Gets the named conjuncts for the specified expression.
|
boolean |
NamedConjunctChecker.hasNamedConjunct(OWLClassExpression classExpression)
Checks whether the specified expression has a named conjunct.
|
boolean |
OWLObjectWalker.isFirstClassExpressionInPath(OWLClassExpression classExpression)
Determines if a particular class expression is the first (or root) class
expression in the current class expression path.
|
boolean |
NamedConjunctChecker.isNamedConjunct(OWLClass conj,
OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
ManchesterOWLSyntaxParser.parseClassExpression()
Parses an OWL class expression that is represented in Manchester OWL Syntax.
|
OWLClassExpression |
ManchesterOWLSyntaxParser.parseClassExpression(String s)
Convenience method equivalent to
setStringToParse("string" ; parseClassexpression();} |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
ManchesterOWLSyntaxParser.parseClassExpressionList() |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
BuilderHasKey.getClassExpression() |
OWLClassExpression |
BuilderComplementOf.getClassExpression() |
OWLClassExpression |
BuilderClassAssertion.getClassExpression() |
OWLClassExpression |
BaseDomainBuilder.getDomain() |
OWLClassExpression |
BuilderSWRLClassAtom.getPredicate() |
OWLClassExpression |
BaseObjectBuilder.getRange() |
Modifier and Type | Method and Description |
---|---|
BuilderSWRLClassAtom |
BuilderSWRLClassAtom.with(OWLClassExpression arg) |
BuilderHasKey |
BuilderHasKey.withClass(OWLClassExpression arg) |
BuilderComplementOf |
BuilderComplementOf.withClass(OWLClassExpression arg) |
BuilderClassAssertion |
BuilderClassAssertion.withClass(OWLClassExpression arg) |
B |
BaseDomainBuilder.withDomain(OWLClassExpression arg) |
B |
BaseObjectBuilder.withRange(OWLClassExpression arg) |
Constructor and Description |
---|
OWLDisjointClassesAxiomImpl(Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
OWLEquivalentClassesAxiomImpl(Set<? extends OWLClassExpression> classExpressions,
Collection<? extends OWLAnnotation> annotations) |
OWLNaryBooleanClassExpressionImpl(Set<? extends OWLClassExpression> operands) |
OWLNaryClassAxiomImpl(Set<? extends OWLClassExpression> classExpressions,
Collection<? extends OWLAnnotation> annotations) |
OWLObjectIntersectionOfImpl(Set<? extends OWLClassExpression> operands) |
OWLObjectUnionOfImpl(Set<? extends OWLClassExpression> operands) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
ConcurrentOWLOntologyImpl.getNestedClassExpressions() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassAssertionAxiom> |
ConcurrentOWLOntologyImpl.getClassAssertionAxioms(OWLClassExpression owlClassExpression) |
Copyright © 2020 The University of Manchester. All rights reserved.