Re: basic decisions underlying DAML-ONT (defined classes)

From: Dan Connolly <connolly@w3.org>
Subject: Re: basic decisions underlying DAML-ONT (defined classes)
Date: Thu, 12 Oct 2000 12:39:42 -0500

> "Peter F. Patel-Schneider" wrote:
> > 
> > Why not create a new kind of object, perhaps called a description, which
> > would ``contain'' restrictions and qualifications.   The meaning of a
> > description would be the intersection of these restrictions and
> > qualifications.  A class could then be defined as ``equivalentTo'' to a
> > description.
> 
> Yes, that's the basic idea. It's called reification
> in the RDF specs; it's called quoting elsewhere.

I don't think that I am asking for reification or quoting, just something like:

<Class ID="DAMLdescription">
       <comment> a DAMLdescription is defined to be precisely the intersection
       of its restrictions and qualifications</comment>
</Class>

<Property about="restrictedBy">
  <domain resource="#DAMLresource">
</Property>

then we can create defined classes via

<DAMLdescription ID="foo">
  <restrictedBy>
    <Restriction>
      <onProperty resource="#parent"/>
      <toClass resource="#Person"/>
    </Restriction>
</DAMLdescription>

<Class ID="objectsWithAllParentsPeople">
  <equivalentTo resource="#foo">
</Class>

Peter Patel-Schneider