My understanding is that first order logic completely subsumes frames
and description logics. So, nothing would be lost by choosing KIF. (01)
At 11:00 AM 8/7/2003 -0400, MDaconta@xxxxxxx wrote:
>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
>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.
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)