| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.model.parameters |
Parameter classes.
|
| org.semanticweb.owlapi.search |
Search utilities package.
|
| Modifier and Type | Method and Description |
|---|---|
Stream<OWLAxiom> |
OWLOntology.aboxAxioms(Imports includeImportsClosure)
Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the
AxiomType::ABoxAxiomTypes.
|
default Stream<OWLAnnotationAssertionAxiom> |
OWLAxiomIndex.annotationAssertionAxioms(OWLAnnotationSubject entity,
Imports imports)
Gets the axioms that annotate the specified entity.
|
default Stream<OWLAnnotationProperty> |
OWLSignature.annotationPropertiesInSignature(Imports imports)
Gets the annotation properties in the signature and optionally the imports closure.
|
default <T extends OWLAxiom> |
OWLAxiomCollection.axioms(AxiomType<T> axiomType,
Imports imports)
Gets all axioms of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.axioms(Class<T> type,
OWLObject entity,
Imports imports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
default Stream<OWLAxiom> |
OWLAxiomCollection.axioms(Imports imports) |
default Stream<OWLAnnotationAxiom> |
OWLAxiomCollection.axioms(OWLAnnotationProperty property,
Imports imports)
Gets the axioms that form the definition/description of an annotation
property.
|
<T extends OWLAxiom> |
OWLAxiomIndex.axioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
default Stream<OWLClassAxiom> |
OWLAxiomCollection.axioms(OWLClass cls,
Imports imports)
Gets the axioms that form the definition/description of a class.
|
default Stream<OWLDataPropertyAxiom> |
OWLAxiomCollection.axioms(OWLDataProperty property,
Imports imports)
Gets the axioms that form the definition/description of a data property.
|
default Stream<OWLDatatypeDefinitionAxiom> |
OWLAxiomCollection.axioms(OWLDatatype datatype,
Imports imports)
Gets the datatype definition axioms for the specified datatype.
|
default Stream<OWLIndividualAxiom> |
OWLAxiomCollection.axioms(OWLIndividual individual,
Imports imports)
Gets the axioms that form the definition/description of an individual.
|
default Stream<OWLObjectPropertyAxiom> |
OWLAxiomCollection.axioms(OWLObjectPropertyExpression property,
Imports imports)
Gets the axioms that form the definition/description of an object
property.
|
Stream<OWLAxiom> |
OWLAxiomCollection.axiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure)
Gets the set of axioms contained in this collection that have the same
"logical structure" as the specified axiom; i.e., all axioms that equal
the specified axiom, when ignoring annotations.
|
default Stream<OWLClass> |
OWLSignature.classesInSignature(Imports imports)
Gets the classes in the signature and optionally the imports closure.
|
boolean |
OWLAxiomIndex.contains(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic containment check type for further refining search by axiom type.
|
boolean |
OWLSignature.containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI,
Imports includeImportsClosure)
Determines if the signature contains an OWLAnnotationProperty that has the specified IRI.
|
boolean |
OWLAxiomCollection.containsAxiom(OWLAxiom axiom,
Imports includeImportsClosure,
AxiomAnnotations ignoreAnnotations)
Determines if this ontology contains the specified axiom, optionally
including the imports closure.
|
boolean |
OWLSignature.containsClassInSignature(IRI owlClassIRI,
Imports includeImportsClosure)
Determines if the signature contains an OWLClass that has the specified IRI.
|
boolean |
OWLSignature.containsDataPropertyInSignature(IRI owlDataPropertyIRI,
Imports includeImportsClosure)
Determines if the signature contains an OWLDataProperty that has the specified IRI.
|
boolean |
OWLSignature.containsDatatypeInSignature(IRI owlDatatypeIRI,
Imports includeImportsClosure)
Determines if the signature contains an OWLDatatype that has the specified IRI.
|
default boolean |
OWLSignature.containsEntitiesOfTypeInSignature(EntityType<?> type,
Imports includeImportsClosure)
Determine whether the instance has entities of the specified type in its signature or in its
import closure - e.g., whether an ontology has classes, object propertyies, or named
individuals in its signature.
|
default boolean |
OWLSignature.containsEntityInSignature(IRI entityIRI,
Imports imports)
Determines if the signature contains an entity with the specified IRI.
|
default boolean |
OWLSignature.containsEntityInSignature(OWLEntity owlEntity,
Imports imports)
Determines if the signature contains the specified entity.
|
boolean |
OWLSignature.containsIndividualInSignature(IRI owlIndividualIRI,
Imports includeImportsClosure)
Determines if the signature contains an OWLNamedIndividual that has the specified IRI.
|
boolean |
OWLSignature.containsObjectPropertyInSignature(IRI owlObjectPropertyIRI,
Imports includeImportsClosure)
Determines if the signature contains an OWLObjectProperty that has the specified IRI.
|
default boolean |
OWLSignature.containsReference(OWLEntity entity,
Imports imports) |
default Stream<OWLDataProperty> |
OWLSignature.dataPropertiesInSignature(Imports imports)
Gets the data properties in the signature and optionally the imports closure.
|
default Stream<OWLDatatype> |
OWLSignature.datatypesInSignature(Imports imports)
Gets the datatypes in the signature and optionally the imports closure.
|
default Stream<OWLEntity> |
OWLSignature.entitiesInSignature(IRI iri,
Imports imports)
Gets the entities in the signature that have the specified IRI.
|
default <T extends OWLAxiom> |
OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLAxiom> |
OWLOntology.getABoxAxioms(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLAnnotationAssertionAxiom> |
OWLAxiomIndex.getAnnotationAssertionAxioms(OWLAnnotationSubject entity,
Imports imports)
Deprecated.
use the stream method
|
default Set<OWLAnnotationProperty> |
OWLSignature.getAnnotationPropertiesInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
<T extends OWLAxiom> |
OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets the axiom count of a specific type of axiom, optionally including
the imports closure.
|
int |
OWLAxiomCollection.getAxiomCount(Imports includeImportsClosure) |
default <T extends OWLAxiom> |
OWLAxiomCollection.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Deprecated.
use the stream method
|
default <T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Deprecated.
use the stream method
|
default Set<OWLAxiom> |
OWLAxiomCollection.getAxioms(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLAnnotationAxiom> |
OWLAxiomCollection.getAxioms(OWLAnnotationProperty property,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLClassAxiom> |
OWLAxiomCollection.getAxioms(OWLClass cls,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLDataPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLDatatypeDefinitionAxiom> |
OWLAxiomCollection.getAxioms(OWLDatatype datatype,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLObjectPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLAxiom> |
OWLAxiomCollection.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLClass> |
OWLSignature.getClassesInSignature(Imports imports)
Deprecated.
use the stream method
|
default Set<OWLDataProperty> |
OWLSignature.getDataPropertiesInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLDatatype> |
OWLSignature.getDatatypesInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLEntity> |
OWLSignature.getEntitiesInSignature(IRI iri,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLNamedIndividual> |
OWLSignature.getIndividualsInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
int |
OWLAxiomCollection.getLogicalAxiomCount(Imports includeImportsClosure)
Gets the number of logical axioms in this collection, optionally
including the imports closure.
|
default Set<OWLLogicalAxiom> |
OWLAxiomCollection.getLogicalAxioms(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLObjectProperty> |
OWLSignature.getObjectPropertiesInSignature(Imports includeImportsClosure)
Deprecated.
use the stream method
|
Set<IRI> |
OWLSignature.getPunnedIRIs(Imports includeImportsClosure)
Calculates the set of IRIs that are used for more than one entity type.
|
default Set<OWLAxiom> |
OWLOntology.getRBoxAxioms(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLAnonymousIndividual> |
OWLSignature.getReferencedAnonymousIndividuals(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLAxiom> |
OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity,
Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Set<OWLEntity> |
OWLOntology.getSignature(Imports imports)
Deprecated.
use the stream method
|
default Set<OWLAxiom> |
OWLOntology.getTBoxAxioms(Imports includeImportsClosure)
Deprecated.
use the stream method
|
default Stream<OWLNamedIndividual> |
OWLSignature.individualsInSignature(Imports imports)
Gets the named individuals in the signature and optionally the imports closure.
|
default boolean |
OWLOntology.isDeclared(OWLEntity owlEntity,
Imports imports)
Determines if this ontology or its imports closure declares an entity i.e.
|
default Stream<OWLLogicalAxiom> |
OWLAxiomCollection.logicalAxioms(Imports imports)
Gets all axioms semantically relevant, i.e., all axioms that are not
annotation axioms or declaration axioms.
|
default Stream<OWLObjectProperty> |
OWLSignature.objectPropertiesInSignature(Imports imports)
Gets the object properties in the signature and optionally the imports closure.
|
Stream<OWLAxiom> |
OWLOntology.rboxAxioms(Imports includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the
AxiomType::RBoxAxiomTypes.
|
default Stream<OWLAnonymousIndividual> |
OWLSignature.referencedAnonymousIndividuals(Imports imports)
Gets the referenced anonymous individuals in the signature and optionally the imports
closure.
|
default Stream<OWLAxiom> |
OWLAxiomCollection.referencingAxioms(OWLPrimitive owlEntity,
Imports imports)
Gets the axioms where the specified
OWLPrimitive appears in the
signature of the axiom.Note that currently signatures contain OWLEntity only. |
default Stream<OWLEntity> |
OWLOntology.signature(Imports imports)
Gets the entities that are in the signature of this ontology.
|
Stream<OWLAxiom> |
OWLOntology.tboxAxioms(Imports includeImportsClosure)
Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the
AxiomType::TBoxAxiomTypes.
|
| Modifier and Type | Method and Description |
|---|---|
static Imports |
Imports.fromBoolean(boolean b)
Transform a boolean arg in an Imports arg.
|
static Imports |
Imports.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Imports[] |
Imports.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
static Stream<OWLAxiom> |
EntitySearcher.axiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
OWLOntology o,
Imports imports)
Checks if o contains axiom a, with or without imports closure.
|
static boolean |
EntitySearcher.containsAxiom(OWLAxiom a,
Stream<OWLOntology> ontologies,
Imports imports)
Checks if any of the ontologies contains axiom a, with or without imports closure.
|
static Collection<OWLAxiom> |
EntitySearcher.getAxiomsIgnoreAnnotations(OWLAxiom a,
OWLOntology o,
Imports imports)
Get matching axioms for a, ignoring annotations.
|
static Stream<OWLAxiom> |
EntitySearcher.getReferencingAxioms(OWLEntity e,
OWLOntology ontology,
Imports includeImports)
Gets the axioms in the specified ontology and possibly its imports closure that contain this
entity in their signature.
|
Copyright © 2018 The University of Manchester. All rights reserved.