| Package | Description |
|---|---|
| org.semanticweb.owlapi.change |
Ontology change classes.
|
| org.semanticweb.owlapi.expression |
Expression parsers package.
|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.model.axiomproviders |
Axiom provider classes.
|
| org.semanticweb.owlapi.model.providers |
Provider interfaces.
|
| org.semanticweb.owlapi.profiles.violations |
Violation classes.
|
| org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
| org.semanticweb.owlapi.search |
Search utilities package.
|
| org.semanticweb.owlapi.util |
Utilities package.
|
| org.semanticweb.owlapi.vocab |
Vocabulary package.
|
| org.semanticweb.owlapitools.builders |
Builders package.
|
| Constructor and Description |
|---|
AddClassExpressionClosureAxiom(OWLDataFactory dataFactory,
OWLClass cls,
OWLObjectPropertyExpression property,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Creates a composite change that will add a closure axiom for a given
class along a specified property.
|
ConvertEquivalentClassesToSuperClasses(OWLDataFactory dataFactory,
OWLClass cls,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology,
boolean splitIntersections)
Instantiates a new convert equivalent classes to super classes.
|
ConvertSuperClassesToEquivalentClass(OWLDataFactory dataFactory,
OWLClass cls,
Collection<OWLOntology> ontologies,
OWLOntology targetOntology)
Instantiates a new convert super classes to equivalent class.
|
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
Collection<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition.
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
OWLOntology targetOntology)
Instantiates a new make primitive sub classes mutually disjoint.
|
MakePrimitiveSubClassesMutuallyDisjoint(OWLDataFactory dataFactory,
OWLClass cls,
OWLOntology targetOntology,
boolean usePairwiseDisjointAxioms)
Instantiates a new make primitive sub classes mutually disjoint.
|
| Constructor and Description |
|---|
CreateValuePartition(OWLDataFactory dataFactory,
OWLClass valuePartitionClass,
Collection<OWLClass> valuePartionClasses,
OWLObjectProperty valuePartitionProperty,
OWLOntology targetOntology)
Creates a composite change that will create a value partition.
|
| Modifier and Type | Method and Description |
|---|---|
OWLClass |
OWLEntityChecker.getOWLClass(String name) |
OWLClass |
ShortFormEntityChecker.getOWLClass(String name) |
| Modifier and Type | Field and Description |
|---|---|
static EntityType<OWLClass> |
EntityType.CLASS
Class entity.
|
| Modifier and Type | Method and Description |
|---|---|
default OWLClass |
AsOWLClass.asOWLClass()
A convenience method that obtains this entity as an OWLClass (in order to
avoid explicit casting).
|
OWLClass |
OWLDisjointUnionAxiom.getOWLClass()
Gets the class which is equivalent to the disjoint union.
|
| Modifier and Type | Method and Description |
|---|---|
default Stream<OWLClass> |
HasClassesInSignature.classesInSignature() |
default Stream<OWLClass> |
OWLSignature.classesInSignature(Imports imports)
Gets the classes in the signature and optionally the imports closure.
|
default Set<OWLClass> |
HasClassesInSignature.getClassesInSignature()
Deprecated.
use the stream method
|
default Set<OWLClass> |
OWLSignatureBooleanArgs.getClassesInSignature(boolean includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLClass> |
OWLSignature.getClassesInSignature(Imports imports)
Deprecated.
use the stream method
|
default Set<OWLClass> |
OWLEquivalentClassesAxiom.getNamedClasses()
Deprecated.
use the stream method
|
Stream<OWLClass> |
OWLEquivalentClassesAxiom.namedClasses()
Gets the named classes (excluding owl:Thing and owl:Nothing) that are in
this equivalent classes axiom.
|
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLClassAxiom> |
OWLAxiomCollection.axioms(OWLClass cls)
Gets the axioms that form the definition/description of a class.
|
default Stream<OWLClassAxiom> |
OWLAxiomCollection.axioms(OWLClass cls,
Imports imports)
Gets the axioms that form the definition/description of a class.
|
default Stream<OWLDisjointClassesAxiom> |
OWLAxiomIndex.disjointClassesAxioms(OWLClass cls)
Gets the set of disjoint class axioms that contain the specified class as
an operand.
|
default Stream<OWLDisjointUnionAxiom> |
OWLAxiomIndex.disjointUnionAxioms(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.
|
default Stream<OWLEquivalentClassesAxiom> |
OWLAxiomIndex.equivalentClassesAxioms(OWLClass cls)
Gets all of the equivalent axioms in this ontology that contain the
specified class as an operand.
|
default Set<OWLClassAxiom> |
OWLAxiomCollection.getAxioms(OWLClass cls)
Deprecated.
use the stream method
|
default Set<OWLClassAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(OWLClass cls,
boolean includeImportsClosure)
Deprecated.
use getAxioms(entity, Imports) instead
|
default Set<OWLClassAxiom> |
OWLAxiomCollection.getAxioms(OWLClass cls,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLDisjointClassesAxiom> |
OWLAxiomIndex.getDisjointClassesAxioms(OWLClass cls)
Deprecated.
use the stream method
|
default Set<OWLDisjointUnionAxiom> |
OWLAxiomIndex.getDisjointUnionAxioms(OWLClass owlClass)
Deprecated.
use the stream method
|
default Set<OWLEquivalentClassesAxiom> |
OWLAxiomIndex.getEquivalentClassesAxioms(OWLClass cls)
Deprecated.
use the stream method
|
default Set<OWLHasKeyAxiom> |
OWLAxiomIndex.getHasKeyAxioms(OWLClass cls)
Deprecated.
use the stream method
|
default Set<OWLSubClassOfAxiom> |
OWLAxiomIndex.getSubClassAxiomsForSubClass(OWLClass cls)
Deprecated.
use the stream method
|
default Set<OWLSubClassOfAxiom> |
OWLAxiomIndex.getSubClassAxiomsForSuperClass(OWLClass cls)
Deprecated.
use the stream method
|
default Stream<OWLHasKeyAxiom> |
OWLAxiomIndex.hasKeyAxioms(OWLClass cls)
Gets the has key axioms that have the specified class as their subject.
|
default Stream<OWLSubClassOfAxiom> |
OWLAxiomIndex.subClassAxiomsForSubClass(OWLClass cls)
Gets all of the subclass axioms where the left hand side (the subclass)
is equal to the specified class.
|
default Stream<OWLSubClassOfAxiom> |
OWLAxiomIndex.subClassAxiomsForSuperClass(OWLClass cls)
Gets all of the subclass axioms where the right hand side (the
superclass) is equal to the specified class.
|
default O |
OWLClassVisitorExBase.visit(OWLClass ce)
visit OWLClass type
|
default void |
OWLClassVisitorBase.visit(OWLClass ce)
visit OWLClass type
|
| Modifier and Type | Method and Description |
|---|---|
default OWLDisjointUnionAxiom |
DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass,
Collection<? extends OWLClassExpression> classExpressions) |
default OWLDisjointUnionAxiom |
DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass,
Collection<? extends OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
default OWLDisjointUnionAxiom |
DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass,
Stream<? extends OWLClassExpression> classExpressions) |
OWLDisjointUnionAxiom |
DisjointUnionAxiomProvider.getOWLDisjointUnionAxiom(OWLClass owlClass,
Stream<? extends OWLClassExpression> classExpressions,
Collection<OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
default OWLClass |
ClassProvider.getOWLClass(HasIRI iri)
Gets an instance of
OWLClass with the same IRI as the input. |
OWLClass |
ClassProvider.getOWLClass(IRI iri)
Gets an instance of
OWLClass that has the specified IRI. |
default OWLClass |
ClassProvider.getOWLClass(String iri)
Gets an instance of
OWLClass that has the specified IRI. |
default OWLClass |
ClassProvider.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.
|
default OWLClass |
ClassProvider.getOWLClass(String namespace,
String remainder)
Gets an instance of
OWLClass that has an IRI composed of the
provided namespace and remainder. |
OWLClass |
OWLVocabularyProvider.getOWLNothing()
Gets the built in owl:Nothing class, which has a URI of
<http://www.w3.org/2002/07/owl#Nothing>
|
OWLClass |
OWLVocabularyProvider.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 |
|---|---|
OWLClass |
UseOfUndeclaredClass.getExpression() |
OWLClass |
UseOfReservedVocabularyForClassIRI.getExpression() |
| Constructor and Description |
|---|
UseOfReservedVocabularyForClassIRI(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
UseOfUndeclaredClass(OWLOntology ontology,
OWLAxiom axiom,
OWLClass cls) |
| Modifier and Type | Method and Description |
|---|---|
default Stream<OWLClass> |
OWLReasoner.bottomClassNode()
Gets the
Node corresponding to the bottom node (containing owl:Nothing) in
the class hierarchy. |
default Stream<OWLClass> |
OWLReasoner.dataPropertyDomains(OWLDataProperty pe) |
default Stream<OWLClass> |
OWLReasoner.dataPropertyDomains(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.
|
default Stream<OWLClass> |
OWLReasoner.dataPropertyDomains(OWLDataProperty pe,
InferenceDepth depth) |
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.
|
Node<OWLClass> |
OWLReasoner.getBottomClassNode()
Gets the
Node corresponding to the bottom node (containing owl:Nothing) in
the class hierarchy. |
default NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getDataPropertyDomains(OWLDataProperty pe,
InferenceDepth depth) |
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<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyDomains(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe) |
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.
|
default NodeSet<OWLClass> |
OWLReasoner.getObjectPropertyRanges(OWLObjectPropertyExpression pe,
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) |
Node<OWLClass> |
OWLReasoner.getTopClassNode()
Gets the
Node corresponding to the top node (containing owl:Thing) in the
class hierarchy. |
default NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind) |
NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the specified named
individual.
|
default NodeSet<OWLClass> |
OWLReasoner.getTypes(OWLNamedIndividual ind,
InferenceDepth depth) |
Node<OWLClass> |
OWLReasoner.getUnsatisfiableClasses()
A convenience method that obtains the classes in the signature of the root ontology that are
unsatisfiable.
|
default Stream<OWLClass> |
OWLReasoner.objectPropertyDomains(OWLObjectPropertyExpression pe) |
default Stream<OWLClass> |
OWLReasoner.objectPropertyDomains(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.
|
default Stream<OWLClass> |
OWLReasoner.objectPropertyDomains(OWLObjectPropertyExpression pe,
InferenceDepth depth) |
default Stream<OWLClass> |
OWLReasoner.objectPropertyRanges(OWLObjectPropertyExpression pe) |
default Stream<OWLClass> |
OWLReasoner.objectPropertyRanges(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.
|
default Stream<OWLClass> |
OWLReasoner.objectPropertyRanges(OWLObjectPropertyExpression pe,
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) |
default Stream<OWLClass> |
OWLReasoner.topClassNode()
Gets the
Node corresponding to the top node (containing owl:Thing) in the
class hierarchy. |
default Stream<OWLClass> |
OWLReasoner.types(OWLNamedIndividual ind) |
default Stream<OWLClass> |
OWLReasoner.types(OWLNamedIndividual ind,
boolean direct)
Gets the named classes which are (potentially direct) types of the specified named
individual.
|
default Stream<OWLClass> |
OWLReasoner.types(OWLNamedIndividual ind,
InferenceDepth depth) |
default Stream<OWLClass> |
OWLReasoner.unsatisfiableClasses()
A convenience method that obtains the classes in the signature of the root ontology that are
unsatisfiable.
|
| 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 this class 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 this class by axioms in the
specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
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.
|
static Stream<OWLClassExpression> |
EntitySearcher.getEquivalentClasses(OWLClass e,
Stream<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.
|
static Stream<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
OWLOntology ontology)
Gets the individuals that have been asserted to be an instance of this class by axioms in the
specified ontology.
|
static Stream<OWLIndividual> |
EntitySearcher.getIndividuals(OWLClass e,
Stream<OWLOntology> ontologies)
Gets the individuals that have been asserted to be an instance of this class by axioms in the
speficied ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSubClasses(OWLClass e,
OWLOntology ontology)
Gets the classes which have been asserted to be subclasses of this class 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 this class in the
specified ontologies.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
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.
|
static Stream<OWLClassExpression> |
EntitySearcher.getSuperClasses(OWLClass e,
Stream<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.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
OWLOntology o)
Checks if c is defined (is included in equivalent axioms) in o.
|
static boolean |
EntitySearcher.isDefined(OWLClass c,
Stream<OWLOntology> ontologies)
Checks if c is defined (is included in equivalent axioms) in a collection of ontologies.
|
| Modifier and Type | Method and Description |
|---|---|
OWLClass |
OWLObjectDuplicator.visit(OWLClass ce) |
OWLClass |
OWLObjectDesharer.visit(OWLClass ce) |
| Modifier and Type | Method and Description |
|---|---|
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 |
|---|---|
boolean |
NamedConjunctChecker.isNamedConjunct(OWLClass conj,
OWLClassExpression classExpression) |
boolean |
RootClassChecker.isRootClass(OWLClass cls)
Determines if the specified class is a direct syntactic subclass of
owl:Thing.
|
boolean |
SimpleRootClassChecker.isRootClass(OWLClass cls) |
void |
OWLAnnotationPropertyTransformer.visit(OWLClass ce) |
O |
DelegatingObjectVisitorEx.visit(OWLClass ce) |
void |
SimpleRenderer.visit(OWLClass ce) |
OWLClass |
OWLObjectDuplicator.visit(OWLClass ce) |
OWLClass |
OWLObjectDesharer.visit(OWLClass ce) |
String |
OWLEntityFragmentProvider.visit(OWLClass cls) |
Collection<OWLEntity> |
OWLEntityCollector.visit(OWLClass ce) |
Collection<OWLClassExpression> |
OWLClassExpressionCollector.visit(OWLClass ce) |
void |
OWLEntityComparator.visit(OWLClass cls) |
void |
StructureWalker.visit(OWLClass ce) |
void |
OWLEntityRemover.visit(OWLClass cls) |
| Modifier and Type | Method and Description |
|---|---|
static Set<OWLClass> |
SKOSVocabulary.getClasses(OWLDataFactory dataFactory) |
| Modifier and Type | Method and Description |
|---|---|
OWLClass |
BuilderClass.buildObject() |
OWLClass |
BuilderDisjointUnion.getClassExpression() |
| Modifier and Type | Method and Description |
|---|---|
BuilderDisjointUnion |
BuilderDisjointUnion.withClass(OWLClass arg) |
| Constructor and Description |
|---|
BuilderClass(OWLClass expected,
OWLDataFactory df)
Builder initialized from an existing object.
|
Copyright © 2018 The University of Manchester. All rights reserved.