Package | Description |
---|---|
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.model.parameters | |
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
uk.ac.manchester.cs.owl.owlapi.concurrent |
Modifier and Type | Method and Description |
---|---|
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.
|
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 |
OWLOntology.containsEntitiesOfTypeInSignature(EntityType<?> type,
Imports includeImportsClosure) |
boolean |
OWLSignature.containsEntityInSignature(IRI entityIRI,
Imports includeImportsClosure)
Determines if the signature contains an entity with the specified IRI.
|
boolean |
OWLSignature.containsEntityInSignature(OWLEntity owlEntity,
Imports includeImportsClosure)
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.
|
boolean |
OWLSignature.containsReference(OWLEntity entity,
Imports includeImportsClosure)
Deprecated.
|
<T extends OWLAxiom> |
OWLAxiomIndex.filterAxioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure)
Generic filter type for further refining search by axiom type.
|
Set<OWLAxiom> |
OWLOntology.getABoxAxioms(Imports includeImportsClosure)
Gets the axioms that form the ABox for this ontology, i.e., the ones whose type is in the
AxiomType::ABoxAxiomTypes.
|
Set<OWLAnnotationProperty> |
OWLSignature.getAnnotationPropertiesInSignature(Imports includeImportsClosure)
Gets the annotation properties in the signature and optionally the imports closure.
|
<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) |
<T extends OWLAxiom> |
OWLAxiomCollection.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets all axioms of the specified type.
|
<T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: resutns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
<T extends OWLAxiom> |
OWLAxiomIndex.getAxioms(Class<T> type,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition)
Generic search method: returns all axioms which refer entity, are
instances of type, optionally including the imports closure in the
results.
|
Set<OWLAxiom> |
OWLAxiomCollection.getAxioms(Imports includeImportsClosure) |
Set<OWLAnnotationAxiom> |
OWLAxiomCollection.getAxioms(OWLAnnotationProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an annotation property.
|
Set<OWLClassAxiom> |
OWLAxiomCollection.getAxioms(OWLClass cls,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a class.
|
Set<OWLDataPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLDataProperty property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of a data property.
|
Set<OWLDatatypeDefinitionAxiom> |
OWLAxiomCollection.getAxioms(OWLDatatype datatype,
Imports includeImportsClosure)
Gets the datatype definition axioms for the specified datatype.
|
Set<OWLIndividualAxiom> |
OWLAxiomCollection.getAxioms(OWLIndividual individual,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an individual.
|
Set<OWLObjectPropertyAxiom> |
OWLAxiomCollection.getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure)
Gets the axioms that form the definition/description of an object property.
|
Set<OWLAxiom> |
OWLAxiomCollection.getAxiomsIgnoreAnnotations(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.
|
Set<OWLClass> |
OWLSignature.getClassesInSignature(Imports includeImportsClosure)
Gets the classes in the signature and optionally the imports closure.
|
Set<OWLDataProperty> |
OWLSignature.getDataPropertiesInSignature(Imports includeImportsClosure)
Gets the data properties in the signature and optionally the imports closure.
|
Set<OWLDatatype> |
OWLSignature.getDatatypesInSignature(Imports includeImportsClosure)
Gets the datatypes in the signature and optionally the imports closure.
|
Set<OWLEntity> |
OWLSignature.getEntitiesInSignature(IRI iri,
Imports includeImportsClosure)
Gets the entities in the signature that have the specified IRI.
|
Set<OWLNamedIndividual> |
OWLSignature.getIndividualsInSignature(Imports includeImportsClosure)
Gets the named individuals in the signature and optionally the imports closure.
|
int |
OWLAxiomCollection.getLogicalAxiomCount(Imports includeImportsClosure)
Gets the number of logical axioms in this collection, optionally including the imports
closure.
|
Set<OWLLogicalAxiom> |
OWLAxiomCollection.getLogicalAxioms(Imports includeImportsClosure)
Gets all axioms semantically relevant, i.e., all axioms that are not annotation axioms or
declaration axioms.
|
Set<OWLObjectProperty> |
OWLSignature.getObjectPropertiesInSignature(Imports includeImportsClosure)
Gets the object properties in the signature and optionally the imports closure.
|
Set<IRI> |
OWLSignature.getPunnedIRIs(Imports includeImportsClosure)
Calculates the set of IRIs that are used for more than one entity type.
|
Set<OWLAxiom> |
OWLOntology.getRBoxAxioms(Imports includeImportsClosure)
Gets the axioms that form the RBox for this ontology, i.e., the ones whose type is in the
AxiomType::RBoxAxiomTypes.
|
Set<OWLAnonymousIndividual> |
OWLSignature.getReferencedAnonymousIndividuals(Imports includeImportsClosure)
Gets the referenced anonymous individuals in the signature and optionally the imports
closure.
|
Set<OWLAxiom> |
OWLAxiomCollection.getReferencingAxioms(OWLPrimitive owlEntity,
Imports includeImportsClosure)
Gets the axioms where the specified
OWLPrimitive appears in the signature of the
axiom.Note that currently signatures contain OWLEntity only. |
Set<OWLEntity> |
OWLOntology.getSignature(Imports includeImportsClosure)
Gets the entities that are in the signature of this ontology.
|
Set<OWLAxiom> |
OWLOntology.getTBoxAxioms(Imports includeImportsClosure)
Gets the axioms that form the TBox for this ontology, i.e., the ones whose type is in the
AxiomType::TBoxAxiomTypes.
|
boolean |
OWLOntology.isDeclared(OWLEntity owlEntity,
Imports includeImportsClosure)
Determines if this ontology or its imports closure declares an entity i.e.
|
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 |
---|---|
boolean |
OWLImmutableOntologyImpl.contains(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsAnnotationPropertyInSignature(IRI owlAnnotationPropertyIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsAxiom(OWLAxiom axiom,
Imports includeImportsClosure,
AxiomAnnotations ignoreAnnotations) |
boolean |
OWLImmutableOntologyImpl.containsClassInSignature(IRI owlClassIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsDataPropertyInSignature(IRI owlDataPropertyIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsDatatypeInSignature(IRI owlDatatypeIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsEntityInSignature(IRI entityIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsEntityInSignature(OWLEntity owlEntity,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsIndividualInSignature(IRI owlIndividualIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsObjectPropertyInSignature(IRI owlObjectPropertyIRI,
Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.containsReference(OWLEntity entity,
Imports includeImportsClosure) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.filterAxioms(OWLAxiomSearchFilter filter,
Object key,
Imports includeImportsClosure) |
Set<OWLAxiom> |
OWLImmutableOntologyImpl.getABoxAxioms(Imports includeImportsClosure) |
Set<OWLAnnotationProperty> |
OWLImmutableOntologyImpl.getAnnotationPropertiesInSignature(Imports includeImportsClosure) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports includeImportsClosure) |
int |
OWLImmutableOntologyImpl.getAxiomCount(Imports includeImportsClosure) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure) |
<A extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(Class<A> type,
Class<? extends OWLObject> explicitClass,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition) |
<A extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(Class<A> type,
OWLObject entity,
Imports includeImports,
Navigation forSubPosition) |
Set<OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(Imports includeImportsClosure) |
Set<OWLAnnotationAxiom> |
OWLImmutableOntologyImpl.getAxioms(OWLAnnotationProperty property,
Imports includeImportsClosure) |
Set<OWLClassAxiom> |
OWLImmutableOntologyImpl.getAxioms(OWLClass cls,
Imports includeImportsClosure) |
Set<OWLDataPropertyAxiom> |
OWLImmutableOntologyImpl.getAxioms(OWLDataProperty property,
Imports includeImportsClosure) |
Set<OWLDatatypeDefinitionAxiom> |
OWLImmutableOntologyImpl.getAxioms(OWLDatatype datatype,
Imports includeImportsClosure) |
Set<OWLIndividualAxiom> |
OWLImmutableOntologyImpl.getAxioms(OWLIndividual individual,
Imports includeImportsClosure) |
Set<OWLObjectPropertyAxiom> |
OWLImmutableOntologyImpl.getAxioms(OWLObjectPropertyExpression property,
Imports includeImportsClosure) |
Set<OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom axiom,
Imports includeImportsClosure) |
Set<OWLClass> |
OWLImmutableOntologyImpl.getClassesInSignature(Imports includeImportsClosure) |
Set<OWLDataProperty> |
OWLImmutableOntologyImpl.getDataPropertiesInSignature(Imports includeImportsClosure) |
Set<OWLDatatype> |
OWLImmutableOntologyImpl.getDatatypesInSignature(Imports includeImportsClosure) |
Set<OWLEntity> |
OWLImmutableOntologyImpl.getEntitiesInSignature(IRI iri,
Imports includeImportsClosure) |
Set<OWLNamedIndividual> |
OWLImmutableOntologyImpl.getIndividualsInSignature(Imports includeImportsClosure) |
int |
OWLImmutableOntologyImpl.getLogicalAxiomCount(Imports includeImportsClosure) |
Set<OWLLogicalAxiom> |
OWLImmutableOntologyImpl.getLogicalAxioms(Imports includeImportsClosure) |
Set<OWLObjectProperty> |
OWLImmutableOntologyImpl.getObjectPropertiesInSignature(Imports includeImportsClosure) |
Set<IRI> |
OWLImmutableOntologyImpl.getPunnedIRIs(Imports includeImportsClosure) |
Set<OWLAxiom> |
OWLImmutableOntologyImpl.getRBoxAxioms(Imports includeImportsClosure) |
Set<OWLAnonymousIndividual> |
OWLImmutableOntologyImpl.getReferencedAnonymousIndividuals(Imports includeImportsClosure) |
Set<OWLAxiom> |
OWLImmutableOntologyImpl.getReferencingAxioms(OWLPrimitive owlEntity,
Imports includeImportsClosure) |
Set<OWLEntity> |
OWLImmutableOntologyImpl.getSignature(Imports includeImportsClosure) |
Set<OWLAxiom> |
OWLImmutableOntologyImpl.getTBoxAxioms(Imports includeImportsClosure) |
boolean |
OWLImmutableOntologyImpl.isDeclared(OWLEntity owlEntity,
Imports includeImportsClosure) |
Modifier and Type | Method and Description |
---|---|
boolean |
ConcurrentOWLOntologyImpl.contains(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsAnnotationPropertyInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsAxiom(OWLAxiom owlAxiom,
Imports imports,
AxiomAnnotations axiomAnnotations) |
boolean |
ConcurrentOWLOntologyImpl.containsClassInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsDataPropertyInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsDatatypeInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsEntitiesOfTypeInSignature(EntityType<?> type,
Imports includeImportsClosure) |
boolean |
ConcurrentOWLOntologyImpl.containsEntityInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsEntityInSignature(OWLEntity owlEntity,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsIndividualInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsObjectPropertyInSignature(IRI iri,
Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.containsReference(OWLEntity owlEntity,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.filterAxioms(OWLAxiomSearchFilter owlAxiomSearchFilter,
Object o,
Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getABoxAxioms(Imports imports) |
Set<OWLAnnotationProperty> |
ConcurrentOWLOntologyImpl.getAnnotationPropertiesInSignature(Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports imports) |
int |
ConcurrentOWLOntologyImpl.getAxiomCount(Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
Class<? extends OWLObject> aClass1,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Class<T> aClass,
OWLObject owlObject,
Imports imports,
Navigation navigation) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(Imports imports) |
Set<OWLAnnotationAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLAnnotationProperty owlAnnotationProperty,
Imports imports) |
Set<OWLClassAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLClass owlClass,
Imports imports) |
Set<OWLDataPropertyAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLDataProperty owlDataProperty,
Imports imports) |
Set<OWLDatatypeDefinitionAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLDatatype owlDatatype,
Imports imports) |
Set<OWLIndividualAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLIndividual owlIndividual,
Imports imports) |
Set<OWLObjectPropertyAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(OWLObjectPropertyExpression owlObjectPropertyExpression,
Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomsIgnoreAnnotations(OWLAxiom owlAxiom,
Imports imports) |
Set<OWLClass> |
ConcurrentOWLOntologyImpl.getClassesInSignature(Imports imports) |
Set<OWLDataProperty> |
ConcurrentOWLOntologyImpl.getDataPropertiesInSignature(Imports imports) |
Set<OWLDatatype> |
ConcurrentOWLOntologyImpl.getDatatypesInSignature(Imports imports) |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getEntitiesInSignature(IRI iri,
Imports imports) |
Set<OWLNamedIndividual> |
ConcurrentOWLOntologyImpl.getIndividualsInSignature(Imports imports) |
int |
ConcurrentOWLOntologyImpl.getLogicalAxiomCount(Imports imports) |
Set<OWLLogicalAxiom> |
ConcurrentOWLOntologyImpl.getLogicalAxioms(Imports imports) |
Set<OWLObjectProperty> |
ConcurrentOWLOntologyImpl.getObjectPropertiesInSignature(Imports imports) |
Set<IRI> |
ConcurrentOWLOntologyImpl.getPunnedIRIs(Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getRBoxAxioms(Imports imports) |
Set<OWLAnonymousIndividual> |
ConcurrentOWLOntologyImpl.getReferencedAnonymousIndividuals(Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getReferencingAxioms(OWLPrimitive owlPrimitive,
Imports imports) |
Set<OWLEntity> |
ConcurrentOWLOntologyImpl.getSignature(Imports imports) |
Set<OWLAxiom> |
ConcurrentOWLOntologyImpl.getTBoxAxioms(Imports imports) |
boolean |
ConcurrentOWLOntologyImpl.isDeclared(OWLEntity owlEntity,
Imports imports) |
Copyright © 2020 The University of Manchester. All rights reserved.