Uses of Class
org.semanticweb.owlapi.model.AxiomType

Packages that use AxiomType

Package	Description
org.semanticweb.owlapi.model
org.semanticweb.owlapi.reasoner
org.semanticweb.owlapi.util

Uses of AxiomType in org.semanticweb.owlapi.model

Fields in org.semanticweb.owlapi.model declared as AxiomType

Modifier and Type	Field and Description
static AxiomType<OWLAnnotationAssertionAxiom>	AxiomType.ANNOTATION_ASSERTION
static AxiomType<OWLAnnotationPropertyDomainAxiom>	AxiomType.ANNOTATION_PROPERTY_DOMAIN
static AxiomType<OWLAnnotationPropertyRangeAxiom>	AxiomType.ANNOTATION_PROPERTY_RANGE
static AxiomType<OWLAsymmetricObjectPropertyAxiom>	AxiomType.ASYMMETRIC_OBJECT_PROPERTY
static AxiomType<OWLClassAssertionAxiom>	AxiomType.CLASS_ASSERTION
static AxiomType<OWLDataPropertyAssertionAxiom>	AxiomType.DATA_PROPERTY_ASSERTION
static AxiomType<OWLDataPropertyDomainAxiom>	AxiomType.DATA_PROPERTY_DOMAIN
static AxiomType<OWLDataPropertyRangeAxiom>	AxiomType.DATA_PROPERTY_RANGE
static AxiomType<OWLDatatypeDefinitionAxiom>	AxiomType.DATATYPE_DEFINITION
static AxiomType<OWLDeclarationAxiom>	AxiomType.DECLARATION
static AxiomType<OWLDifferentIndividualsAxiom>	AxiomType.DIFFERENT_INDIVIDUALS
static AxiomType<OWLDisjointClassesAxiom>	AxiomType.DISJOINT_CLASSES
static AxiomType<OWLDisjointDataPropertiesAxiom>	AxiomType.DISJOINT_DATA_PROPERTIES
static AxiomType<OWLDisjointObjectPropertiesAxiom>	AxiomType.DISJOINT_OBJECT_PROPERTIES
static AxiomType<OWLDisjointUnionAxiom>	AxiomType.DISJOINT_UNION
static AxiomType<OWLEquivalentClassesAxiom>	AxiomType.EQUIVALENT_CLASSES
static AxiomType<OWLEquivalentDataPropertiesAxiom>	AxiomType.EQUIVALENT_DATA_PROPERTIES
static AxiomType<OWLEquivalentObjectPropertiesAxiom>	AxiomType.EQUIVALENT_OBJECT_PROPERTIES
static AxiomType<OWLFunctionalDataPropertyAxiom>	AxiomType.FUNCTIONAL_DATA_PROPERTY
static AxiomType<OWLFunctionalObjectPropertyAxiom>	AxiomType.FUNCTIONAL_OBJECT_PROPERTY
static AxiomType<OWLHasKeyAxiom>	AxiomType.HAS_KEY
static AxiomType<OWLInverseFunctionalObjectPropertyAxiom>	AxiomType.INVERSE_FUNCTIONAL_OBJECT_PROPERTY
static AxiomType<OWLInverseObjectPropertiesAxiom>	AxiomType.INVERSE_OBJECT_PROPERTIES
static AxiomType<OWLIrreflexiveObjectPropertyAxiom>	AxiomType.IRREFLEXIVE_OBJECT_PROPERTY
static AxiomType<OWLNegativeDataPropertyAssertionAxiom>	AxiomType.NEGATIVE_DATA_PROPERTY_ASSERTION
static AxiomType<OWLNegativeObjectPropertyAssertionAxiom>	AxiomType.NEGATIVE_OBJECT_PROPERTY_ASSERTION
static AxiomType<OWLObjectPropertyAssertionAxiom>	AxiomType.OBJECT_PROPERTY_ASSERTION
static AxiomType<OWLObjectPropertyDomainAxiom>	AxiomType.OBJECT_PROPERTY_DOMAIN
static AxiomType<OWLObjectPropertyRangeAxiom>	AxiomType.OBJECT_PROPERTY_RANGE
static AxiomType<OWLReflexiveObjectPropertyAxiom>	AxiomType.REFLEXIVE_OBJECT_PROPERTY
static AxiomType<OWLSameIndividualAxiom>	AxiomType.SAME_INDIVIDUAL
static AxiomType<OWLSubAnnotationPropertyOfAxiom>	AxiomType.SUB_ANNOTATION_PROPERTY_OF
static AxiomType<OWLSubDataPropertyOfAxiom>	AxiomType.SUB_DATA_PROPERTY
static AxiomType<OWLSubObjectPropertyOfAxiom>	AxiomType.SUB_OBJECT_PROPERTY
static AxiomType<OWLSubPropertyChainOfAxiom>	AxiomType.SUB_PROPERTY_CHAIN_OF
static AxiomType<OWLSubClassOfAxiom>	AxiomType.SUBCLASS_OF
static AxiomType<SWRLRule>	AxiomType.SWRL_RULE
static AxiomType<OWLSymmetricObjectPropertyAxiom>	AxiomType.SYMMETRIC_OBJECT_PROPERTY
static AxiomType<OWLTransitiveObjectPropertyAxiom>	AxiomType.TRANSITIVE_OBJECT_PROPERTY

Fields in org.semanticweb.owlapi.model with type parameters of type AxiomType

Modifier and Type	Field and Description
static Set<AxiomType<?>>	AxiomType.ABoxAxiomTypes
static Set<AxiomType<?>>	AxiomType.AXIOM_TYPES
static Set<AxiomType<?>>	AxiomType.RBoxAxiomTypes
static Set<AxiomType<?>>	AxiomType.TBoxAxiomTypes

Methods in org.semanticweb.owlapi.model that return AxiomType

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

Methods in org.semanticweb.owlapi.model with parameters of type AxiomType

Modifier and Type	Method and Description
<T extends OWLAxiom> int	OWLOntology.getAxiomCount(AxiomType<T> axiomType) Gets the axiom count of a specific type of axiom
<T extends OWLAxiom> int	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> Set<T>	OWLOntology.getAxioms(AxiomType<T> axiomType) Gets the axioms which are of the specified type.
<T extends OWLAxiom> Set<T>	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

Method parameters in org.semanticweb.owlapi.model with type arguments of type AxiomType

Modifier and Type	Method and Description
boolean	OWLAxiom.isOfType(Set<AxiomType<?>> types) Determines if this axiom is one of the specified types

Uses of AxiomType in org.semanticweb.owlapi.reasoner

Methods in org.semanticweb.owlapi.reasoner with parameters of type AxiomType

Modifier and Type	Method and Description
boolean	OWLReasoner.isEntailmentCheckingSupported(AxiomType<?> axiomType) Determines if entailment checking for the specified axiom type is supported.

Uses of AxiomType in org.semanticweb.owlapi.util

Methods in org.semanticweb.owlapi.util that return AxiomType

Modifier and Type	Method and Description
AxiomType<O>	OWLAxiomSearchFilter.getAxiomType()
AxiomType<?>	AxiomTypeProvider.getAxiomType(OWLAxiom axiom) Deprecated.

Methods in org.semanticweb.owlapi.util with parameters of type AxiomType

Modifier and Type	Method and Description
protected abstract void	OWLAxiomTypeProcessor.process(OWLAxiom axiom, AxiomType<?> type)