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 |
KRSS2Parser.All()
All.
|
OWLClassExpression |
KRSS2Parser.And()
And.
|
OWLClassExpression |
KRSS2Parser.AtLeast()
At least.
|
OWLClassExpression |
KRSS2Parser.AtMost()
At most.
|
OWLClassExpression |
KRSS2Parser.ConceptExpression()
Concept expression.
|
OWLClassExpression |
KRSS2Parser.ConceptName()
Concept name.
|
OWLClassExpression |
KRSS2Parser.Exactly()
Exactly.
|
OWLClassExpression |
KRSS2Parser.Not()
Not.
|
OWLClassExpression |
KRSS2Parser.Or()
Or.
|
OWLClassExpression |
KRSS2Parser.Some()
Some.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
KRSS2Parser.ConceptSet()
Concept set.
|
Modifier and Type | Method and Description |
---|---|
void |
KRSSObjectRenderer.write(OWLClassExpression obj) |
void |
KRSS2OWLObjectRenderer.write(OWLClassExpression obj) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
KRSSParser.All()
All.
|
OWLClassExpression |
KRSSParser.And()
And.
|
OWLClassExpression |
KRSSParser.AtLeast()
At least.
|
OWLClassExpression |
KRSSParser.AtMost()
At most.
|
OWLClassExpression |
KRSSParser.ConceptExpression()
Concept expression.
|
OWLClassExpression |
KRSSParser.ConceptName()
Concept name.
|
OWLClassExpression |
KRSSParser.Exactly()
Exactly.
|
OWLClassExpression |
KRSSParser.Not()
Not.
|
OWLClassExpression |
KRSSParser.Or()
Or.
|
OWLClassExpression |
KRSSParser.Some()
Some.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
KRSSParser.ConceptSet()
Concept set.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
OWLFunctionalSyntaxParser.ClassExpression()
Class expression.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.DataAllValuesFrom()
Data all values from.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.DataExactCardinality()
Data exact cardinality.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.DataHasValue()
Data has value.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.DataMaxCardinality()
Data max cardinality.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.DataMinCardinality()
Data min cardinality.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.DataSomeValuesFrom()
Data some values from.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectAllValuesFrom()
Object all values from.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectComplementOf()
Object complement of.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectExactCardinality()
Object exact cardinality.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectHasValue()
Object has value.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectIntersectionOf()
Object intersection of.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectMaxCardinality()
Object max cardinality.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectMinCardinality()
Object min cardinality.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectOneOf()
Object one of.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectSelf()
Object self.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectSomeValuesFrom()
Object some values from.
|
OWLClassExpression |
OWLFunctionalSyntaxParser.ObjectUnionOf()
Object union of.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLFunctionalSyntaxParser.ClassExpressionSet()
Class expression set.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
LatexBracketChecker.requiresBracket(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
ManchesterOWLSyntaxClassExpressionParser.parse(String expression) |
OWLClassExpression |
ManchesterOWLSyntaxParser.parseClassExpression()
Parses an OWL class expression that is represented in Manchester OWL
Syntax.
|
OWLClassExpression |
ManchesterOWLSyntaxEditorParser.parseClassExpression() |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
ManchesterOWLSyntaxParser.parseClassExpressionList() |
Set<OWLClassExpression> |
ManchesterOWLSyntaxEditorParser.parseClassExpressionList() |
Set<OWLClassExpression> |
ManchesterOWLSyntaxParser.parseClassExpressionList(boolean ignored)
Deprecated.
use parseClassExpressionList()
|
Set<OWLClassExpression> |
ManchesterOWLSyntaxEditorParser.parseClassExpressionList(boolean ignored) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
OWLUnionOfElementHandler.getOWLObject() |
OWLClassExpression |
AbstractClassExpressionElementHandler.getOWLObject() |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
OWLRDFConsumer.getClassExpressionIfTranslated(IRI mainNode)
Gets the class expression if translated.
|
OWLClassExpression |
ClassExpressionTranslator.translate(IRI mainNode)
Translates the specified main node into an
OWLClassExpression . |
OWLClassExpression |
ClassExpressionListItemTranslator.translate(IRI iri) |
OWLClassExpression |
ClassExpressionListItemTranslator.translate(OWLLiteral firstObject) |
OWLClassExpression |
OWLRDFConsumer.translateClassExpression(IRI mainNode)
Translate class expression.
|
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLRDFConsumer.translateToClassExpressionSet(IRI mainNode)
Translate to class expression set.
|
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 |
---|---|
static OWLDisjointClassesAxiom |
OWLFunctionalSyntaxFactory.DisjointClasses(Set<? extends OWLClassExpression> classExpressions) |
static OWLDisjointClassesAxiom |
OWLFunctionalSyntaxFactory.DisjointClasses(Set<OWLClassExpression> classExpressions,
Set<OWLAnnotation> a) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
DebuggerClassExpressionGenerator.getDebuggerClassExpression() |
Modifier and Type | Method and Description |
---|---|
Set<Set<OWLAxiom>> |
OWLDebugger.getAllSOSForIncosistentClass(OWLClassExpression cls) |
Set<Set<OWLAxiom>> |
AbstractOWLDebugger.getAllSOSForIncosistentClass(OWLClassExpression cls) |
Set<OWLAxiom> |
OWLDebugger.getSOSForIncosistentClass(OWLClassExpression cls) |
Set<OWLAxiom> |
BlackBoxOWLDebugger.getSOSForIncosistentClass(OWLClassExpression cls) |
Constructor and Description |
---|
JustificationMap(OWLClassExpression desc,
Set<OWLAxiom> axioms) |
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<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,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 retrictions in the OWL 2 Specification.
|
interface |
OWLDataHasValue
Represents DataHasValue retrictions in the OWL 2 Specification.
|
interface |
OWLDataMaxCardinality
Represents
DataMaxCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataMinCardinality
Represents
DataMinCardinality retrictions in the OWL 2 Specification.
|
interface |
OWLDataSomeValuesFrom
Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.
|
interface |
OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,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 |
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<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F extends OWLPropertyRange> |
interface |
OWLRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F> |
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> |
OWLClass.getDisjointClasses(OWLOntology ontology)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontology.
|
Set<OWLClassExpression> |
OWLClass.getDisjointClasses(Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be disjoint with this class
by axioms in the specified ontologies.
|
Set<OWLClassExpression> |
OWLPropertyExpression.getDomains(OWLOntology ontology)
Gets the asserted domains of this property.
|
Set<OWLClassExpression> |
OWLPropertyExpression.getDomains(Set<OWLOntology> ontologies)
Gets the asserted domains of this property by examining the axioms in the
specified ontologies.
|
Set<OWLClassExpression> |
OWLClass.getEquivalentClasses(OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and returns the class expressions corresponding to equivalent classes of
this class.
|
Set<OWLClassExpression> |
OWLClass.getEquivalentClasses(Set<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expressions corresponding to equivalent classes of
this class.
|
Set<OWLClassExpression> |
OWLObject.getNestedClassExpressions()
Gets all of the nested (includes top level) class expressions 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. |
Set<OWLClassExpression> |
OWLClass.getSubClasses(OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontology.
|
Set<OWLClassExpression> |
OWLClass.getSubClasses(Set<OWLOntology> ontologies)
Gets the classes which have been asserted to be subclasses of this
class in the specified ontologies.
|
Set<OWLClassExpression> |
OWLClass.getSuperClasses(OWLOntology ontology)
A convenience method that examines the axioms in the specified ontology
and return the class expressions corresponding to super classes of this
class.
|
Set<OWLClassExpression> |
OWLClass.getSuperClasses(Set<OWLOntology> ontologies)
A convenience method that examines the axioms in the specified ontologies
and returns the class expression corresponding to the asserted super
classes of this class.
|
Set<OWLClassExpression> |
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.
|
Set<OWLClassExpression> |
OWLIndividual.getTypes(Set<OWLOntology> ontologies)
A convenience method that gets the types of this individual by examining
the specified ontologies.
|
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
NormalFormRewriter.convertToNormalForm(OWLClassExpression classExpression) |
OWLClassExpression |
NegationalNormalFormConverter.convertToNormalForm(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
Set<OWLClassExpression> |
OWLObjectComplementOfExtractor.getComplementedClassExpressions(OWLClassExpression desc) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
NormalFormRewriter.convertToNormalForm(OWLClassExpression classExpression) |
OWLClassExpression |
NegationalNormalFormConverter.convertToNormalForm(OWLClassExpression classExpression) |
Set<OWLClassExpression> |
OWLObjectComplementOfExtractor.getComplementedClassExpressions(OWLClassExpression desc) |
boolean |
NormalFormRewriter.isInNormalForm(OWLClassExpression classExpression) |
boolean |
NegationalNormalFormConverter.isInNormalForm(OWLClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
OWLClassExpression |
UseOfNonSuperClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfNonSubClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfNonEquivalentClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfNonAtomicClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfIllegalClassExpression.getOWLClassExpression() |
Modifier and Type | Method and Description |
---|---|
boolean |
OWL2QLProfile.isOWL2QLSuperClassExpression(OWLClassExpression ce) |
boolean |
OWL2RLProfile.isOWL2RLEquivalentClassExpression(OWLClassExpression ce) |
boolean |
OWL2RLProfile.isOWL2RLSuperClassExpression(OWLClassExpression ce) |
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 |
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,
OWLProfile 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 |
---|---|
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) |
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 |
---|---|
OWLClassExpression |
DLSyntaxParser.And()
And.
|
OWLClassExpression |
DLSyntaxParser.NamedClassOrNestedDescription()
Named class or nested description.
|
OWLClassExpression |
DLSyntaxParser.NestedClassDescription()
Nested class description.
|
OWLClassExpression |
DLSyntaxParser.NonNaryBooleanDescription()
Non nary boolean description.
|
OWLClassExpression |
DLSyntaxParser.Or()
Or.
|
OWLClassExpression |
DLSyntaxParser.parseAllRestriction()
Parses the all restriction.
|
OWLClassExpression |
DLSyntaxParser.parseCardinalityRestriction()
Parses the cardinality restriction.
|
OWLClassExpression |
DLSyntaxParser.parseClassDescription()
Parses the class description.
|
OWLClassExpression |
DLSyntaxParser.parseDataSomeRestriction()
Parses the data some restriction.
|
OWLClassExpression |
DLSyntaxParser.parseDescription()
Parses the description.
|
OWLClassExpression |
DLSyntaxParser.parseObjectComplementOf()
Parses the object complement of.
|
OWLClassExpression |
DLSyntaxParser.parseObjectOneOf()
Parses the object one of.
|
OWLClassExpression |
DLSyntaxParser.parseRestriction()
Parses the restriction.
|
OWLClassExpression |
DLSyntaxParser.parseSomeRestriction()
Parses the some restriction.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.