org.semanticweb.owl.model
Interface OWLObjectAllRestriction

All Superinterfaces:

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

All Known Implementing Classes:

OWLObjectAllRestrictionImpl

public interface OWLObjectAllRestriction

extends OWLObjectQuantifiedRestriction

A universally quantified restriction over a object 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).

Version:

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

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

accept

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

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