Hi Peter,
If the phrase "must not be a real world entity" is definitive, then I
think we'd just add a constraint to the relationship that not only is it a
SymbolicString, but also that the string does not refer to an instance of
&%Physical. We could subclass SymbolicString with NonReferentialString and
the axiom (01)
(=>
(instance ?X NonReferentialString)
(not
(exists (?Y)
(and
(instance ?Y Physical)
(refers ?X ?Y))))) (02)
That seems a little hokey to me though. What would be a case of a code not
referring to something in the real world? What does "real world" mean more
specifically? Does it directly correspond with SUMO's Physical? (03)
Adam (04)
At 01:06 PM 10/27/2004, Peter Denno wrote:
>Hi Adam,
>
>On Wednesday 27 October 2004 15:50, Adam Pease wrote:
> > Hi Peter,
> > Since Entity is the top class of all things, the referent of the
> > ContentBearingObject need not be a real world object. It can be anything
> > real or imagined.
>
>Agreed.
>
>My point is that to model the restriction stated in the definition of Code
>Type, that Code Type should not be used to identify an object in the real
>world, the referent ought to be an &%Attribute or maybe &%Abstract (Which one
>I'm not sure. I'm struggling a bit with my understanding of SUMO).
>
>Abstract = Properties or qualities as distinguished from any particular
>embodiment of the properties/qualities in a physical medium.
>
>--
>Best Regards,
>- Peter
>
>Peter Denno
>National Institute of Standards and Technology,
>Manufacturing System Integration Division,
>100 Bureau Drive, Mail Stop 8260 Tel: +1 301-975-3595
>Gaithersburg, MD, USA 20899-8260 FAX: +1 301-975-4694
>_________________________________________________________________
>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
> (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)
|