AxiomType (OWLAPI :: Distribution 5.1.17 API)

java.lang.Object
- org.semanticweb.owlapi.model.AxiomType<C>

Type Parameters:

C - axiom type

All Implemented Interfaces:

Serializable, Comparable<AxiomType<?>>
```
public final class AxiomType<C extends OWLAxiom>
extends Object
implements Serializable, Comparable<AxiomType<?>>
```
Represents the type of axioms which can belong to ontologies. Axioms can be retrieved from ontologies by their AxiomType. For example, see HasAxiomsByType.axioms(AxiomType) and OWLAxiomCollection.getAxiomCount(AxiomType, org.semanticweb.owlapi.model.parameters.Imports) .

Since:

2.1.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type	Field and Description
`static Set<AxiomType<?>>`	`ABoxAxiomTypes` Set of abox axiom types.
`static AxiomType<OWLAnnotationAssertionAxiom>`	`ANNOTATION_ASSERTION` AnnotationAssertion.
`static AxiomType<OWLAnnotationPropertyDomainAxiom>`	`ANNOTATION_PROPERTY_DOMAIN` AnnotationPropertyDomain.
`static AxiomType<OWLAnnotationPropertyRangeAxiom>`	`ANNOTATION_PROPERTY_RANGE` AnnotationPropertyRangeOf.
`static AxiomType<OWLAsymmetricObjectPropertyAxiom>`	`ASYMMETRIC_OBJECT_PROPERTY` AsymmetricObjectProperty.
`static Set<AxiomType<? extends OWLAxiom>>`	`AXIOM_TYPES` Axiom types.
`static AxiomType<OWLClassAssertionAxiom>`	`CLASS_ASSERTION` ClassAssertion.
`static AxiomType<OWLDataPropertyAssertionAxiom>`	`DATA_PROPERTY_ASSERTION` DataPropertyAssertion.
`static AxiomType<OWLDataPropertyDomainAxiom>`	`DATA_PROPERTY_DOMAIN` DataPropertyDomain.
`static AxiomType<OWLDataPropertyRangeAxiom>`	`DATA_PROPERTY_RANGE` DataPropertyRange.
`static AxiomType<OWLDatatypeDefinitionAxiom>`	`DATATYPE_DEFINITION` DatatypeDefinition.
`static AxiomType<OWLDeclarationAxiom>`	`DECLARATION` Declaration.
`static AxiomType<OWLDifferentIndividualsAxiom>`	`DIFFERENT_INDIVIDUALS` DifferentIndividuals.
`static AxiomType<OWLDisjointClassesAxiom>`	`DISJOINT_CLASSES` DisjointClasses.
`static AxiomType<OWLDisjointDataPropertiesAxiom>`	`DISJOINT_DATA_PROPERTIES` DisjointDataProperties.
`static AxiomType<OWLDisjointObjectPropertiesAxiom>`	`DISJOINT_OBJECT_PROPERTIES` DisjointObjectProperties.
`static AxiomType<OWLDisjointUnionAxiom>`	`DISJOINT_UNION` DisjointUnion.
`static AxiomType<OWLEquivalentClassesAxiom>`	`EQUIVALENT_CLASSES` EquivalentClasses.
`static AxiomType<OWLEquivalentDataPropertiesAxiom>`	`EQUIVALENT_DATA_PROPERTIES` EquivalentDataProperties.
`static AxiomType<OWLEquivalentObjectPropertiesAxiom>`	`EQUIVALENT_OBJECT_PROPERTIES` EquivalentObjectProperties.
`static AxiomType<OWLFunctionalDataPropertyAxiom>`	`FUNCTIONAL_DATA_PROPERTY` FunctionalDataProperty.
`static AxiomType<OWLFunctionalObjectPropertyAxiom>`	`FUNCTIONAL_OBJECT_PROPERTY` FunctionalObjectProperty.
`static AxiomType<OWLHasKeyAxiom>`	`HAS_KEY` HasKey.
`static AxiomType<OWLInverseFunctionalObjectPropertyAxiom>`	`INVERSE_FUNCTIONAL_OBJECT_PROPERTY` InverseFunctionalObjectProperty.
`static AxiomType<OWLInverseObjectPropertiesAxiom>`	`INVERSE_OBJECT_PROPERTIES` InverseObjectProperties.
`static AxiomType<OWLIrreflexiveObjectPropertyAxiom>`	`IRREFLEXIVE_OBJECT_PROPERTY` IrreflexiveObjectProperty.
`static Set<AxiomType<?>>`	`LOGICAL_AXIOM_TYPES` Axiom types.
`static Set<AxiomType<? extends OWLAxiom>>`	`LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES` Logical axioms and declarations
`static AxiomType<OWLNegativeDataPropertyAssertionAxiom>`	`NEGATIVE_DATA_PROPERTY_ASSERTION` NegativeDataPropertyAssertion.
`static AxiomType<OWLNegativeObjectPropertyAssertionAxiom>`	`NEGATIVE_OBJECT_PROPERTY_ASSERTION` NegativeObjectPropertyAssertion.
`static AxiomType<OWLObjectPropertyAssertionAxiom>`	`OBJECT_PROPERTY_ASSERTION` ObjectPropertyAssertion.
`static AxiomType<OWLObjectPropertyDomainAxiom>`	`OBJECT_PROPERTY_DOMAIN` ObjectPropertyDomain.
`static AxiomType<OWLObjectPropertyRangeAxiom>`	`OBJECT_PROPERTY_RANGE` ObjectPropertyRange.
`static Set<AxiomType<?>>`	`RBoxAxiomTypes` Set of rbox axiom types.
`static AxiomType<OWLReflexiveObjectPropertyAxiom>`	`REFLEXIVE_OBJECT_PROPERTY` ReflexiveObjectProperty.
`static AxiomType<OWLSameIndividualAxiom>`	`SAME_INDIVIDUAL` SameIndividual.
`static AxiomType<OWLSubAnnotationPropertyOfAxiom>`	`SUB_ANNOTATION_PROPERTY_OF` SubAnnotationPropertyOf.
`static AxiomType<OWLSubDataPropertyOfAxiom>`	`SUB_DATA_PROPERTY` SubDataPropertyOf.
`static AxiomType<OWLSubObjectPropertyOfAxiom>`	`SUB_OBJECT_PROPERTY` SubObjectPropertyOf.
`static AxiomType<OWLSubPropertyChainOfAxiom>`	`SUB_PROPERTY_CHAIN_OF` SubPropertyChainOf.
`static AxiomType<OWLSubClassOfAxiom>`	`SUBCLASS_OF` SubClassOf.
`static AxiomType<SWRLRule>`	`SWRL_RULE` Rule.
`static AxiomType<OWLSymmetricObjectPropertyAxiom>`	`SYMMETRIC_OBJECT_PROPERTY` SymmetricObjectProperty.
`static Set<AxiomType<?>>`	`TBoxAndRBoxAxiomTypes` Set of tbox and rbox axiom types.
`static Set<AxiomType<?>>`	`TBoxAxiomTypes` Set of tbox axiom types.
`static AxiomType<OWLTransitiveObjectPropertyAxiom>`	`TRANSITIVE_OBJECT_PROPERTY` TransitiveObjectProperty.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`int`	`compareTo(AxiomType<?> o)`
`boolean`	`equals(Object obj)`
`Class<C>`	`getActualClass()`
`static Set<OWLAxiom>`	`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>`	`getAxiomsWithoutTypes(Collection<OWLAxiom> sourceAxioms, AxiomType<?>... axiomTypes)` Gets the set of axioms from a source set of axioms that are not of the specified type.
`static AxiomType<?>`	`getAxiomType(String name)` Gets an axiom type by its name.
`int`	`getIndex()`
`String`	`getName()`
`static <T extends OWLAxiom> AxiomType<T>`	`getTypeForClass(Class<T> t)`
`int`	`hashCode()`
`static boolean`	`isAxiomType(String _name)` Determines if there is an axiom type with the specified name.
`boolean`	`isLogical()` Determines if this axiom type is a logical axiom type.
`boolean`	`isNonSyntacticOWL2Axiom()` Some OWL 2 axioms, for example, `OWLNegativeDataPropertyAssertionAxiom` axioms are structurally OWL 2 axioms, but can be represented using OWL 1 syntax.
`boolean`	`isOWL2Axiom()` Determines if this axiom is structurally an OWL 2 axiom.
`static Stream<AxiomType<?>>`	`skipDeclarations()`
`String`	`toString()`

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Field Detail

