| Package | Description |
|---|---|
| org.semanticweb.owlapi.model | |
| org.semanticweb.owlapi.profiles | |
| org.semanticweb.owlapi.reasoner | |
| org.semanticweb.owlapi.util | |
| org.semanticweb.owlapi.vocab |
| Modifier and Type | Field and Description |
|---|---|
static EntityType<OWLClass> |
EntityType.CLASS
class entity
|
| Modifier and Type | Method and Description |
|---|---|
OWLClass |
OWLEntity.asOWLClass()
A convenience method that obtains this entity as an OWLClass (in order to
avoid explicit casting).
|
OWLClass |
OWLClassExpression.asOWLClass()
If this class expression is in fact a named class then this method may be
used to obtain the expression as an
OWLClass without the need for
casting. |
OWLClass |
OWLDisjointUnionAxiom.getOWLClass()
Gets the class which is equivalent to the disjoint union.
|
OWLClass |
OWLDataFactory.getOWLClass(IRI iri)
Gets an OWL class that has the specified IRI
|
OWLClass |
OWLDataFactory.getOWLClass(String abbreviatedIRI,
PrefixManager prefixManager)
Gets an OWLClass that has an IRI that is obtained by expanding an
abbreviated name using an appropriate prefix mapping.
|
OWLClass |
OWLDataFactory.getOWLNothing()
Gets the built in owl:Nothing class, which has a URI of
<http://www.w3.org/2002/07/owl#Nothing>
|
OWLClass |
OWLDataFactory.getOWLThing()
Gets the built in owl:Thing class, which has a URI of
<http://www.w3.org/2002/07/owl#Thing>
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLClass> |
OWLOntology.getClassesInSignature()
Gets the classes that are in the signature of this ontology.
|
Set<OWLClass> |
OWLObject.getClassesInSignature()
A convenience method that obtains the classes that are in the signature
of this object
|
Set<OWLClass> |
IRI.getClassesInSignature() |
Set<OWLClass> |
OWLOntology.getClassesInSignature(boolean includeImportsClosure)
Gets the classes that are in the signature of this ontology, and possibly
the imports closure of this ontology.
|
Set<OWLClass> |
OWLEquivalentClassesAxiom.getNamedClasses()
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in
this equivalent classes axiom.
|
| Modifier and Type | Method and Description |
|---|---|
Set<OWLClassAxiom> |
OWLOntology.getAxioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDisjointClassesAxiom> |
OWLOntology.getDisjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
Set<OWLDisjointUnionAxiom> |
OWLOntology.getDisjointUnionAxioms(OWLClass owlClass)
Gets the set of disjoint union axioms that have the specified class as
the named class that is equivalent to the disjoint union of operands.
|
Set<OWLEquivalentClassesAxiom> |
OWLOntology.getEquivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
Set<OWLHasKeyAxiom> |
OWLOntology.getHasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
OWLDisjointUnionAxiom |
OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions) |
OWLDisjointUnionAxiom |
OWLDataFactory.getOWLDisjointUnionAxiom(OWLClass owlClass,
Set<? extends OWLClassExpression> classExpressions,
Set<? extends OWLAnnotation> annotations) |
Set<OWLSubClassOfAxiom> |
OWLOntology.getSubClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
Set<OWLSubClassOfAxiom> |
OWLOntology.getSubClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
O |
OWLNamedObjectVisitorEx.visit(OWLClass owlClass)
visit OWLClass type
|
void |
OWLNamedObjectVisitor.visit(OWLClass owlClass)
visit OWLClass type
|
O |
OWLEntityVisitorEx.visit(OWLClass cls)
visit OWLClass type
|
void |
OWLEntityVisitor.visit(OWLClass cls)
visit OWLClass type
|
O |
OWLClassExpressionVisitorEx.visit(OWLClass ce)
visit OWLClass type
|
void |
OWLClassExpressionVisitor.visit(OWLClass ce)
visit OWLClass type
|
| Modifier and Type | Method and Description |
|---|---|
OWLClass |
UseOfUndeclaredClass.getOWLClass() |
OWLClass |
UseOfReservedVocabularyForClassIRI.getOWLClass() |
| Constructor and Description |
|---|
UseOfReservedVocabularyForClassIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
UseOfUndeclaredClass(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
| Modifier and Type | Method and Description |
|---|---|
Node<OWLClass> |
OWLReasoner.getBottomClassNode()
Gets the
Node corresponding to the bottom node (containing
owl:Nothing) in the class hierarchy. |
NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
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<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect domains of this
property with respect to the imports closure of the root ontology.
|
NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
boolean direct)
Gets the named classes that are the direct or indirect ranges of this
property with respect to the imports closure of the root ontology.
|
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.
|
Node<OWLClass> |
OWLReasoner.getTopClassNode()
Gets the
Node corresponding to the top node (containing
owl:Thing) in the class hierarchy. |
NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the
specified named individual.
|
Node<OWLClass> |
OWLReasoner.getUnsatisfiableClasses()
A convenience method that obtains the classes in the signature of the
root ontology that are unsatisfiable.
|
| Modifier and Type | Field and Description |
|---|---|
protected Set<OWLClass> |
OWLClassLiteralCollector.neg |
protected Set<OWLClass> |
OWLClassLiteralCollector.pos |
| Modifier and Type | Method and Description |
|---|---|
protected OWLClass |
StructuralTransformation.createNewName() |
| Modifier and Type | Method and Description |
|---|---|
protected Set<OWLClass> |
InferredClassAxiomGenerator.getEntities(OWLOntology ont) |
Set<OWLClass> |
NamedConjunctChecker.getNamedConjuncts(OWLClassExpression classExpression)
Gets the named conjuncts for the specified expression.
|
Set<OWLClass> |
OWLClassLiteralCollector.getNegativeLiterals() |
Set<OWLClass> |
OWLClassLiteralCollector.getPositiveLiterals() |
| Modifier and Type | Method and Description |
|---|---|
protected void |
InferredDisjointClassesAxiomGenerator.addAxioms(OWLClass entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLDisjointClassesAxiom> result) |
protected void |
InferredEquivalentClassAxiomGenerator.addAxioms(OWLClass entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLEquivalentClassesAxiom> result) |
protected void |
InferredSubClassAxiomGenerator.addAxioms(OWLClass entity,
OWLReasoner reasoner,
OWLDataFactory dataFactory,
Set<OWLSubClassOfAxiom> result) |
boolean |
NamedConjunctChecker.isNamedConjunct(OWLClass conj,
OWLClassExpression classExpression) |
boolean |
SimpleRootClassChecker.isRootClass(OWLClass cls) |
boolean |
RootClassChecker.isRootClass(OWLClass cls)
Determines if the specified class is a direct syntactic subclass of
owl:Thing.
|
void |
SimpleRenderer.visit(OWLClass desc) |
O |
OWLObjectVisitorExAdapter.visit(OWLClass desc) |
void |
OWLObjectVisitorAdapter.visit(OWLClass desc) |
void |
OWLObjectTypeIndexProvider.visit(OWLClass desc) |
void |
OWLObjectDuplicator.visit(OWLClass desc) |
void |
OWLObjectComponentCollector.visit(OWLClass cls) |
O |
OWLEntityVisitorExAdapter.visit(OWLClass desc) |
void |
OWLEntityVisitorAdapter.visit(OWLClass desc) |
void |
OWLEntityRemover.visit(OWLClass cls) |
void |
OWLEntityComparator.visit(OWLClass cls) |
void |
OWLEntityCollector.visit(OWLClass desc) |
O |
OWLClassExpressionVisitorExAdapter.visit(OWLClass ce) |
void |
OWLClassExpressionVisitorAdapter.visit(OWLClass desc) |
Set<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLClass ce) |
OWLClassExpression |
NNF.visit(OWLClass desc) |
Integer |
MaximumModalDepthFinder.visit(OWLClass ce) |
void |
HashCode.visit(OWLClass desc) |
void |
DLExpressivityChecker.visit(OWLClass desc) |
O |
DelegatingObjectVisitorEx.visit(OWLClass desc) |
| Modifier and Type | Method and Description |
|---|---|
static Set<OWLClass> |
SKOSVocabulary.getClasses(OWLDataFactory dataFactory) |
Copyright © 2014 The University of Manchester. All Rights Reserved.