org.semanticweb.owl.model
Class AxiomType<C extends OWLAxiom>

java.lang.Object
  org.semanticweb.owl.model.AxiomType<C>

public class AxiomType<C extends OWLAxiom>
extends java.lang.Object

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

Represents the type of axioms which can belong to ontologies

Field Summary

static AxiomType<OWLAntiSymmetricObjectPropertyAxiom>	ANTI_SYMMETRIC_OBJECT_PROPERTY
static AxiomType<OWLAxiomAnnotationAxiom>	AXIOM_ANNOTATION
static java.util.Set<AxiomType>	AXIOM_TYPES
static AxiomType<OWLClassAssertionAxiom>	CLASS_ASSERTION
static AxiomType<OWLDataPropertyAssertionAxiom>	DATA_PROPERTY_ASSERTION
static AxiomType<OWLDataPropertyDomainAxiom>	DATA_PROPERTY_DOMAIN
static AxiomType<OWLDataPropertyRangeAxiom>	DATA_PROPERTY_RANGE
static AxiomType<OWLDeclarationAxiom>	DECLARATION
static AxiomType<OWLDifferentIndividualsAxiom>	DIFFERENT_INDIVIDUALS
static AxiomType<OWLDisjointClassesAxiom>	DISJOINT_CLASSES
static AxiomType<OWLDisjointDataPropertiesAxiom>	DISJOINT_DATA_PROPERTIES
static AxiomType<OWLDisjointObjectPropertiesAxiom>	DISJOINT_OBJECT_PROPERTIES
static AxiomType<OWLDisjointUnionAxiom>	DISJOINT_UNION
static AxiomType<OWLEntityAnnotationAxiom>	ENTITY_ANNOTATION
static AxiomType<OWLEquivalentClassesAxiom>	EQUIVALENT_CLASSES
static AxiomType<OWLEquivalentDataPropertiesAxiom>	EQUIVALENT_DATA_PROPERTIES
static AxiomType<OWLEquivalentObjectPropertiesAxiom>	EQUIVALENT_OBJECT_PROPERTIES
static AxiomType<OWLFunctionalDataPropertyAxiom>	FUNCTIONAL_DATA_PROPERTY
static AxiomType<OWLFunctionalObjectPropertyAxiom>	FUNCTIONAL_OBJECT_PROPERTY
static AxiomType<OWLImportsDeclaration>	IMPORTS_DECLARATION
int	index
static AxiomType<OWLInverseFunctionalObjectPropertyAxiom>	INVERSE_FUNCTIONAL_OBJECT_PROPERTY
static AxiomType<OWLInverseObjectPropertiesAxiom>	INVERSE_OBJECT_PROPERTIES
static AxiomType<OWLIrreflexiveObjectPropertyAxiom>	IRREFLEXIVE_OBJECT_PROPERTY
static AxiomType<OWLNegativeDataPropertyAssertionAxiom>	NEGATIVE_DATA_PROPERTY_ASSERTION
static AxiomType<OWLNegativeObjectPropertyAssertionAxiom>	NEGATIVE_OBJECT_PROPERTY_ASSERTION
static AxiomType<OWLObjectPropertyAssertionAxiom>	OBJECT_PROPERTY_ASSERTION
static AxiomType<OWLObjectPropertyDomainAxiom>	OBJECT_PROPERTY_DOMAIN
static AxiomType<OWLObjectPropertyRangeAxiom>	OBJECT_PROPERTY_RANGE
static AxiomType<OWLOntologyAnnotationAxiom>	ONTOLOGY_ANNOTATION
static AxiomType<OWLObjectPropertyChainSubPropertyAxiom>	PROPERTY_CHAIN_SUB_PROPERTY
static AxiomType<OWLReflexiveObjectPropertyAxiom>	REFLEXIVE_OBJECT_PROPERTY
static AxiomType<OWLSameIndividualsAxiom>	SAME_INDIVIDUAL
static AxiomType<OWLDataSubPropertyAxiom>	SUB_DATA_PROPERTY
static AxiomType<OWLObjectSubPropertyAxiom>	SUB_OBJECT_PROPERTY
static AxiomType<OWLSubClassAxiom>	SUBCLASS
static AxiomType<SWRLRule>	SWRL_RULE
static AxiomType<OWLSymmetricObjectPropertyAxiom>	SYMMETRIC_OBJECT_PROPERTY
static AxiomType<OWLTransitiveObjectPropertyAxiom>	TRANSITIVE_OBJECT_PROPERTY

Method Summary

int	getIndex()
java.lang.String	getName()
boolean	isNonSyntacticOWL11Axiom()
boolean	isOWL11Axiom()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

index

public final int index

AXIOM_TYPES

public static java.util.Set<AxiomType> AXIOM_TYPES

EQUIVALENT_CLASSES

public static final AxiomType<OWLEquivalentClassesAxiom> EQUIVALENT_CLASSES

SUBCLASS

public static final AxiomType<OWLSubClassAxiom> SUBCLASS

DISJOINT_CLASSES

public static final AxiomType<OWLDisjointClassesAxiom> DISJOINT_CLASSES

DISJOINT_UNION

public static final AxiomType<OWLDisjointUnionAxiom> DISJOINT_UNION

CLASS_ASSERTION

public static final AxiomType<OWLClassAssertionAxiom> CLASS_ASSERTION

SAME_INDIVIDUAL

public static final AxiomType<OWLSameIndividualsAxiom> SAME_INDIVIDUAL

