org.semanticweb.owl.model
Interface OWLDataAllRestriction

All Superinterfaces:

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

All Known Implementing Classes:

OWLDataAllRestrictionImpl

public interface OWLDataAllRestriction

extends OWLDataQuantifiedRestriction

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 (getDataProperty) are elements of the given datatype (getDataType).

Version:

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

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

getDataType

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