org.semanticweb.owl.model
Interface OWLDataSomeRestriction

All Superinterfaces:

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

All Known Implementing Classes:

OWLDataSomeRestrictionImpl

public interface OWLDataSomeRestriction

extends OWLDataQuantifiedRestriction

An existentially quantified restriction over a datatype proerty. The semantics of this expression is the collection of objects, all of which have a filler for the given role (getDataProperty) which is an element of the given datatype (getDataType).

Version:

$Id: OWLDataSomeRestriction.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