DIFFERENT_INDIVIDUALS

public static final AxiomType<OWLDifferentIndividualsAxiom> DIFFERENT_INDIVIDUALS

OBJECT_PROPERTY_ASSERTION

public static final AxiomType<OWLObjectPropertyAssertionAxiom> OBJECT_PROPERTY_ASSERTION

NEGATIVE_OBJECT_PROPERTY_ASSERTION

public static final AxiomType<OWLNegativeObjectPropertyAssertionAxiom> NEGATIVE_OBJECT_PROPERTY_ASSERTION

DATA_PROPERTY_ASSERTION

public static final AxiomType<OWLDataPropertyAssertionAxiom> DATA_PROPERTY_ASSERTION

NEGATIVE_DATA_PROPERTY_ASSERTION

public static final AxiomType<OWLNegativeDataPropertyAssertionAxiom> NEGATIVE_DATA_PROPERTY_ASSERTION

EQUIVALENT_OBJECT_PROPERTIES

public static final AxiomType<OWLEquivalentObjectPropertiesAxiom> EQUIVALENT_OBJECT_PROPERTIES

SUB_OBJECT_PROPERTY

public static final AxiomType<OWLObjectSubPropertyAxiom> SUB_OBJECT_PROPERTY

INVERSE_OBJECT_PROPERTIES

public static final AxiomType<OWLInverseObjectPropertiesAxiom> INVERSE_OBJECT_PROPERTIES

FUNCTIONAL_OBJECT_PROPERTY

public static final AxiomType<OWLFunctionalObjectPropertyAxiom> FUNCTIONAL_OBJECT_PROPERTY

INVERSE_FUNCTIONAL_OBJECT_PROPERTY

public static final AxiomType<OWLInverseFunctionalObjectPropertyAxiom> INVERSE_FUNCTIONAL_OBJECT_PROPERTY

SYMMETRIC_OBJECT_PROPERTY

public static final AxiomType<OWLSymmetricObjectPropertyAxiom> SYMMETRIC_OBJECT_PROPERTY

ANTI_SYMMETRIC_OBJECT_PROPERTY

public static final AxiomType<OWLAntiSymmetricObjectPropertyAxiom> ANTI_SYMMETRIC_OBJECT_PROPERTY

TRANSITIVE_OBJECT_PROPERTY

public static final AxiomType<OWLTransitiveObjectPropertyAxiom> TRANSITIVE_OBJECT_PROPERTY

REFLEXIVE_OBJECT_PROPERTY

public static final AxiomType<OWLReflexiveObjectPropertyAxiom> REFLEXIVE_OBJECT_PROPERTY

IRREFLEXIVE_OBJECT_PROPERTY

public static final AxiomType<OWLIrreflexiveObjectPropertyAxiom> IRREFLEXIVE_OBJECT_PROPERTY

OBJECT_PROPERTY_DOMAIN

public static final AxiomType<OWLObjectPropertyDomainAxiom> OBJECT_PROPERTY_DOMAIN

OBJECT_PROPERTY_RANGE

public static final AxiomType<OWLObjectPropertyRangeAxiom> OBJECT_PROPERTY_RANGE

DISJOINT_OBJECT_PROPERTIES

public static final AxiomType<OWLDisjointObjectPropertiesAxiom> DISJOINT_OBJECT_PROPERTIES

PROPERTY_CHAIN_SUB_PROPERTY

public static final AxiomType<OWLObjectPropertyChainSubPropertyAxiom> PROPERTY_CHAIN_SUB_PROPERTY

EQUIVALENT_DATA_PROPERTIES

public static final AxiomType<OWLEquivalentDataPropertiesAxiom> EQUIVALENT_DATA_PROPERTIES

SUB_DATA_PROPERTY

public static final AxiomType<OWLDataSubPropertyAxiom> SUB_DATA_PROPERTY

FUNCTIONAL_DATA_PROPERTY

public static final AxiomType<OWLFunctionalDataPropertyAxiom> FUNCTIONAL_DATA_PROPERTY

DATA_PROPERTY_DOMAIN

public static final AxiomType<OWLDataPropertyDomainAxiom> DATA_PROPERTY_DOMAIN

DATA_PROPERTY_RANGE

public static final AxiomType<OWLDataPropertyRangeAxiom> DATA_PROPERTY_RANGE

DISJOINT_DATA_PROPERTIES

public static final AxiomType<OWLDisjointDataPropertiesAxiom> DISJOINT_DATA_PROPERTIES

ENTITY_ANNOTATION

public static final AxiomType<OWLEntityAnnotationAxiom> ENTITY_ANNOTATION

AXIOM_ANNOTATION

public static final AxiomType<OWLAxiomAnnotationAxiom> AXIOM_ANNOTATION

IMPORTS_DECLARATION

public static final AxiomType<OWLImportsDeclaration> IMPORTS_DECLARATION

DECLARATION

public static final AxiomType<OWLDeclarationAxiom> DECLARATION

SWRL_RULE

public static final AxiomType<SWRLRule> SWRL_RULE

ONTOLOGY_ANNOTATION

public static final AxiomType<OWLOntologyAnnotationAxiom> ONTOLOGY_ANNOTATION

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isOWL11Axiom

public boolean isOWL11Axiom()

isNonSyntacticOWL11Axiom

public boolean isNonSyntacticOWL11Axiom()

getIndex

public int getIndex()

getName

public java.lang.String getName()