Re: restrictions in DAML-O

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/>
>  ].