OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] many-to-many

[ Lists Home | Date Index | Thread Index ]

Uche Ogbuji wrote:
> Also, I think that owl:sameIndividualAs might have been inspired by TM,
> the last time I remember discussion of standard assertion of the
> of individuals, the key players were not keen on the idea.

Actually owl:sameIndividualAs was inspired by daml:equivalentTo... to make a
long and over the top technical story short(er), the issue was that classic
description logic formalisms make the distinction between classes and
individuals whereas RDF does not. OWL Lite and OWL DL (for 'description
logic') maintain this distinction, wheras OWL Full does not (classes can
themselves be invididuals -- *sort of* like a higher order logic thingie).
So from daml:equivalentTo we now have:


in certain cases there may be two classes that are the same, but they are
not the same individuals. The reason to make this distinction is *entirely*
based on the fact that there are existing and well characterized description
logic reasoning engines where the unconstrained RDF is still somewhat
experimental in the traditional logician's view (this is a gross

OWL was inspired by a melding of the 'free wheeling' RDF ... anyone can say
anything about anything ... with the highly constrained description logic
view of the world. FWIW



News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS