org.semanticweb.owl.impl.model
Class OWLDataValueRestrictionImpl

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

All Implemented Interfaces:

Cloneable, OWLDataRestriction, OWLDataValueRestriction, OWLDescription, OWLObject, OWLRestriction, Serializable

public class OWLDataValueRestrictionImpl

extends OWLDataRestrictionImpl

implements OWLDataValueRestriction

A restriction over a datatype property with a given value. The semantics of this expression is the collection of objects, all of which have a filler for the given role (getDataProperty) which is the value given.

Version:

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

See Also:

Serialized Form

Constructor Summary

OWLDataValueRestrictionImpl(OWLDataFactoryImpl factory, OWLDataProperty property, OWLDataValue value)

Method Summary

void	accept(OWLDescriptionVisitor visitor) Accept a visit from a visitor
void	accept(OWLObjectVisitor visitor) Accept a visit from a visitor
OWLDataValue	getValue()

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

getDataProperty, getProperty

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

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.OWLObject

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

Constructor Detail

OWLDataValueRestrictionImpl

public OWLDataValueRestrictionImpl(OWLDataFactoryImpl factory,
                                   OWLDataProperty property,
                                   OWLDataValue value)

Method Detail

getValue

public OWLDataValue getValue()

Specified by:

getValue in interface OWLDataValueRestriction

accept

public void accept(OWLObjectVisitor visitor)
            throws OWLException

Description copied from interface: OWLObject

Accept a visit from a visitor

Specified by:

accept in interface OWLObject

Specified by:

accept in class OWLObjectImpl

OWLException

accept

public void accept(OWLDescriptionVisitor visitor)
            throws OWLException

Description copied from interface: OWLDescription

Accept a visit from a visitor

Specified by:

accept in interface OWLDescription

OWLException