org.semanticweb.owl.model
Interface OWLObjectSomeRestriction

All Superinterfaces:

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

All Known Implementing Classes:

OWLObjectSomeRestrictionImpl

public interface OWLObjectSomeRestriction

extends OWLObjectQuantifiedRestriction

An existentially quantified restriction over a datatype property. The semantics of this expression is the collection of objects, all of whom have a filler for the given role (getObjectProperty) which is an element of the given class (getDescription).

Version:

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