Re: Krypton FKR

Thanks Peter

added to our list of resources and good to know someone has the historical
perspective

still trying to figure out priorities of what can be done at CG/WG level
 even if its just understanding the current
challenges and limitations of existing methods, with pointers to open issues

since we have you here, let us know if you can see where priorities may lie
- in in the context of AI KR in the open web assuming there shall be one -
 as we ll be recapping what we are trying to do

Cheers

PDM


On Mon, Mar 4, 2019 at 8:42 PM Peter F. Patel-Schneider <
pfpschneider@gmail.com> wrote:

> 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
>
>