DECLARATION

public static final AxiomType<OWLDeclarationAxiom> DECLARATION

Declaration.

EQUIVALENT_CLASSES

public static final AxiomType<OWLEquivalentClassesAxiom> EQUIVALENT_CLASSES

EquivalentClasses.

SUBCLASS_OF

public static final AxiomType<OWLSubClassOfAxiom> SUBCLASS_OF

SubClassOf.

DISJOINT_CLASSES

public static final AxiomType<OWLDisjointClassesAxiom> DISJOINT_CLASSES

DisjointClasses.

DISJOINT_UNION

public static final AxiomType<OWLDisjointUnionAxiom> DISJOINT_UNION

DisjointUnion.

CLASS_ASSERTION

public static final AxiomType<OWLClassAssertionAxiom> CLASS_ASSERTION

ClassAssertion.

SAME_INDIVIDUAL

public static final AxiomType<OWLSameIndividualAxiom> SAME_INDIVIDUAL

SameIndividual.

DIFFERENT_INDIVIDUALS

public static final AxiomType<OWLDifferentIndividualsAxiom> DIFFERENT_INDIVIDUALS

DifferentIndividuals.

OBJECT_PROPERTY_ASSERTION

public static final AxiomType<OWLObjectPropertyAssertionAxiom> OBJECT_PROPERTY_ASSERTION

