org.semanticweb.owlapi.model
Interface OWLFunctionalDataPropertyAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLDataPropertyAxiom, OWLDataPropertyCharacteristicAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLSubClassOfAxiomShortCut, OWLUnaryPropertyAxiom<OWLDataPropertyExpression>

All Known Implementing Classes:

OWLFunctionalDataPropertyAxiomImpl

public interface OWLFunctionalDataPropertyAxiom
extends OWLDataPropertyCharacteristicAxiom, OWLSubClassOfAxiomShortCut

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006

Represents a FunctionalDataProperty axiom in the OWL 2 Specification.

Method Summary

OWLFunctionalDataPropertyAxiom

getAxiomWithoutAnnotations() Gets an axiom that is structurally equivalent to this axiom without annotations.

Methods inherited from interface org.semanticweb.owlapi.model.OWLUnaryPropertyAxiom

getProperty

Methods inherited from interface org.semanticweb.owlapi.model.OWLSubClassOfAxiomShortCut

asOWLSubClassOfAxiom

Method Detail

getAxiomWithoutAnnotations

OWLFunctionalDataPropertyAxiom getAxiomWithoutAnnotations()

Description copied from interface: OWLAxiom

Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially returns a version of this axiom stripped of any annotations

Specified by:

getAxiomWithoutAnnotations in interface OWLAxiom

Returns:

The annotationless version of this axiom