org.semanticweb.owl.impl.model
Class OWLObjectValueRestrictionImpl

java.lang.Object
  |
  +--org.semanticweb.owl.impl.model.OWLObjectImpl
        |
        +--org.semanticweb.owl.impl.model.OWLObjectRestrictionImpl
              |
              +--org.semanticweb.owl.impl.model.OWLObjectValueRestrictionImpl

All Implemented Interfaces:

Cloneable, OWLDescription, OWLObject, OWLObjectRestriction, OWLObjectValueRestriction, OWLRestriction, Serializable

public class OWLObjectValueRestrictionImpl

extends OWLObjectRestrictionImpl

implements OWLObjectValueRestriction

A restriction over an individual 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 (getObjectProperty) which is the value given.

Version:

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

See Also:

Serialized Form

Constructor Summary

OWLObjectValueRestrictionImpl(OWLDataFactoryImpl factory, OWLObjectProperty property, OWLIndividual individual)

Method Summary

void	accept(OWLDescriptionVisitor visitor) Accept a visit from a visitor
void	accept(OWLObjectVisitor visitor) Accept a visit from a visitor
OWLIndividual	getIndividual()

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

getObjectProperty, 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.OWLObjectRestriction

getObjectProperty

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

OWLObjectValueRestrictionImpl

public OWLObjectValueRestrictionImpl(OWLDataFactoryImpl factory,
                                     OWLObjectProperty property,
                                     OWLIndividual individual)

Method Detail

getIndividual

public OWLIndividual getIndividual()

Specified by:

getIndividual in interface OWLObjectValueRestriction

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