org.semanticweb.owl.model
Interface OWLAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLObject

All Known Subinterfaces:

OWLAnnotationAxiom<S>, OWLAntiSymmetricObjectPropertyAxiom, OWLAxiomAnnotationAxiom, OWLClassAssertionAxiom, OWLClassAxiom, OWLDataPropertyAssertionAxiom, OWLDataPropertyAxiom, OWLDataPropertyCharacteristicAxiom, OWLDataPropertyDomainAxiom, OWLDataPropertyRangeAxiom, OWLDataSubPropertyAxiom, OWLDeclarationAxiom, OWLDeprecatedClassAxiom, OWLDeprecatedDataPropertyAxiom, OWLDeprecatedObjectPropertyAxiom, OWLDifferentIndividualsAxiom, OWLDisjointClassesAxiom, OWLDisjointDataPropertiesAxiom, OWLDisjointObjectPropertiesAxiom, OWLDisjointUnionAxiom, OWLEntityAnnotationAxiom, OWLEquivalentClassesAxiom, OWLEquivalentDataPropertiesAxiom, OWLEquivalentObjectPropertiesAxiom, OWLFunctionalDataPropertyAxiom, OWLFunctionalObjectPropertyAxiom, OWLImportsDeclaration, OWLIndividualAxiom, OWLInverseFunctionalObjectPropertyAxiom, OWLInverseObjectPropertiesAxiom, OWLIrreflexiveObjectPropertyAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLNaryIndividualAxiom, OWLNaryPropertyAxiom<P>, OWLNegativeDataPropertyAssertionAxiom, OWLNegativeObjectPropertyAssertionAxiom, OWLObjectPropertyAssertionAxiom, OWLObjectPropertyAxiom, OWLObjectPropertyChainSubPropertyAxiom, OWLObjectPropertyCharacteristicAxiom, OWLObjectPropertyDomainAxiom, OWLObjectPropertyRangeAxiom, OWLObjectSubPropertyAxiom, OWLOntologyAnnotationAxiom, OWLPropertyAssertionAxiom<P,O>, OWLPropertyAxiom, OWLPropertyDomainAxiom<P>, OWLPropertyRangeAxiom<P,R>, OWLReflexiveObjectPropertyAxiom, OWLSameIndividualsAxiom, OWLSubClassAxiom, OWLSubPropertyAxiom<P>, OWLSymmetricObjectPropertyAxiom, OWLTransitiveObjectPropertyAxiom, OWLUnaryPropertyAxiom<P>, SWRLRule

All Known Implementing Classes:

OWLAnnotationAxiomImpl, OWLAntiSymmetricObjectPropertyAxiomImpl, OWLAxiomAnnotationAxiomImpl, OWLAxiomImpl, OWLClassAssertionAxiomImpl, OWLClassAxiomImpl, OWLDataPropertyAssertionAxiomImpl, OWLDataPropertyCharacteristicAxiomImpl, OWLDataPropertyDomainAxiomImpl, OWLDataPropertyRangeAxiomImpl, OWLDataSubPropertyAxiomImpl, OWLDeclarationAxiomImpl, OWLDifferentIndividualsAxiomImpl, OWLDisjointClassesAxiomImpl, OWLDisjointDataPropertiesAxiomImpl, OWLDisjointObjectPropertiesAxiomImpl, OWLDisjointUnionAxiomImpl, OWLEntityAnnotationAxiomImpl, OWLEquivalentClassesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLEquivalentObjectPropertiesAxiomImpl, OWLFunctionalDataPropertyAxiomImpl, OWLFunctionalObjectPropertyAxiomImpl, OWLImportsDeclarationImpl, OWLIndividualAxiomImpl, OWLIndividualRelationshipAxiomImpl, OWLInverseFunctionalObjectPropertyAxiomImpl, OWLInverseObjectPropertiesAxiomImpl, OWLIrreflexiveObjectPropertyAxiomImpl, OWLLogicalAxiomImpl, OWLNaryClassAxiomImpl, OWLNaryIndividualAxiomImpl, OWLNaryPropertyAxiomImpl, OWLNegativeDataPropertyAssertionAxiomImpl, OWLNegativeObjectPropertyAssertionAxiomImpl, OWLObjectPropertyAssertionAxiomImpl, OWLObjectPropertyChainSubPropertyAxiomImpl, OWLObjectPropertyCharacteristicAxiomImpl, OWLObjectPropertyDomainAxiomImpl, OWLObjectPropertyRangeAxiomImpl, OWLObjectSubPropertyAxiomImpl, OWLOntologyAnnotationAxiomImpl, OWLPropertyAxiomImpl, OWLPropertyDomainAxiomImpl, OWLPropertyRangeAxiomImpl, OWLReflexiveObjectPropertyAxiomImpl, OWLSameIndividualsAxiomImpl, OWLSubClassAxiomImpl, OWLSubPropertyAxiomImpl, OWLSymmetricObjectPropertyAxiomImpl, OWLTransitiveObjectPropertyAxiomImpl, OWLUnaryPropertyAxiomImpl, SWRLRuleImpl

public interface OWLAxiom
extends OWLObject

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 An OWL ontology contains a set of axioms. These axioms can be annotation axioms, declaration axioms, imports axioms or logical axioms

Method Summary

void	accept(OWLAxiomVisitor visitor)
<O> O	accept(OWLAxiomVisitorEx<O> visitor)
java.util.Set<OWLAxiomAnnotationAxiom>	getAnnotationAxioms(OWLOntology ontology) Gets the annotation axioms that annotate this axiom and belong to the specified ontology
AxiomType	getAxiomType() Gets the axiom type for this axiom.
java.util.Set<OWLEntity>	getReferencedEntities() A convenience method that obtains the entities that this axiom references.
boolean	isLogicalAxiom() Determines if this axiom is a logical axiom.

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

accept

void accept(OWLAxiomVisitor visitor)

accept

<O> O accept(OWLAxiomVisitorEx<O> visitor)

isLogicalAxiom

boolean isLogicalAxiom()

Determines if this axiom is a logical axiom. Logical axioms are defined to be axioms other than both declaration axioms (including imports declarations) and annotation axioms.

Returns:

true if the axiom is a logical axiom, false if the axiom is not a logical axiom.

getAnnotationAxioms

java.util.Set<OWLAxiomAnnotationAxiom> getAnnotationAxioms(OWLOntology ontology)

Gets the annotation axioms that annotate this axiom and belong to the specified ontology

Parameters:

ontology - The ontology that will be examined for annotation axioms.

getReferencedEntities

java.util.Set<OWLEntity> getReferencedEntities()

A convenience method that obtains the entities that this axiom references.

Returns:

A set of OWLEntity objects.

getAxiomType

AxiomType getAxiomType()

Gets the axiom type for this axiom.

Returns:

The axiom type that corresponds to the type of this axiom.