| Modifier and Type | Interface and Description |
|---|---|
interface |
OWLAnonymousClassExpression
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 The super interface for all class expressions which are not named class expressions (i.e. |
interface |
OWLBooleanClassExpression
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLCardinalityRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,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 Class in the OWL 2 specification. |
interface |
OWLDataAllValuesFrom
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 |
OWLDataExactCardinality
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLDataHasValue
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLDataMaxCardinality
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLDataMinCardinality
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLDataSomeValuesFrom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a DataSomeValuesFrom restriction in the OWL 2 Specification. |
interface |
OWLHasValueRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,V extends OWLObject>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLNaryBooleanClassExpression
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 |
interface |
OWLObjectAllValuesFrom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectAllValuesFrom restriction in the OWL 2 Specification. |
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 Represents an ObjectComplementOf class expression in the OWL 2 Specification. |
interface |
OWLObjectExactCardinality
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectExactCardinality restriction in the OWL 2 Specification. |
interface |
OWLObjectHasSelf
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectHasSelf class expression in the OWL 2 Specification. |
interface |
OWLObjectHasValue
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectHasValue class expression in the OWL 2 Specification. |
interface |
OWLObjectIntersectionOf
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 Represents an ObjectIntersectionOf class expression in the OWL 2 Specification. |
interface |
OWLObjectMaxCardinality
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectMaxCardinality restriction in the OWL 2 Specification. |
interface |
OWLObjectMinCardinality
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents a ObjectMinCardinality restriction in the OWL 2 Specification. |
interface |
OWLObjectOneOf
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectOneOf class expression in the OWL 2 Specification. |
interface |
OWLObjectSomeValuesFrom
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 Represents an ObjectSomeValuesFrom class expression in the OWL 2 Specification. |
interface |
OWLObjectUnionOf
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 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>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 25-Oct-2006 |
interface |
OWLRestriction<R extends OWLPropertyRange,P extends OWLPropertyExpression<R,P>,F>
Author: Matthew Horridge
The University Of Manchester Bio-Health Informatics Group Date: 24-Oct-2006 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()
Gets the predicate of this atom
|
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 |
UseOfNonSuperClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfNonSubClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfNonEquivalentClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfNonAtomicClassExpression.getOWLClassExpression() |
OWLClassExpression |
UseOfIllegalClassExpression.getOWLClassExpression() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
OWL2QLProfile.isOWL2QLSubClassExpression(OWLClassExpression ce) |
boolean |
OWL2QLProfile.isOWL2QLSuperClassExpression(OWLClassExpression ce) |
boolean |
OWL2RLProfile.isOWL2RLEquivalentClassExpression(OWLClassExpression ce) |
protected boolean |
OWL2RLProfile.isOWL2RLSubClassExpression(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 |
|---|---|
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) |
protected void |
OWLObjectWalker.pushClassExpression(OWLClassExpression ce)
Pushes a class expression onto the class expression path
|
Copyright © 2013 The University of Manchester. All Rights Reserved.