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 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 OWLOntology.getAxioms(AxiomType) and OWLOntology.getAxiomCount(AxiomType, boolean) .

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 27-Jul-2007

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 IrrefexiveObjectProperty
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<?>>	TBoxAxiomTypes set of tbox axiom types
static AxiomType<OWLTransitiveObjectPropertyAxiom>	TRANSITIVE_OBJECT_PROPERTY TransitiveObjectProperty

Method Summary

Methods

Modifier and Type	Method and Description
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()
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.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

AXIOM_TYPES

public static final Set<AxiomType<?>> AXIOM_TYPES

axiom types

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

IrrefexiveObjectProperty

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

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

DATATYPE_DEFINITION

public static final AxiomType<OWLDatatypeDefinitionAxiom> DATATYPE_DEFINITION

DatatypeDefinition

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

Method Detail

toString

public String toString()

Overrides:

toString in class Object

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

public 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

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

public 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

Parameters:

sourceAxioms - The source set of axioms

axiomTypes - The types of axioms that will be returned

Returns:

A set of axioms that represents the sourceAxioms that have the specified types. Note that sourceAxioms 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 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.