ObjectPropertyAssertion.

NEGATIVE_OBJECT_PROPERTY_ASSERTION

public static final AxiomType<OWLNegativeObjectPropertyAssertionAxiom> NEGATIVE_OBJECT_PROPERTY_ASSERTION

NegativeObjectPropertyAssertion.

DATA_PROPERTY_ASSERTION

public static final AxiomType<OWLDataPropertyAssertionAxiom> DATA_PROPERTY_ASSERTION

DataPropertyAssertion.

NEGATIVE_DATA_PROPERTY_ASSERTION

public static final AxiomType<OWLNegativeDataPropertyAssertionAxiom> NEGATIVE_DATA_PROPERTY_ASSERTION

NegativeDataPropertyAssertion.

EQUIVALENT_OBJECT_PROPERTIES

public static final AxiomType<OWLEquivalentObjectPropertiesAxiom> EQUIVALENT_OBJECT_PROPERTIES

EquivalentObjectProperties.

SUB_OBJECT_PROPERTY

public static final AxiomType<OWLSubObjectPropertyOfAxiom> SUB_OBJECT_PROPERTY

SubObjectPropertyOf.

INVERSE_OBJECT_PROPERTIES

public static final AxiomType<OWLInverseObjectPropertiesAxiom> INVERSE_OBJECT_PROPERTIES

InverseObjectProperties.

FUNCTIONAL_OBJECT_PROPERTY

public static final AxiomType<OWLFunctionalObjectPropertyAxiom> FUNCTIONAL_OBJECT_PROPERTY

FunctionalObjectProperty.

INVERSE_FUNCTIONAL_OBJECT_PROPERTY

public static final AxiomType<OWLInverseFunctionalObjectPropertyAxiom> INVERSE_FUNCTIONAL_OBJECT_PROPERTY

InverseFunctionalObjectProperty.

SYMMETRIC_OBJECT_PROPERTY

public static final AxiomType<OWLSymmetricObjectPropertyAxiom> SYMMETRIC_OBJECT_PROPERTY

SymmetricObjectProperty.

ASYMMETRIC_OBJECT_PROPERTY

public static final AxiomType<OWLAsymmetricObjectPropertyAxiom> ASYMMETRIC_OBJECT_PROPERTY

AsymmetricObjectProperty.

TRANSITIVE_OBJECT_PROPERTY

public static final AxiomType<OWLTransitiveObjectPropertyAxiom> TRANSITIVE_OBJECT_PROPERTY

TransitiveObjectProperty.

