Re: Krypton FKR

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