PatH,
There is an axiom provide by you during this thread which I would like to
clarify: (01)
>> (forall (x (t Time) P)(iff (P x t)(P (x during t)) )) (02)
I have not seen the two different syntactic expressions:
(P x t) and (P (x during t))
Used together before. The first suggests a 3D perspective, and the second
suggests a 4D perspective. (03)
How would you describe the type that "x" belongs to? (04)
The way it is used in those expressions, it looks a lot like the
"dimension neutral object" that I suggested as a way of providing both 3D
and 4D perspectives in the same ontology. In my case, however, I did not
use the (x during t) expression, but created a type "TimeSlice" so that
time-slices (any temporal length) of 4D objects could be expressed in an OWL
formalism. (05)
Is there a documentation somewhere that additionally explains the
intended meaning and use of that type (of which "x" is an instance)? (06)
Pat (07)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (09)
|