On 7/25/13 12:37 PM, Michael Brunnbauer wrote:
> Hello David,
>
> On Thu, Jul 25, 2013 at 11:53:40AM -0400, David Eddy wrote:
>> >I understand the owl:sameAs mechanism STATES the equivalence of thingies.
>> >That's after the fact.
>> >What?if anything?in SW helps DISCOVER the relationships?
> -Automated reasoning (e.g. from a owl:InverseFunctionalProperty statement) (01)
Yes! (02)
I've posted examples in the past demonstrating this via SPARQL [1][2]. (03)
Links: (04)
[1] http://bit.ly/Y6TIfs -- Using SPARQL to Integrate Disparate Data via
InverseFunctionalProperty (IFP) relations
[2] http://bit.ly/WmKlJ0 -- Demonstrating Reasoning via SPARQL & SPARQL
1.1 Property Paths . (05)
-- (06)
Regards, (07)
Kingsley Idehen
Founder & CEO
OpenLink Software
Company Web: http://www.openlinksw.com
Personal Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca handle: @kidehen
Google+ Profile: https://plus.google.com/112399767740508618350/about
LinkedIn Profile: http://www.linkedin.com/in/kidehen (08)
smime.p7s
Description: S/MIME Cryptographic Signature
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01)
|