[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: many-to-many


sameindividualas owl
Uche Ogbuji wrote:
>
> Also, I think that owl:sameIndividualAs might have been inspired by TM,
since
> the last time I remember discussion of standard assertion of the
equivalence
> 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:

owl:sameClassAs
owl:sameIndividualAs
owl:sameAs

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
simplification)

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

Jonathan


PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.