[Top] [All Lists]

Re: [ontolog-forum] Personas article URL

To: MDaconta@xxxxxxx, MDaconta@xxxxxxx, ontolog-forum@xxxxxxxxxxxxxxxx
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Thu, 07 Aug 2003 08:04:49 -0700
Message-id: <>
   My understanding is that first order logic completely subsumes frames 
and description logics.  So, nothing would be lost by choosing KIF.    (01)

Adam    (02)

At 11:00 AM 8/7/2003 -0400, MDaconta@xxxxxxx wrote:
>Hi Adam,
>I agree that the axioms are important to have. Do we lose any frame-based
>functionality in KIF?
>Also, as we go through this I would like us to continue to highlight 
>differences between
>the approaches.
>- Mike
>In a message dated 8/6/03 10:36:16 PM, adampease@xxxxxxxxxxxxx writes:
>>    One can't just put off considering the axioms until later, because they
>>depend on the basic terms and relations.  If the terms and relations are
>>created in a limited frame language, it will be make the axioms very hard
>>to state in a general way later.
>>    If we agree that axioms are important to have (at some point in the
>>development process), then its important right now to create a
>>representation that will accommodate them later.
>Michael C. Daconta
>Chief Scientist, APG, McDonald Bradley, Inc.
>www.daconta.net    (03)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

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