ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Accommodating legacy software

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "doug foxvog" <doug@xxxxxxxxxx>
Date: Wed, 5 Sep 2012 00:02:12 -0400
Message-id: <52390fdb73d5913c3cb74a41757086fd.squirrel@xxxxxxxxxxxxxxxxx>
On Tue, September 4, 2012 17:02, Kingsley Idehen wrote:
> On 9/4/12 3:41 PM, doug foxvog wrote:
>> On Tue, September 4, 2012 12:34, Kingsley Idehen wrote:
...    (01)

>>> I believe Data denotes Subject Observation.
>>> I believe all observations are comprised of:
>>> 1. a subject
>>> 2. subject attributes
>>> 3. subject attribute values.    (02)

...
>> One common type of observation is that A is between B and C.
>> How would you express this with a single triple?    8)#    (03)

> I would state that A is between B. A is Between C. Then I would define
> the semantics of  the  'Between' predicate  .    (04)

!??
Let's explore this:
  (and
     (between   10 5 11)
     (between   10 4 11)
     (between   10 6 11)
     (between   10 7 11))
Using the KI translator this becomes:
  AND
    10 is between 5
    10 is between 11
    10 is between 4
    10 is between 11
    10 is between 6
    10 is between 11
    10 is between 7
    10 is between 11.    (05)

What semantics does the between predicate have?    (06)

How about the quaternary predicate, isBetweenOnPath?
Can you express the following with triples:    (07)

(and
  (isBetweenOnPath WashingtonDC Maryland Virginia I95)
  (not (isBetweenOnPath WashingtonDC Maryland Virginia I495)))    (08)


-- doug foxvog
...
>
> Kingsley
>>
>> -- doug foxvog    (09)



_________________________________________________________________
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    (010)

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