W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Re: restrictions in DAML-O

From: Guha <guha@guha.com>
Date: Sun, 05 Nov 2000 09:31:13 -0800
Message-ID: <3A059961.FF0925E7@guha.com>
To: Dan Connolly <connolly@w3.org>
CC: Sergey Melnik <melnik@db.stanford.edu>, RDF Logic <www-rdf-logic@w3.org>
The theory behind rdfs:ConstraintResource is/was that if a processor
came accross an instance of one of these that it did not recognize,
it would know that there was potentially some constraint that it
could not check.

guha

Dan Connolly wrote:

> Sergey Melnik wrote:
> >
> > This question might have been raised.
> >
> > Why are DAML-O restrictions are not related to the RDFS constraint
> > mechanism?
>
> Because I don't understand the RDFS contraint mechanism,
> I guess.
>
> > I'd expect:
> >
> >         damlO:Restriction --rdfs:subClassOf--> rdfs:ConstraintResource
> >
> > and
> >
> >         damlO:restrictedBy --rdfs:subPropertyOf--> rdfs:ConstraintProperty
>
> What would you do with that information, if you had it?
>
> (btw... feel free to assert that in your own
> knowledge bases, if it helps; just because
> an assertion isn't in the daml-ont.daml file
> doesn't mean it's not sensible or true.)
>
> --
> bind default <http://www.w3.org/People/Connolly/kb>
> <mailto:connolly@w3.org> is mailbox of
>   [a Person; called "Dan Connolly";
>   affiliation [ a Consortium; called "W3C";
>              homePage <http://www.w3.org> ];
>   homePage <http://www.w3.org/People/Connolly/>
>  ].
Received on Sunday, 5 November 2000 12:27:48 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:32 UTC