org.semanticweb.owlapi.model

Class AxiomType<C extends OWLAxiom>

java.lang.Object

org.semanticweb.owlapi.model.AxiomType<C>

Type Parameters:

C - axiom type

All Implemented Interfaces:

Serializable

public final class AxiomType<C extends OWLAxiom>
extends Object
implements Serializable

Represents the type of axioms which can belong to ontologies. Axioms can be retrieved from ontologies by their AxiomType. For example, see HasAxiomsByType.getAxioms(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<?>>	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 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

Modifier and Type	Method and Description
boolean	equals(Object obj)
Class<C>	getActualClass()
static Set<OWLAxiom>	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>	getAxiomsWithoutTypes(Set<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

@Nonnull
public static final AxiomType<OWLDeclarationAxiom> DECLARATION

Declaration

EQUIVALENT_CLASSES

@Nonnull
public static final AxiomType<OWLEquivalentClassesAxiom> EQUIVALENT_CLASSES

EquivalentClasses

SUBCLASS_OF

@Nonnull
public static final AxiomType<OWLSubClassOfAxiom> SUBCLASS_OF

SubClassOf

DISJOINT_CLASSES

@Nonnull
public static final AxiomType<OWLDisjointClassesAxiom> DISJOINT_CLASSES

DisjointClasses

DISJOINT_UNION

@Nonnull
public static final AxiomType<OWLDisjointUnionAxiom> DISJOINT_UNION

DisjointUnion

CLASS_ASSERTION

@Nonnull
public static final AxiomType<OWLClassAssertionAxiom> CLASS_ASSERTION

ClassAssertion

SAME_INDIVIDUAL

@Nonnull
public static final AxiomType<OWLSameIndividualAxiom> SAME_INDIVIDUAL

SameIndividual

DIFFERENT_INDIVIDUALS

@Nonnull
public static final AxiomType<OWLDifferentIndividualsAxiom> DIFFERENT_INDIVIDUALS

DifferentIndividuals

OBJECT_PROPERTY_ASSERTION

@Nonnull
public static final AxiomType<OWLObjectPropertyAssertionAxiom> OBJECT_PROPERTY_ASSERTION

ObjectPropertyAssertion

NEGATIVE_OBJECT_PROPERTY_ASSERTION

@Nonnull
public static final AxiomType<OWLNegativeObjectPropertyAssertionAxiom> NEGATIVE_OBJECT_PROPERTY_ASSERTION

NegativeObjectPropertyAssertion

DATA_PROPERTY_ASSERTION

@Nonnull
public static final AxiomType<OWLDataPropertyAssertionAxiom> DATA_PROPERTY_ASSERTION

DataPropertyAssertion

NEGATIVE_DATA_PROPERTY_ASSERTION

@Nonnull
public static final AxiomType<OWLNegativeDataPropertyAssertionAxiom> NEGATIVE_DATA_PROPERTY_ASSERTION

NegativeDataPropertyAssertion

EQUIVALENT_OBJECT_PROPERTIES

@Nonnull
public static final AxiomType<OWLEquivalentObjectPropertiesAxiom> EQUIVALENT_OBJECT_PROPERTIES

EquivalentObjectProperties

SUB_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLSubObjectPropertyOfAxiom> SUB_OBJECT_PROPERTY

SubObjectPropertyOf

INVERSE_OBJECT_PROPERTIES

@Nonnull
public static final AxiomType<OWLInverseObjectPropertiesAxiom> INVERSE_OBJECT_PROPERTIES

InverseObjectProperties

FUNCTIONAL_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLFunctionalObjectPropertyAxiom> FUNCTIONAL_OBJECT_PROPERTY

FunctionalObjectProperty

INVERSE_FUNCTIONAL_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLInverseFunctionalObjectPropertyAxiom> INVERSE_FUNCTIONAL_OBJECT_PROPERTY

InverseFunctionalObjectProperty

SYMMETRIC_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLSymmetricObjectPropertyAxiom> SYMMETRIC_OBJECT_PROPERTY

SymmetricObjectProperty

ASYMMETRIC_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLAsymmetricObjectPropertyAxiom> ASYMMETRIC_OBJECT_PROPERTY

AsymmetricObjectProperty

TRANSITIVE_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLTransitiveObjectPropertyAxiom> TRANSITIVE_OBJECT_PROPERTY

TransitiveObjectProperty

REFLEXIVE_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLReflexiveObjectPropertyAxiom> REFLEXIVE_OBJECT_PROPERTY

ReflexiveObjectProperty

IRREFLEXIVE_OBJECT_PROPERTY

@Nonnull
public static final AxiomType<OWLIrreflexiveObjectPropertyAxiom> IRREFLEXIVE_OBJECT_PROPERTY

IrreflexiveObjectProperty

OBJECT_PROPERTY_DOMAIN

@Nonnull
public static final AxiomType<OWLObjectPropertyDomainAxiom> OBJECT_PROPERTY_DOMAIN

ObjectPropertyDomain

OBJECT_PROPERTY_RANGE

@Nonnull
public static final AxiomType<OWLObjectPropertyRangeAxiom> OBJECT_PROPERTY_RANGE

ObjectPropertyRange

DISJOINT_OBJECT_PROPERTIES

@Nonnull
public static final AxiomType<OWLDisjointObjectPropertiesAxiom> DISJOINT_OBJECT_PROPERTIES

DisjointObjectProperties

SUB_PROPERTY_CHAIN_OF

@Nonnull
public static final AxiomType<OWLSubPropertyChainOfAxiom> SUB_PROPERTY_CHAIN_OF

SubPropertyChainOf

EQUIVALENT_DATA_PROPERTIES

@Nonnull
public static final AxiomType<OWLEquivalentDataPropertiesAxiom> EQUIVALENT_DATA_PROPERTIES

EquivalentDataProperties

SUB_DATA_PROPERTY

@Nonnull
public static final AxiomType<OWLSubDataPropertyOfAxiom> SUB_DATA_PROPERTY

SubDataPropertyOf

FUNCTIONAL_DATA_PROPERTY

@Nonnull
public static final AxiomType<OWLFunctionalDataPropertyAxiom> FUNCTIONAL_DATA_PROPERTY

FunctionalDataProperty

DATA_PROPERTY_DOMAIN

@Nonnull
public static final AxiomType<OWLDataPropertyDomainAxiom> DATA_PROPERTY_DOMAIN

DataPropertyDomain

DATA_PROPERTY_RANGE

@Nonnull
public static final AxiomType<OWLDataPropertyRangeAxiom> DATA_PROPERTY_RANGE

DataPropertyRange

DISJOINT_DATA_PROPERTIES

@Nonnull
public static final AxiomType<OWLDisjointDataPropertiesAxiom> DISJOINT_DATA_PROPERTIES

DisjointDataProperties

DATATYPE_DEFINITION

@Nonnull
public static final AxiomType<OWLDatatypeDefinitionAxiom> DATATYPE_DEFINITION

DatatypeDefinition

HAS_KEY

@Nonnull
public static final AxiomType<OWLHasKeyAxiom> HAS_KEY

HasKey

SWRL_RULE

@Nonnull
public static final AxiomType<SWRLRule> SWRL_RULE

Rule

ANNOTATION_ASSERTION

@Nonnull
public static final AxiomType<OWLAnnotationAssertionAxiom> ANNOTATION_ASSERTION

AnnotationAssertion

SUB_ANNOTATION_PROPERTY_OF

@Nonnull
public static final AxiomType<OWLSubAnnotationPropertyOfAxiom> SUB_ANNOTATION_PROPERTY_OF

SubAnnotationPropertyOf

ANNOTATION_PROPERTY_RANGE

@Nonnull
public static final AxiomType<OWLAnnotationPropertyRangeAxiom> ANNOTATION_PROPERTY_RANGE

AnnotationPropertyRangeOf

ANNOTATION_PROPERTY_DOMAIN

@Nonnull
public static final AxiomType<OWLAnnotationPropertyDomainAxiom> ANNOTATION_PROPERTY_DOMAIN

AnnotationPropertyDomain

AXIOM_TYPES

@Nonnull
public static final Set<AxiomType<?>> AXIOM_TYPES

axiom types

TBoxAxiomTypes

@Nonnull
public static final Set<AxiomType<?>> TBoxAxiomTypes

set of tbox axiom types

ABoxAxiomTypes

@Nonnull
public static final Set<AxiomType<?>> ABoxAxiomTypes

set of abox axiom types

RBoxAxiomTypes

@Nonnull
public static final Set<AxiomType<?>> RBoxAxiomTypes

set of rbox axiom types

TBoxAndRBoxAxiomTypes

@Nonnull
public static final Set<AxiomType<?>> TBoxAndRBoxAxiomTypes

set of tbox and rbox axiom types

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(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;

getAxiomsWithoutTypes

@Nonnull
public static Set<OWLAxiom> getAxiomsWithoutTypes(@Nonnull
                                                           Set<OWLAxiom> sourceAxioms,
                                                           @Nonnull
                                                           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 sourceAxioms without the specified types. Note that sourceAxioms will not be modified. The returned set is a copy.

getAxiomsOfTypes

@Nonnull
public static Set<OWLAxiom> getAxiomsOfTypes(@Nonnull
                                                      Set<OWLAxiom> sourceAxioms,
                                                      @Nonnull
                                                      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.

skipDeclarations

public static Stream<AxiomType<?>> skipDeclarations()

Returns:

axiom types minus declarations

getTypeForClass

@Nonnull
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