Package | Description |
---|---|
org.semanticweb.owlapi.manchestersyntax.renderer |
Manchester OWL syntax parser and renderer.
|
org.semanticweb.owlapi.metrics |
Metrics package.
|
org.semanticweb.owlapi.model |
Main API classes.
|
org.semanticweb.owlapi.profiles.violations |
Violation classes.
|
org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package.
|
org.semanticweb.owlapi.search |
Search utilities 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 |
Concurrent implementation package.
|
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<? extends OWLAxiom>> |
AxiomType.AXIOM_TYPES
Axiom types.
|
static Set<AxiomType<?>> |
AxiomType.LOGICAL_AXIOM_TYPES
Axiom types.
|
static Set<AxiomType<? extends OWLAxiom>> |
AxiomType.LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES
Logical axioms and declarations
|
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 |
---|---|
default AxiomType<?> |
SWRLRule.getAxiomType() |
default AxiomType<?> |
OWLTransitiveObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLSymmetricObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLSubPropertyChainOfAxiom.getAxiomType() |
default AxiomType<?> |
OWLSubObjectPropertyOfAxiom.getAxiomType() |
default AxiomType<?> |
OWLSubDataPropertyOfAxiom.getAxiomType() |
default AxiomType<?> |
OWLSubClassOfAxiom.getAxiomType() |
default AxiomType<?> |
OWLSubAnnotationPropertyOfAxiom.getAxiomType() |
default AxiomType<?> |
OWLSameIndividualAxiom.getAxiomType() |
default AxiomType<?> |
OWLReflexiveObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLObjectPropertyRangeAxiom.getAxiomType() |
default AxiomType<?> |
OWLObjectPropertyDomainAxiom.getAxiomType() |
default AxiomType<?> |
OWLObjectPropertyAssertionAxiom.getAxiomType() |
default AxiomType<?> |
OWLNegativeObjectPropertyAssertionAxiom.getAxiomType() |
default AxiomType<?> |
OWLNegativeDataPropertyAssertionAxiom.getAxiomType() |
default AxiomType<?> |
OWLIrreflexiveObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLInverseObjectPropertiesAxiom.getAxiomType() |
default AxiomType<?> |
OWLInverseFunctionalObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLHasKeyAxiom.getAxiomType() |
default AxiomType<?> |
OWLFunctionalObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLFunctionalDataPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLEquivalentObjectPropertiesAxiom.getAxiomType() |
default AxiomType<?> |
OWLEquivalentDataPropertiesAxiom.getAxiomType() |
default AxiomType<?> |
OWLEquivalentClassesAxiom.getAxiomType() |
default AxiomType<?> |
OWLDisjointUnionAxiom.getAxiomType() |
default AxiomType<?> |
OWLDisjointObjectPropertiesAxiom.getAxiomType() |
default AxiomType<?> |
OWLDisjointDataPropertiesAxiom.getAxiomType() |
default AxiomType<?> |
OWLDisjointClassesAxiom.getAxiomType() |
default AxiomType<?> |
OWLDifferentIndividualsAxiom.getAxiomType() |
default AxiomType<?> |
OWLDeclarationAxiom.getAxiomType() |
default AxiomType<?> |
OWLDatatypeDefinitionAxiom.getAxiomType() |
default AxiomType<?> |
OWLDataPropertyRangeAxiom.getAxiomType() |
default AxiomType<?> |
OWLDataPropertyDomainAxiom.getAxiomType() |
default AxiomType<?> |
OWLDataPropertyAssertionAxiom.getAxiomType() |
default AxiomType<?> |
OWLClassAssertionAxiom.getAxiomType() |
AxiomType<?> |
OWLAxiom.getAxiomType()
Gets the axiom type for this axiom.
|
default AxiomType<?> |
OWLAsymmetricObjectPropertyAxiom.getAxiomType() |
default AxiomType<?> |
OWLAnnotationPropertyRangeAxiom.getAxiomType() |
default AxiomType<?> |
OWLAnnotationPropertyDomainAxiom.getAxiomType() |
default AxiomType<?> |
OWLAnnotationAssertionAxiom.getAxiomType() |
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> |
HasAxiomsByType.axioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomCollection.axioms(AxiomType<T> axiomType,
Imports imports)
Gets all axioms of the specified type.
|
int |
AxiomType.compareTo(AxiomType<?> o) |
<T extends OWLAxiom> |
OWLAxiomCollection.getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
default <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.
|
default <T extends OWLAxiom> |
HasAxiomsByType.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
default <T extends OWLAxiom> |
OWLAxiomCollectionBooleanArgs.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Deprecated.
|
default <T extends OWLAxiom> |
OWLAxiomCollection.getAxioms(AxiomType<T> axiomType,
Imports includeImportsClosure)
Gets all axioms of the specified type.
|
static Set<OWLAxiom> |
AxiomType.getAxiomsOfTypes(Collection<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(Collection<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) |
default boolean |
OWLAxiom.isOfType(AxiomType<?>... axiomTypes)
Determines if this axiom is one of the specified types
|
Modifier and Type | Method and Description |
---|---|
default boolean |
OWLAxiom.isOfType(Collection<AxiomType<?>> types)
Determines if this axiom is one of the specified types
|
default boolean |
OWLAxiom.isOfType(Stream<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<?> type,
org.semanticweb.owlapi.search.Filters.Filter<A> f) |
AxiomFilter(org.semanticweb.owlapi.search.Filters.Filter<A> f,
AxiomType<?>... types) |
Constructor and Description |
---|
AxiomFilter(Collection<AxiomType<?>> types,
org.semanticweb.owlapi.search.Filters.Filter<A> f) |
Modifier and Type | Method and Description |
---|---|
Iterable<AxiomType<?>> |
OWLAxiomSearchFilter.getAxiomTypes() |
Modifier and Type | Method and Description |
---|---|
MapPointer<AxiomType,OWLAxiom> |
Internals.getAxiomsByType() |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.axioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
Internals.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLImmutableOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
Imports imports) |
Constructor and Description |
---|
ClassAxiomByClassPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i) |
MapPointer(AxiomType<?> t,
OWLAxiomVisitorEx<?> v,
boolean initialized,
Internals i,
Class<V> valueWithness) |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.axioms(AxiomType<T> axiomType,
Imports imports) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
boolean b) |
<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) |
<T extends OWLAxiom> |
ConcurrentOWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
Imports imports) |
Copyright © 2020 The University of Manchester. All rights reserved.