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 AnnotationAssertion
static AxiomType<OWLAnnotationPropertyDomainAxiom>	AxiomType.ANNOTATION_PROPERTY_DOMAIN AnnotationPropertyDomain
static AxiomType<OWLAnnotationPropertyRangeAxiom>	AxiomType.ANNOTATION_PROPERTY_RANGE AnnotationPropertyRangeOf
static AxiomType<OWLAsymmetricObjectPropertyAxiom>	AxiomType.ASYMMETRIC_OBJECT_PROPERTY AsymmetricObjectProperty
static AxiomType<OWLClassAssertionAxiom>	AxiomType.CLASS_ASSERTION ClassAssertion
static AxiomType<OWLDataPropertyAssertionAxiom>	AxiomType.DATA_PROPERTY_ASSERTION DataPropertyAssertion
static AxiomType<OWLDataPropertyDomainAxiom>	AxiomType.DATA_PROPERTY_DOMAIN DataPropertyDomain
static AxiomType<OWLDataPropertyRangeAxiom>	AxiomType.DATA_PROPERTY_RANGE DataPropertyRange
static AxiomType<OWLDatatypeDefinitionAxiom>	AxiomType.DATATYPE_DEFINITION DatatypeDefinition
static AxiomType<OWLDeclarationAxiom>	AxiomType.DECLARATION Declaration
static AxiomType<OWLDifferentIndividualsAxiom>	AxiomType.DIFFERENT_INDIVIDUALS DifferentIndividuals
static AxiomType<OWLDisjointClassesAxiom>	AxiomType.DISJOINT_CLASSES DisjointClasses
static AxiomType<OWLDisjointDataPropertiesAxiom>	AxiomType.DISJOINT_DATA_PROPERTIES DisjointDataProperties
static AxiomType<OWLDisjointObjectPropertiesAxiom>	AxiomType.DISJOINT_OBJECT_PROPERTIES DisjointObjectProperties
static AxiomType<OWLDisjointUnionAxiom>	AxiomType.DISJOINT_UNION DisjointUnion
static AxiomType<OWLEquivalentClassesAxiom>	AxiomType.EQUIVALENT_CLASSES EquivalentClasses
static AxiomType<OWLEquivalentDataPropertiesAxiom>	AxiomType.EQUIVALENT_DATA_PROPERTIES EquivalentDataProperties
static AxiomType<OWLEquivalentObjectPropertiesAxiom>	AxiomType.EQUIVALENT_OBJECT_PROPERTIES EquivalentObjectProperties
static AxiomType<OWLFunctionalDataPropertyAxiom>	AxiomType.FUNCTIONAL_DATA_PROPERTY FunctionalDataProperty
static AxiomType<OWLFunctionalObjectPropertyAxiom>	AxiomType.FUNCTIONAL_OBJECT_PROPERTY FunctionalObjectProperty
static AxiomType<OWLHasKeyAxiom>	AxiomType.HAS_KEY HasKey
static AxiomType<OWLInverseFunctionalObjectPropertyAxiom>	AxiomType.INVERSE_FUNCTIONAL_OBJECT_PROPERTY InverseFunctionalObjectProperty
static AxiomType<OWLInverseObjectPropertiesAxiom>	AxiomType.INVERSE_OBJECT_PROPERTIES InverseObjectProperties
static AxiomType<OWLIrreflexiveObjectPropertyAxiom>	AxiomType.IRREFLEXIVE_OBJECT_PROPERTY IrrefexiveObjectProperty
static AxiomType<OWLNegativeDataPropertyAssertionAxiom>	AxiomType.NEGATIVE_DATA_PROPERTY_ASSERTION NegativeDataPropertyAssertion
static AxiomType<OWLNegativeObjectPropertyAssertionAxiom>	AxiomType.NEGATIVE_OBJECT_PROPERTY_ASSERTION NegativeObjectPropertyAssertion
static AxiomType<OWLObjectPropertyAssertionAxiom>	AxiomType.OBJECT_PROPERTY_ASSERTION ObjectPropertyAssertion
static AxiomType<OWLObjectPropertyDomainAxiom>	AxiomType.OBJECT_PROPERTY_DOMAIN ObjectPropertyDomain
static AxiomType<OWLObjectPropertyRangeAxiom>	AxiomType.OBJECT_PROPERTY_RANGE ObjectPropertyRange
static AxiomType<OWLReflexiveObjectPropertyAxiom>	AxiomType.REFLEXIVE_OBJECT_PROPERTY ReflexiveObjectProperty
static AxiomType<OWLSameIndividualAxiom>	AxiomType.SAME_INDIVIDUAL SameIndividual
static AxiomType<OWLSubAnnotationPropertyOfAxiom>	AxiomType.SUB_ANNOTATION_PROPERTY_OF SubAnnotationPropertyOf
static AxiomType<OWLSubDataPropertyOfAxiom>	AxiomType.SUB_DATA_PROPERTY SubDataPropertyOf
static AxiomType<OWLSubObjectPropertyOfAxiom>	AxiomType.SUB_OBJECT_PROPERTY SubObjectPropertyOf
static AxiomType<OWLSubPropertyChainOfAxiom>	AxiomType.SUB_PROPERTY_CHAIN_OF SubPropertyChainOf
static AxiomType<OWLSubClassOfAxiom>	AxiomType.SUBCLASS_OF SubClassOf
static AxiomType<SWRLRule>	AxiomType.SWRL_RULE Rule
static AxiomType<OWLSymmetricObjectPropertyAxiom>	AxiomType.SYMMETRIC_OBJECT_PROPERTY SymmetricObjectProperty
static AxiomType<OWLTransitiveObjectPropertyAxiom>	AxiomType.TRANSITIVE_OBJECT_PROPERTY TransitiveObjectProperty

Fields in org.semanticweb.owlapi.model with type parameters of type 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.TBoxAxiomTypes set of tbox axiom types

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)