Package | Description |
---|---|
org.semanticweb.owlapi.manchestersyntax.renderer | |
org.semanticweb.owlapi.metrics |
Metrics package
|
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.profiles.violations | |
org.semanticweb.owlapi.reasoner |
OWLReasoner package
|
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package
|
org.semanticweb.owlapi.search |
Search utulities package
|
org.semanticweb.owlapi.util |
Utilities package
|
uk.ac.manchester.cs.owl.owlapi |
OWL API reference implementation package
|
uk.ac.manchester.cs.owl.owlapi.concurrent |
Modifier and Type | Method and Description |
---|---|
void |
ManchesterOWLSyntaxFrameRenderer.addFilteredAxiomType(AxiomType<?> axiomType)
Adds the filtered axiom type.
|
boolean |
ManchesterOWLSyntaxFrameRenderer.isFiltered(AxiomType<?> axiomType)
Checks if is filtered.
|
Modifier and Type | Method and Description |
---|---|
AxiomType<?> |
AxiomTypeMetric.getAxiomType()
Gets the axiom type.
|
Constructor and Description |
---|
AxiomTypeMetric(OWLOntology o,
AxiomType<?> axiomType)
Instantiates a new axiom type metric.
|
Modifier and Type | Field and Description |
---|---|
static Set<AxiomType<?>> |
AxiomType.ABoxAxiomTypes
set of abox axiom types
|
static Set<AxiomType<?>> |
AxiomType.AXIOM_TYPES
axiom types
|
static Set<AxiomType<?>> |
AxiomType.RBoxAxiomTypes
set of rbox axiom types
|
static Set<AxiomType<?>> |
AxiomType.TBoxAndRBoxAxiomTypes
set of tbox and rbox axiom types
|
static Set<AxiomType<?>> |
AxiomType.TBoxAxiomTypes
set of tbox axiom types
|
Modifier and Type | Method and Description |
---|---|
AxiomType<?> |
OWLAxiom.getAxiomType()
Gets the axiom type for this axiom.
|
static AxiomType<?> |
AxiomType.getAxiomType(String name)
Gets an axiom type by its name
|
static <T extends OWLAxiom> |
AxiomType.getTypeForClass(Class<T> t) |
Modifier and Type | Method and Description |
---|---|
static Stream<AxiomType<?>> |
AxiomType.skipDeclarations() |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLAxiomCollectionNoArgs.getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
<T extends OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure)
Deprecated.
|
<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.
|
<T extends OWLAxiom> |
HasAxiomsByType.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Deprecated.
|
<T extends OWLAxiom> |
OWLAxiomCollection.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets all axioms of the specified type.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsOfTypes(Set<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that have a specified type
|
static Set<OWLAxiom> |
AxiomType.getAxiomsWithoutTypes(Set<OWLAxiom> sourceAxioms,
AxiomType<?>... axiomTypes)
Gets the set of axioms from a source set of axioms that are not of the specified type
|
boolean |
OWLOntologyChange.isAxiomChange(AxiomType<?> type) |
boolean |
OWLAxiom.isOfType(AxiomType<?>... axiomTypes)
Determines if this axiom is one of the specified types
|
Modifier and Type | Method and Description |
---|---|
boolean |
OWLAxiom.isOfType(Set<AxiomType<?>> types)
Determines if this axiom is one of the specified types
|
Modifier and Type | Method and Description |
---|---|
AxiomType<?> |
UseOfIllegalAxiom.getExpression() |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLReasoner.isEntailmentCheckingSupported(AxiomType<?> axiomType)
Determines if entailment checking for the specified axiom type is supported.
|
Modifier and Type | Method and Description |
---|---|
boolean |
StructuralReasoner.isEntailmentCheckingSupported(AxiomType<?> axiomType) |
Modifier and Type | Method and Description |
---|---|
Iterable<AxiomType<?>> |
Filters.AxiomFilter.getAxiomTypes() |
Constructor and Description |
---|
AxiomFilter(AxiomType<?>... types) |
AxiomFilter(AxiomType<?> type) |
Constructor and Description |
---|
AxiomFilter(Collection<AxiomType<?>> types) |
Modifier and Type | Method and Description |
---|---|
Iterable<AxiomType<?>> |
OWLAxiomSearchFilter.getAxiomTypes() |
Modifier and Type | Method and Description |
---|---|
AxiomType<?> |
SWRLRuleImpl.getAxiomType() |
AxiomType<?> |
OWLTransitiveObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSymmetricObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSubPropertyChainAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSubObjectPropertyOfAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSubDataPropertyOfAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSubClassOfAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSubAnnotationPropertyOfAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLSameIndividualAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLReflexiveObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLObjectPropertyRangeAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLObjectPropertyDomainAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLObjectPropertyAssertionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLNegativeObjectPropertyAssertionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLNegativeDataPropertyAssertionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLIrreflexiveObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLInverseObjectPropertiesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLInverseFunctionalObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLHasKeyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLFunctionalObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLFunctionalDataPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLEquivalentObjectPropertiesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLEquivalentDataPropertiesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLEquivalentClassesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDisjointUnionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDisjointObjectPropertiesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDisjointDataPropertiesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDisjointClassesAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDifferentIndividualsAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDeclarationAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDatatypeDefinitionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDataPropertyRangeAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDataPropertyDomainAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLDataPropertyAssertionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLClassAssertionAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLAsymmetricObjectPropertyAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLAnnotationPropertyRangeAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLAnnotationPropertyDomainAxiomImpl.getAxiomType() |
AxiomType<?> |
OWLAnnotationAssertionAxiomImpl.getAxiomType() |
Modifier and Type | Method and Description |
---|---|
MapPointer<AxiomType<?>,OWLAxiom> |
Internals.getAxiomsByType() |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
Internals.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports includeImportsClosure) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure) |
boolean |
OWLAxiomImplWithoutEntityAndAnonCaching.isOfType(AxiomType<?>... axiomTypes) |
boolean |
OWLAxiomImplWithEntityAndAnonCaching.isOfType(AxiomType<?>... axiomTypes) |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLAxiomImplWithoutEntityAndAnonCaching.isOfType(Set<AxiomType<?>> types) |
boolean |
OWLAxiomImplWithEntityAndAnonCaching.isOfType(Set<AxiomType<?>> types) |
Constructor and Description |
---|
ClassAxiomByClassPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i) |
MapPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i) |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
boolean b)
Deprecated.
|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
boolean b)
Deprecated.
|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
Imports imports) |
Copyright © 2020 The University of Manchester. All rights reserved.