REFLEXIVE_OBJECT_PROPERTY

public static final AxiomType<OWLReflexiveObjectPropertyAxiom> REFLEXIVE_OBJECT_PROPERTY

ReflexiveObjectProperty.

IRREFLEXIVE_OBJECT_PROPERTY

public static final AxiomType<OWLIrreflexiveObjectPropertyAxiom> IRREFLEXIVE_OBJECT_PROPERTY

IrreflexiveObjectProperty.

OBJECT_PROPERTY_DOMAIN

public static final AxiomType<OWLObjectPropertyDomainAxiom> OBJECT_PROPERTY_DOMAIN

ObjectPropertyDomain.

OBJECT_PROPERTY_RANGE

public static final AxiomType<OWLObjectPropertyRangeAxiom> OBJECT_PROPERTY_RANGE

ObjectPropertyRange.

DISJOINT_OBJECT_PROPERTIES

public static final AxiomType<OWLDisjointObjectPropertiesAxiom> DISJOINT_OBJECT_PROPERTIES

DisjointObjectProperties.

SUB_PROPERTY_CHAIN_OF

public static final AxiomType<OWLSubPropertyChainOfAxiom> SUB_PROPERTY_CHAIN_OF

SubPropertyChainOf.

EQUIVALENT_DATA_PROPERTIES

public static final AxiomType<OWLEquivalentDataPropertiesAxiom> EQUIVALENT_DATA_PROPERTIES

EquivalentDataProperties.

SUB_DATA_PROPERTY

public static final AxiomType<OWLSubDataPropertyOfAxiom> SUB_DATA_PROPERTY

SubDataPropertyOf.

FUNCTIONAL_DATA_PROPERTY

public static final AxiomType<OWLFunctionalDataPropertyAxiom> FUNCTIONAL_DATA_PROPERTY

FunctionalDataProperty.

DATA_PROPERTY_DOMAIN

public static final AxiomType<OWLDataPropertyDomainAxiom> DATA_PROPERTY_DOMAIN

DataPropertyDomain.

DATA_PROPERTY_RANGE

public static final AxiomType<OWLDataPropertyRangeAxiom> DATA_PROPERTY_RANGE

DataPropertyRange.

DISJOINT_DATA_PROPERTIES

public static final AxiomType<OWLDisjointDataPropertiesAxiom> DISJOINT_DATA_PROPERTIES

DisjointDataProperties.

DATATYPE_DEFINITION

public static final AxiomType<OWLDatatypeDefinitionAxiom> DATATYPE_DEFINITION

DatatypeDefinition.

HAS_KEY

public static final AxiomType<OWLHasKeyAxiom> HAS_KEY

HasKey.

SWRL_RULE

public static final AxiomType<SWRLRule> SWRL_RULE

Rule.

ANNOTATION_ASSERTION

public static final AxiomType<OWLAnnotationAssertionAxiom> ANNOTATION_ASSERTION

AnnotationAssertion.

SUB_ANNOTATION_PROPERTY_OF

public static final AxiomType<OWLSubAnnotationPropertyOfAxiom> SUB_ANNOTATION_PROPERTY_OF

SubAnnotationPropertyOf.

ANNOTATION_PROPERTY_RANGE

public static final AxiomType<OWLAnnotationPropertyRangeAxiom> ANNOTATION_PROPERTY_RANGE

AnnotationPropertyRangeOf.

ANNOTATION_PROPERTY_DOMAIN

public static final AxiomType<OWLAnnotationPropertyDomainAxiom> ANNOTATION_PROPERTY_DOMAIN

AnnotationPropertyDomain.

AXIOM_TYPES

public static final Set<AxiomType<? extends OWLAxiom>> AXIOM_TYPES

Axiom types.

LOGICAL_AXIOM_TYPES

public static final Set<AxiomType<?>> LOGICAL_AXIOM_TYPES

Axiom types.

LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES

public static final Set<AxiomType<? extends OWLAxiom>> LOGICAL_AXIOMS_AND_DECLARATIONS_TYPES

Logical axioms and declarations

TBoxAxiomTypes

public static final Set<AxiomType<?>> TBoxAxiomTypes

