Modifier and Type | Method and Description |
---|---|
AxiomType<?> |
AxiomTypeMetric.getAxiomType() |
Constructor and Description |
---|
AxiomTypeMetric(OWLOntologyManager owlOntologyManager,
AxiomType<?> axiomType) |
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
|
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLOntology.getAxiomCount(AxiomType<T> axiomType)
Gets the axiom count of a specific type of axiom.
|
<T extends OWLAxiom> |
OWLOntology.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axiom count of a specific type of axiom, possibly in the imports
closure of this ontology.
|
<T extends OWLAxiom> |
OWLOntology.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
HasAxiomsByType.getAxioms(AxiomType<T> axiomType)
Gets the axioms which are of the specified type.
|
<T extends OWLAxiom> |
OWLOntology.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure)
Gets the axioms which are 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 |
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 |
---|---|
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 |
---|---|
AxiomType<O> |
OWLAxiomSearchFilter.getAxiomType() |
AxiomType<?> |
AxiomTypeProvider.getAxiomType(OWLAxiom axiom)
Deprecated.
|
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> |
InternalsImpl.getAxiomsByType() |
Internals.Pointer<AxiomType<?>,OWLAxiom> |
Internals.getAxiomsByType() |
Modifier and Type | Method and Description |
---|---|
<T extends OWLAxiom> |
OWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
InternalsImpl.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
Internals.getAxiomCount(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxiomCount(AxiomType<T> axiomType,
boolean includeImportsClosure) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxioms(AxiomType<T> axiomType) |
<T extends OWLAxiom> |
OWLOntologyImpl.getAxioms(AxiomType<T> axiomType,
boolean includeImportsClosure) |
boolean |
OWLAxiomImpl.isOfType(AxiomType<?>... axiomTypes) |
Modifier and Type | Method and Description |
---|---|
boolean |
OWLAxiomImpl.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 |
---|---|
void |
ManchesterOWLSyntaxFrameRenderer.addFilteredAxiomType(AxiomType<?> axiomType)
Adds the filtered axiom type.
|
boolean |
ManchesterOWLSyntaxFrameRenderer.isFiltered(AxiomType<?> axiomType)
Checks if is filtered.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.