Re: [ontolog-forum] Ontology similarity and accurate communication

["Patrick Cassidy" <pat@xxxxxxxxx>]

Typo in previous note - sorry:

 

          (endsAt  OBJ-TS  ?T1))

  Should be           (endsAt  OBJ-TS  ?T2))

 

 

The full axiom:

The two ‘attribute’ relations are related by the axiom, similar to the one above:

 

   (=>

      (and

          (instance OBJ-TS  PhysicalObject)

          (instance OBJ-TS  TimeSlice)

          (startsAt OBJ-TS  ?T1)

          (endsAt  OBJ-TS  ?T2))

     (<=>

         (hasAttributeInInterval OBJ-TS ?ATTR  (interval ?T1 ?T2))

         (has Attribute OBJ-TS ?ATTR)))

 

Pat

 

Patrick Cassidy

MICRA, Inc.

908-561-3416

cell: 908-565-4053

cassidy@xxxxxxxxx

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