Set of tbox axiom types.

ABoxAxiomTypes

public static final Set<AxiomType<?>> ABoxAxiomTypes

Set of abox axiom types.

RBoxAxiomTypes

public static final Set<AxiomType<?>> RBoxAxiomTypes

Set of rbox axiom types.

TBoxAndRBoxAxiomTypes

public static final Set<AxiomType<?>> TBoxAndRBoxAxiomTypes

Set of tbox and rbox axiom types.

Method Detail
- skipDeclarations
```
public static Stream<AxiomType<?>> skipDeclarations()
```
  Returns:
  
  axiom types minus declarations
- getTypeForClass
```
public static <T extends OWLAxiom> AxiomType<T> getTypeForClass(Class<T> t)
```
  Type Parameters:
  
  T - axiom type
  
  Parameters:
  
  t - axiom class to match
  
  Returns:
  
  axiom type for axiom class
- getAxiomsWithoutTypes
```
public static Set<OWLAxiom> getAxiomsWithoutTypes(Collection<OWLAxiom> sourceAxioms,
                                                  AxiomType<?>... axiomTypes)
```
  Gets the set of axioms from a source set of axioms that are not of the specified type.
  
  Parameters:
  
  sourceAxioms - The source set of axioms
  
  axiomTypes - The types that will be filtered out of the source set
  
  Returns:
  
  A set of axioms that represents the source axioms without the specified types. Note that source axioms will not be modified. The returned set is a copy.
- getAxiomsOfTypes
```
public static Set<OWLAxiom> getAxiomsOfTypes(Collection<OWLAxiom> sourceAxioms,
                                             AxiomType<?>... axiomTypes)
```
  Gets the set of axioms from a source set of axioms that have a specified type.
  
  Parameters:
  
  sourceAxioms - The source set of axioms
  
  axiomTypes - The types of axioms that will be returned
  
  Returns:
  
  A set of axioms that represents the source axioms that have the specified types. Note that source axioms will not be modified. The returned set is a copy.
- getAxiomType
```
public static AxiomType<?> getAxiomType(String name)
```
  Gets an axiom type by its name.
  
  Parameters:
  
  name - The name of the axiom type
  
  Returns:
  
  The axiom type with the specified name, or null if there is no such axiom type with the specified name
- isAxiomType
```
public static boolean isAxiomType(String _name)
```
  Determines if there is an axiom type with the specified name.
  
  Parameters:
  
  _name - The name to test for
  
  Returns:
  
  true if there is an axiom type with the specified name, or false if there is no axiom type with the specified name.
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Object
- equals
```
public boolean equals(@Nullable
                      Object obj)
```
  Overrides:
  
  equals in class Object
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object
- getActualClass
```
public Class<C> getActualClass()
```
  Returns:
  
  the axiom interface corresponding to this type
- isOWL2Axiom
```
public boolean isOWL2Axiom()
```
  Determines if this axiom is structurally an OWL 2 axiom.
  
  Returns:
  
  true if this axiom is an OWL 2 axiom, false if this axiom is not an OWL 2 axiom and it can be represented using OWL 1.
- isNonSyntacticOWL2Axiom
```
public boolean isNonSyntacticOWL2Axiom()
```
  Some OWL 2 axioms, for example, OWLNegativeDataPropertyAssertionAxiom axioms are structurally OWL 2 axioms, but can be represented using OWL 1 syntax. This method determines if this axiom type is a pure OWL 2 axiom and cannot be represented using OWL 1 syntax.
  
  Returns:
  
  true if this axiom is a pure OWL 2 axiom and cannot be represented using OWL 1 syntax, otherwise false.
- getIndex
```
public int getIndex()
```
  Returns:
  
  index in the axiom type list
- getName
```
public String getName()
```
  Returns:
  
  axiom type name
- isLogical
```
public boolean isLogical()
```
  Determines if this axiom type is a logical axiom type.
  
  Returns:
  
  true if this axiom type is a logical axiom type, otherwise false;
- compareTo
```
public int compareTo(AxiomType<?> o)
```
  Specified by:
  
  compareTo in interface Comparable<AxiomType<?>>

Class AxiomType<C extends OWLAxiom>