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

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.
OWLAxiom	getNNF() Gets this axioms in negation normal form.
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.

getNNF

OWLAxiom getNNF()

Gets this axioms in negation normal form. i.e. any class descriptions involved in this axiom are converted into negation normal form.

Returns:

The axiom in negation normal form.