Re: [ontolog-forum] Ontology and methodology

[andersen@xxxxxxxxxxxxxxxxx]

Chris..    (01)

You're right.  Lots of think-o's in here.    (02)

>> (forall (A B)
>>   (if
>>     (and (class A) (class B))
>>     (iff
>>       (subclass A B)
>>       (and
>>         (Nec (forall (x) (if (A x) (B x))))
>>         (Nec (exists (x) (and (A x) (not (B x)))))
>>      ))))
>
> You've got A and B turned around in that last line,    (03)

I certainly do.  You're right.  Thanks.    (04)

>          (Poss (exists (x) (and (B x) (not (A x)))))    (05)

100% correct.  Thanks for catching my bugs.  I'm typing faster than I'm
thinking.  The intuition is that it has to be possible for there to be a
member of the superclass that is not a member of the subclass.    (06)

  .bill    (07)


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