ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] URIs [was: Truth]

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: Kingsley Idehen <kidehen@xxxxxxxxxxxxxx>
Date: Tue, 10 Jul 2012 22:39:45 -0400
Message-id: <4FFCE771.5080802@xxxxxxxxxxxxxx>
On 7/10/12 6:27 PM, Obrst, Leo J. wrote:
> Kingsley,
>
> I have a question about one of your comments: see below.
>
> Thanks,
> Leo
>
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx 
>[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Kingsley Idehen
> Sent: Tuesday, July 10, 2012 5:48 PM
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Subject: Re: [ontolog-forum] URIs [was: Truth]
> ...
>
> You are moving all over the place with me here. Have I implied that
> Triple patterns are the only vehicle for Hyperdata? And FWIW you can use
> reification syntax to keep statements about anything down to triples,
> the ultimate problem is the current reification vocabulary doesn't work
> on the engineering side of things, so alternatives are needed if we
> don't want to increase computing costs across the board. There's work
> taking place that will soon be published with engineered examples in the
> not too distant future.
> [Leo: ] What is this work? Can you point me to it? Reification has always 
>been an issue because there's limited semantics for it, unless you provide an 
>ontology for reifying, I guess. Statements require some propositional attitude 
>semantics, no? The syntactic graph structure is there, for reification, but 
>that's it, right? This is my understanding.            (01)

Leo,    (02)

Work relates to the light comments posted here: 
http://www.openlinksw.com/dataspace/oerling/weblog/Orri%20Erling%27s%20Blog/1705    (03)

.    (04)

A full proposal and 2 independent reference implementations are in the 
works from OpenLink Software and SYSTAP.    (05)

I'll pick up he rest with you offline, for now.    (06)

Kingsley    (07)

>
> I refer to: http://www.w3.org/TR/rdf-mt/#Reif:
>
> "A reification of a triple does not entail the triple, and is not entailed by 
>it. (The reification only says that the triple token exists and what it is 
>about, not that it is true. ..."
>
>   
> _________________________________________________________________
> 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
>   
>
>    (08)


--     (09)

Regards,    (010)

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    (011)

Attachment: 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)

<Prev in Thread] Current Thread [Next in Thread>