org.semanticweb.owl.impl.model
Class OWLObjectAllRestrictionImpl

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

All Implemented Interfaces:

Cloneable, OWLDescription, OWLObject, OWLObjectAllRestriction, OWLObjectQuantifiedRestriction, OWLObjectRestriction, OWLRestriction, Serializable

public class OWLObjectAllRestrictionImpl

extends OWLObjectQuantifiedRestrictionImpl

implements OWLObjectAllRestriction

A universally quantified restriction over a datatype property. The semantics of this expression is the collection of objects, all of whose fillers for the given role (getObjectProperty) are elements of the given class (getDescription). IndividualAllRestriction.java

Version:

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

See Also:

Serialized Form

Constructor Summary

OWLObjectAllRestrictionImpl(OWLDataFactoryImpl factory, OWLObjectProperty property, OWLDescription description)

Method Summary

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

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

getDescription

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

getDescription

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

OWLObjectAllRestrictionImpl

public OWLObjectAllRestrictionImpl(OWLDataFactoryImpl factory,
                                   OWLObjectProperty property,
                                   OWLDescription description)

Method Detail

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