Adam, (01)
Thanks. I've posted that to the wiki (against your formalization
tutorial-2 session). See:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologWorkshop_Nov_2003#nid0134 (02)
-ppy
-- (03)
Adam Pease wrote Wed, 07 Jan 2004 13:16:37 -0800: (04)
> Peter,
> Having listened to the recording, it doesn't sound to me like there
> was any formalization exercise beyond one example I did about the notion
> of a resource. I don't think I saved it, but here would be a
> reconstruction of the axiom it sounds like I was creating at the meeting
>
> (=>
> (and
> (consumableResource ?EV ?RES)
> (holdsDuring
> (ImmediatePastFn ?EV)
> (measure ?RES ?MEAS1))
> (holdsDuring
> (ImmediateFutureFn ?EV)
> (measure ?RES ?MEAS2)))
> (greaterThan ?MEAS1 ?MEAS2))
>
> Actually, this is already an axiom on the existing SUMO relation of
> "resource"
>
> Adam
> (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|