Re: SUO: Re: SUMO / IFF
Seth and Adam,
It would be nice to get the IFF Foundation Ontology into a more browsable
format, whether hosted in the Teknowledge browser or other, and I am
definitely open to such a development. But right now I am very busy working
on version 2.0 of the IFF Foundation Ontology (concept lattices). If anyone
could help accomplish this (perhaps you Seth), I would very much appreciate
it. I have put a small bit of the IFF ontologies into Philip Jackson's
Common Ontology Development Architecture (Coda)
[https://www.quickbase.com/db/6urbwpxk] and SUO Coda Ontology Modules
[https://www.quickbase.com/db/6ztfq6sg]. Given that rather labor-intensive
effort which was done by hand, I would strongly recommend some more
automated method.
Robert E. Kent
rekent@ontologos.org
----- Original Message -----
From: "Adam Pease" <apease@ks.teknowledge.com>
To: "Seth Russell" <seth@robustai.net>; "Robert Grayson Spillers"
<skydog@postoffice.pacbell.net>; "'Standard-Upper-Ontology '"
<standard-upper-ontology@ieee.org>
Sent: Wednesday, August 29, 2001 2:50 PM
Subject: Re: SUO: Re: SUMO / IFF
>
> Seth,
> I've offered to Robert that if he can set IFF into SUO-KIF we'll be
> happy to host it in our browser. The only two issues that would require
> some work that I'm aware of would be that Robert uses sorted quantifiers
> and namespace prefixes which our parser doesn't support. However, the
> sorted quantifiers could be expressed as
>
> (exists (?X)
> (instance ?X Foo)
> ...)
>
> instead of
>
> (exists (?X:Foo)
> ...)
actually,
(exists (?X (Foo ?X))
...)
>
> and the $ character for namespace prefixes could just be changed to an
> underscore.
>
> Adam
>
> At 02:19 PM 8/29/2001 -0700, Seth Russell wrote:
>
> >Can we get the IFF in a surfable web site like SUMO ?
> >http://makeashorterlink.com/index.php?R5E522C0
> >
> >Seth Russell
>
> Adam Pease
> Teknowledge
> (650) 424-0500 x571
>