ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] CCTONT work progress

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, ontolog-forum@xxxxxxxxxxxxxxxx
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Wed, 27 Oct 2004 13:13:19 -0700
Message-id: <6.1.2.0.2.20041027130530.026e1ec0@xxxxxxxxxxxxxxxxxx>
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)

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