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 |
ManchesterSyntaxTool.parseManchesterExpression(String expression)
Parse a class expression in Manchester syntax.
|
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLClass ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataAllValuesFrom ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataExactCardinality ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataHasValue ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataMaxCardinality ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataMinCardinality ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLDataSomeValuesFrom ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectAllValuesFrom ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectComplementOf ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectExactCardinality ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectHasSelf ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectHasValue ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectIntersectionOf ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectMaxCardinality ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectMinCardinality ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectOneOf ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectSomeValuesFrom ce) |
OWLClassExpression |
AbstractMacroExpansionVisitor.AbstractClassExpressionVisitorEx.visit(OWLObjectUnionOf ce) |
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(Collection<? extends OWLClassExpression> classExpressions) |
static OWLDisjointClassesAxiom |
OWLFunctionalSyntaxFactory.DisjointClasses(Collection<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> a) |
Constructor and Description |
---|
MakeClassesMutuallyDisjoint(OWLDataFactory dataFactory,
Collection<? 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)
Get 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 |
---|---|
OWLClassExpression |
DLSyntaxParser.And() |
OWLClassExpression |
DLSyntaxParser.NamedClassOrNestedDescription() |
OWLClassExpression |
DLSyntaxParser.NestedClassDescription() |
OWLClassExpression |
DLSyntaxParser.NonNaryBooleanDescription() |
OWLClassExpression |
DLSyntaxParser.Or() |
OWLClassExpression |
DLSyntaxParser.parseAllRestriction() |
OWLClassExpression |
DLSyntaxParser.parseCardinalityRestriction() |
OWLClassExpression |
DLSyntaxParser.parseClassDescription() |
OWLClassExpression |
DLSyntaxParser.parseDataSomeRestriction() |
OWLClassExpression |
DLSyntaxParser.parseDescription() |
OWLClassExpression |
DLSyntaxParser.parseObjectComplementOf() |
OWLClassExpression |
DLSyntaxParser.parseObjectOneOf() |
OWLClassExpression |
DLSyntaxParser.parseRestriction() |
OWLClassExpression |
DLSyntaxParser.parseSomeRestriction() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLFunctionalSyntaxParser.ClassExpressionSet() |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
KRSSParser.All() |
OWLClassExpression |
KRSSParser.And() |
OWLClassExpression |
KRSSParser.AtLeast() |
OWLClassExpression |
KRSSParser.AtMost() |
OWLClassExpression |
KRSSParser.ConceptExpression() |
OWLClassExpression |
KRSSParser.ConceptName() |
OWLClassExpression |
KRSSParser.Exactly() |
OWLClassExpression |
KRSSParser.Not() |
OWLClassExpression |
KRSSParser.Or() |
OWLClassExpression |
KRSSParser.Some() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
KRSSParser.ConceptSet() |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
KRSS2Parser.All() |
OWLClassExpression |
KRSS2Parser.And() |
OWLClassExpression |
KRSS2Parser.AtLeast() |
OWLClassExpression |
KRSS2Parser.AtMost() |
OWLClassExpression |
KRSS2Parser.ConceptExpression() |
OWLClassExpression |
KRSS2Parser.ConceptName() |
OWLClassExpression |
KRSS2Parser.Exactly() |
OWLClassExpression |
KRSS2Parser.Not() |
OWLClassExpression |
KRSS2Parser.Or() |
OWLClassExpression |
KRSS2Parser.Some() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
KRSS2Parser.ConceptSet() |
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() |
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 |
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.
|
Stream<OWLClassExpression> |
SWRLRule.classAtomPredicates()
Gets the predicates of class atoms.
|
Stream<OWLClassExpression> |
OWLNaryClassAxiom.classExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
Stream<OWLClassExpression> |
OWLDisjointUnionAxiom.classExpressions()
Gets the class expressions which are operands of the disjoint union.
|
default Stream<OWLClassExpression> |
OWLClassExpression.conjunctSet()
Interprets this expression as a conjunction and returns the conjuncts.
|
default Stream<OWLClassExpression> |
OWLClassExpression.disjunctSet()
Interprets this expression as a disjunction and returns the disjuncts.
|
default Set<OWLClassExpression> |
SWRLRule.getClassAtomPredicates()
Gets the predicates of class atoms.
|
default Set<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressions()
Gets all of the top level class expressions that appear in this axiom.
|
default Set<OWLClassExpression> |
OWLDisjointUnionAxiom.getClassExpressions()
Gets the class expressions which are operands of the disjoint union.
|
default List<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressionsAsList()
Deprecated.
|
Set<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the specified class
expressions.
|
default Set<OWLClassExpression> |
OWLObject.getNestedClassExpressions()
Gets all of the nested (includes top level) class expressions (anonymous and named) that are
used in this object.
|
default Set<OWLClassExpression> |
OWLNaryBooleanClassExpression.getOperands() |
default Stream<OWLClassExpression> |
OWLObject.nestedClassExpressions()
Gets all of the nested (includes top level) class expressions (anonymous and named) that are
used in this object.
|
default Stream<OWLClassExpression> |
OWLNaryClassAxiom.operands() |
Modifier and Type | Method and Description |
---|---|
default Stream<OWLClassAssertionAxiom> |
OWLAxiomIndex.classAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified class expression, ce , a type for some individual. |
boolean |
OWLNaryClassAxiom.contains(OWLClassExpression ce)
Determines if this class axiom contains the specified class expression as an operand.
|
boolean |
OWLClassExpression.containsConjunct(OWLClassExpression ce)
Determines if this class expression contains a particular conjunct.
|
default Set<OWLClassAssertionAxiom> |
OWLAxiomIndex.getClassAssertionAxioms(OWLClassExpression ce)
Gets the
OWLClassAssertionAxiom objects contained in this ontology that make the
specified class expression, ce , a type for some individual. |
Set<OWLClassExpression> |
OWLNaryClassAxiom.getClassExpressionsMinus(OWLClassExpression... desc)
Gets the set of class expressions that appear in this axiom minus the specified class
expressions.
|
Modifier and Type | Method and Description |
---|---|
default OWLObjectIntersectionOf |
IntersectionProvider.getOWLObjectIntersectionOf(Collection<? extends OWLClassExpression> operands) |
OWLObjectIntersectionOf |
IntersectionProvider.getOWLObjectIntersectionOf(Stream<? extends OWLClassExpression> operands) |
default OWLObjectUnionOf |
UnionProvider.getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands) |
OWLObjectUnionOf |
UnionProvider.getOWLObjectUnionOf(Stream<? extends OWLClassExpression> operands) |
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 c) |
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 |
---|---|
default Stream<OWLClass> |
OWLReasoner.disjointClasses(OWLClassExpression ce)
Gets the classes that are disjoint with the specified class expression
ce . |
default Stream<OWLClass> |
OWLReasoner.equivalentClasses(OWLClassExpression ce)
Gets the stream of named classes that are equivalent to the specified class expression with
respect to the set of reasoner axioms.
|
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.
|
default NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce) |
NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
default NodeSet<OWLNamedIndividual> |
OWLReasoner.getInstances(OWLClassExpression ce,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce)
Returns all subclasses.
|
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getSubClasses(OWLClassExpression ce,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getSuperClasses(OWLClassExpression ce,
InferenceDepth depth) |
default Stream<OWLNamedIndividual> |
OWLReasoner.instances(OWLClassExpression ce) |
default Stream<OWLNamedIndividual> |
OWLReasoner.instances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.instances(OWLClassExpression ce,
InferenceDepth depth) |
boolean |
OWLReasoner.isSatisfiable(OWLClassExpression classExpression)
A convenience method that determines if the specified class expression is satisfiable with
respect to the reasoner axioms.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.representativeInstances(OWLClassExpression ce) |
default Stream<OWLNamedIndividual> |
OWLReasoner.representativeInstances(OWLClassExpression ce,
boolean direct)
Gets the individuals which are instances of the specified class expression.
|
default Stream<OWLNamedIndividual> |
OWLReasoner.representativeInstances(OWLClassExpression ce,
InferenceDepth depth) |
default Stream<OWLClass> |
OWLReasoner.subClasses(OWLClassExpression ce)
Returns all subclasses.
|
default Stream<OWLClass> |
OWLReasoner.subClasses(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.
|
default Stream<OWLClass> |
OWLReasoner.subClasses(OWLClassExpression ce,
InferenceDepth depth) |
default Stream<OWLClass> |
OWLReasoner.superClasses(OWLClassExpression ce) |
default Stream<OWLClass> |
OWLReasoner.superClasses(OWLClassExpression ce,
boolean direct)
Gets the stream 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.
|
default Stream<OWLClass> |
OWLReasoner.superClasses(OWLClassExpression ce,
InferenceDepth depth) |
Constructor and Description |
---|
ClassExpressionNotInProfileException(OWLClassExpression classExpression,
IRI profile) |
Modifier and Type | Method and Description |
---|---|
Optional<OWLClassExpression> |
SatisfiabilityReducer.doDefault(Object o) |
Optional<OWLClassExpression> |
SatisfiabilityReducer.visit(OWLSubClassOfAxiom axiom) |
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 Stream<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 Stream<OWLClassExpression> |
EntitySearcher.getDisjointClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with e by axioms in the specified
ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLDataProperty e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the asserted domains of e.
|
static Stream<OWLClassExpression> |
EntitySearcher.getDomains(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted domains of e by examining the axioms in the specified ontologies.
|
static Stream<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 Stream<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be equivalent with e by axioms in the specified
ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
OWLOntology ontology)
Gets the ranges of e that have been asserted in the specified ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getRanges(OWLObjectPropertyExpression e,
Stream<OWLOntology> ontologies)
Gets the asserted ranges of e by examining the axioms in the specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of e in the specified
ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of e in the specified
ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be superclasses of e in the specified
ontology.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the classes which have been asserted to be superclasses of e in the specified
ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
OWLOntology ontology) |
static Stream<OWLClassExpression> |
EntitySearcher.getTypes(OWLIndividual e,
Stream<OWLOntology> ontologies) |
static Stream<OWLClassExpression> |
Searcher.types(Stream<OWLClassAssertionAxiom> axioms)
Retrieve classes from class assertions.
|
Modifier and Type | Method and Description |
---|---|
static Stream<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
OWLOntology ontology) |
static Stream<OWLIndividual> |
EntitySearcher.getInstances(OWLClassExpression e,
Stream<OWLOntology> ontologies) |
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.
|
default 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(List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
OWLDisjointUnionAxiomImpl(OWLClass owlClass,
List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
OWLEquivalentClassesAxiomImpl(List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
OWLNaryBooleanClassExpressionImpl(List<OWLClassExpression> operands) |
OWLNaryClassAxiomImpl(List<OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
OWLObjectIntersectionOfImpl(List<OWLClassExpression> operands) |
OWLObjectUnionOfImpl(List<OWLClassExpression> operands) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
ConcurrentOWLOntologyImpl.getNestedClassExpressions() |
Stream<OWLClassExpression> |
ConcurrentOWLOntologyImpl.nestedClassExpressions() |
Modifier and Type | Method and Description |
---|---|
Stream<OWLClassAssertionAxiom> |
ConcurrentOWLOntologyImpl.classAssertionAxioms(OWLClassExpression ce) |
Set<OWLClassAssertionAxiom> |
ConcurrentOWLOntologyImpl.getClassAssertionAxioms(OWLClassExpression owlClassExpression) |
Copyright © 2020 The University of Manchester. All rights reserved.