| Package | Description |
|---|---|
| org.semanticweb.owlapi.model |
Main API classes.
|
| org.semanticweb.owlapi.model.parameters |
| 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.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) |
<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.
|
Copyright © 2016 The University of Manchester. All Rights Reserved.