| 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) |
void |
OWLNamedObjectVisitor.visit(OWLClass owlClass) |
O |
OWLEntityVisitorEx.visit(OWLClass cls) |
void |
OWLEntityVisitor.visit(OWLClass cls) |
O |
OWLClassExpressionVisitorEx.visit(OWLClass ce) |
void |
OWLClassExpressionVisitor.visit(OWLClass ce) |
| 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 © 2013 The University of Manchester. All Rights Reserved.