org.semanticweb.owlapi.model
Interface OWLDataPropertyAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject

All Known Subinterfaces:

OWLDataPropertyCharacteristicAxiom, OWLDataPropertyDomainAxiom, OWLDataPropertyRangeAxiom, OWLDisjointDataPropertiesAxiom, OWLEquivalentDataPropertiesAxiom, OWLFunctionalDataPropertyAxiom, OWLSubDataPropertyOfAxiom

All Known Implementing Classes:

OWLDataPropertyCharacteristicAxiomImpl, OWLDataPropertyDomainAxiomImpl, OWLDataPropertyRangeAxiomImpl, OWLDisjointDataPropertiesAxiomImpl, OWLEquivalentDataPropertiesAxiomImpl, OWLFunctionalDataPropertyAxiomImpl, OWLSubDataPropertyOfAxiomImpl

public interface OWLDataPropertyAxiom
extends OWLLogicalAxiom

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

A high level interface which marks data property axioms (e.g. Functional data property, data property domain etc.)

Method Summary

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

accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isLogicalAxiom, isOfType, isOfType

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

accept, accept, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo