org.semanticweb.owl.model
Interface OWLDataPropertyRangeAxiom

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLDataPropertyAxiom, OWLLogicalAxiom, OWLObject, OWLPropertyAxiom, OWLPropertyRangeAxiom<OWLDataPropertyExpression,OWLDataRange>, OWLUnaryPropertyAxiom<OWLDataPropertyExpression>

All Known Implementing Classes:

OWLDataPropertyRangeAxiomImpl

public interface OWLDataPropertyRangeAxiom
extends OWLPropertyRangeAxiom<OWLDataPropertyExpression,OWLDataRange>, OWLDataPropertyAxiom

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 Represents an axiom which specifies the range of a data property. A set of data property range axioms which have a common data property are interpreted to produce a range which is the intersection of the ranges specified by each individual data property range axiom.

Method Summary

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

getRange

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

getProperty

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

accept, accept, getAnnotationAxioms, getAxiomType, getReferencedEntities, isLogicalAxiom

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

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo