To: | adampease@xxxxxxxxxxxxx, MDaconta@xxxxxxx, ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | MDaconta@xxxxxxx |
Date: | Thu, 7 Aug 2003 11:00:51 EDT |
Message-id: | <14d.22750b5f.2c63c3a3@xxxxxxx> |
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. Thanks, - 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 |
Previous by Date: | Re: [ontolog-forum] Personas article URL, Adam Pease |
---|---|
Next by Date: | Re: [ontolog-forum] Personas article URL, Adam Pease |
Previous by Thread: | Re: [ontolog-forum] Personas article URL, Adam Pease |
Next by Thread: | Re: [ontolog-forum] Personas article URL, Adam Pease |
Indexes: | [Date] [Thread] [Top] [All Lists] |