org.semanticweb.owl.impl.model
Class OWLDataQuantifiedRestrictionImpl

java.lang.Object
  |
  +--org.semanticweb.owl.impl.model.OWLObjectImpl
        |
        +--org.semanticweb.owl.impl.model.OWLDataRestrictionImpl
              |
              +--org.semanticweb.owl.impl.model.OWLDataQuantifiedRestrictionImpl

All Implemented Interfaces:

Cloneable, OWLDataQuantifiedRestriction, OWLDataRestriction, OWLDescription, OWLObject, OWLRestriction, Serializable

Direct Known Subclasses:

OWLDataAllRestrictionImpl, OWLDataSomeRestrictionImpl

public abstract class OWLDataQuantifiedRestrictionImpl

extends OWLDataRestrictionImpl

implements OWLDataQuantifiedRestriction

A Restriction over an OWLDataProperty that is quantified. Subinterfaces specify the quantifier.

Version:

$Id: OWLDataQuantifiedRestrictionImpl.java,v 1.1.1.1 2003/10/14 17:10:14 sean_bechhofer Exp $

See Also:

Serialized Form

Constructor Summary

OWLDataQuantifiedRestrictionImpl(OWLDataFactoryImpl factory, OWLDataProperty property, OWLDataRange dataType)

Method Summary

OWLDataRange

getDataType() Returns the data type that the restriction quantifies over.

Methods inherited from class org.semanticweb.owl.impl.model.OWLDataRestrictionImpl

getDataProperty, getProperty

Methods inherited from class org.semanticweb.owl.impl.model.OWLObjectImpl

accept, clone, getAnnotations, getAnnotations, getContainedObjects, getMetadata, getOWLConnection, getOWLDataFactory

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getDataProperty

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

getProperty

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

accept

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

accept, clone, getAnnotations, getAnnotations, getContainedObjects, getMetadata, getOWLConnection, getOWLDataFactory

Constructor Detail

OWLDataQuantifiedRestrictionImpl

public OWLDataQuantifiedRestrictionImpl(OWLDataFactoryImpl factory,
                                        OWLDataProperty property,
                                        OWLDataRange dataType)

Method Detail

getDataType

public OWLDataRange getDataType()

Returns the data type that the restriction quantifies over.

Specified by:

getDataType in interface OWLDataQuantifiedRestriction