- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Mon, 4 Mar 2019 07:42:09 -0500
- To: public-aikr@w3.org
Hi: Krypton was an important early system in the formalization of semantic networks. Krypton lead to KANDOR (a small piece of Krypton) and some of the very early complexity analyses of reasoning in representation systems with limited expressive power. The subsequent languages came to be called description logics. The most important of these languages is the W3C Web Ontology Language OWL. The main reference for KANDOR is Peter F. Patel-Schneider. Small can be Beautiful in Knowledge Representation. Proceedings of IEEE Workshop on Principles of Knowledge-Based Systems, Denver, Colorado, IEEE Computer Society, December 1984, pages 11--16. but KANDOR was developed by the KR group at the Fairchild Lab for Artificial Intellience Research, not just me. The intractability result is @InProceedings{brachman-levesque:tractability, title= "The Tractability of Subsumption in Frame-Based Description Languages", author= "Brachman, Ronald J. and Levesque, Hector J.", crossref= "aaai84", pages= "34--37"} peter On 3/3/19 2:16 AM, Paola Di Maio wrote: > > Reading about Krypton, (loading this resource to the form) > wonder if anyone has any experience and updates > https://web.stanford.edu/class/cs227/Readings/KryptonAFunctionalApproachToKRR.pdf
Received on Monday, 4 March 2019 12:42:34 UTC