SUO: Re: Web-based ontology browsers
----- Original Message -----
From: "Seth Russell" <seth@robustai.net>
To: "Robert E. Kent" <rekent@ontologos.org>
Cc: "Philip Jackson" <phil.jackson@computer.org>; "SUO"
<standard-upper-ontology@ieee.org>
Sent: Saturday, September 01, 2001 4:29 PM
Subject: Re: Web-based ontology browsers
> Hmmm .... can I ask some stupid questions ....
OK.
> (1) Does my diagram below accurately express the definition of
infomorphism
> as you described it in section 2 of your paper The Information Flow
> Foundation for Conceptual Knowledge Organization?
>
> http://robustai.net/mentography/infoMorphism.gif
Probably not. An infomorphism has four components: two classifications and
two functions. As expressed by the KIF axioms, there are typing constraints
and a constraint called the fundamental property of infomorphisms.
> (2) Will we not still need to *manually* develop the assertions for the
> mappings f and g in my diagram?
I do not think the diagram represents the infomorphism concept. In the IFF
Foundation Ontology the axioms for infomorphisms are complete (not meant
logically, but intuitively).
> (3) Are we expected to be able to input two consistent ontologies and
> produce a third consistent ontology somehow by inputting these axioms to
> some tool that exists today ?
That was being discussed yesterday in a different thread
[http://suo.ieee.org/email/msg06373.html].
> (4) Haven't the IFF axioms been run through some automated logical tool,
> somewhere ... or do they exist solely in your word documents? If so what
is
> the URL of that tool ? If not, who is doing the research to develop it?
No, they have not as far as I know. That can be done, but, in my opinion, a
better step is to get a couple of experts to first review it (see
[http://grouper.ieee.org/groups/suo/email/msg05106.html]).
> I am having troubles understanding the level of abstraction of your
papers.
It is fairly high -- after all, it is category theory (see
[http://www.mta.ca/~cat-dist/categories.html]).
> I'm looking for concrete algorithm and tools that are working today or can
> be made to work in the short term so that communities (who don't have
> mathematicians on staff) can start sharing knowledge. Perhaps I need to
> find someone that can translate these ideas into layman's terms.
Two points:
(1) The goal of IFF Foundation Ontology is to represent the SUO metalevel.
(2) The axiomatization of the IFF Foundation Ontology is only partially
complete. I am releasing it in versions, as the modules (in my opinion)
become mature. Version 1.0 represents a baseline of category theory. Version
2.0 will add an axiomatization for concept lattices. Version 3.0 will add a
further module for model theory, thus giving the SUO an abstract semantics
that can be reasoned about.
> ... I guess I shouldn't have skipped orientation day :(
Yup.
Robert E. Kent
rekent@ontologos.org
>
> Seth Russell
>
> ---in response to--
> From: "Robert E. Kent" <rekent@ontologos.org>
> To: "Seth Russell" <seth@robustai.net>
> Cc: "Philip Jackson" <phil.jackson@computer.org>; "SUO"
> <standard-upper-ontology@ieee.org>
> Sent: Saturday, September 01, 2001 3:11 PM
> Subject: Re: Web-based ontology browsers
>
>
> > Seth,
> >
> > ----- Original Message -----
> > From: "Seth Russell" <seth@robustai.net>
> > To: "Robert E. Kent" <rekent@ontologos.org>
> > Cc: "Philip Jackson" <phil.jackson@computer.org>; "SUO"
> > <standard-upper-ontology@ieee.org>
> > Sent: Saturday, September 01, 2001 12:25 PM
> > Subject: Re: Web-based ontology browsers
> >
> > > Unfortunately I lopped MS-Word off my computers, but could you post
> > > somewhere the HTML ... maybe if we can see the actual data the
solutions
> > > will emerge more easily.
> > >
> > > Seth Russell
> >
> > The IFF Foundation Ontology (version 1.0) is written in MS-Word format.
> The
> > PDF file [http://suo.ieee.org/Kent-IFF.pdf] was converted by Adobe
Acrobat
> > from this DOC file: DOC => PS => PDF.
> >
> > I have used MS-Word to generate the corresponding HTML file. As I
> mentioned
> > before, this is bloated, is not formatted too well, and has had some of
> the
> > figures and diagram repositioned. I have placed this on the page
> >
>
[http://www.ontologos.org/IFF/Metalevel/Foundation%20Ontology/The%20IFF%20Fo
> > undation%20Ontology.html], which can be accessed from the page
> > [http://www.ontologos.org/Papers/Papers.html]. This is a 3.5 magabyte
HTML
> > file (!!*!?!), so grab your game boy or knitting while waiting for it to
> > load. Word also generated 62 GIF files and placed these in the
> subdirectory
> >
>
[http://www.ontologos.org/IFF/Metalevel/Foundation%20Ontology/The%20IFF%20Fo
> > undation%20Ontology_files/].
> >
> > In the Word document the KIF axioms were placed in Word tables with
> "Courier
> > New" font. For example, consider the following small table at the bottom
> of
> > page 17 in the PDF version [http://suo.ieee.org/Kent-IFF.pdf].
> >
> > (1) (KIF$class collection)
> > (forall (?c (collection ?c)) (KIF$class ?c))
> >
> > (2) (collection conglomerate)
> > (forall (?c (conglomerate ?c)) (collection ?c))
> > (not (conglomerate conglomerate))
> >
> > This is rendered as follows in the HTML version that MS-Word generates.
If
> > you look closely, you can see the above axioms within the dense
> formatting.
> >
> > <table border=0 cellspacing=0 cellpadding=0 style='margin-left:.25in;
> > border-collapse:collapse;mso-padding-alt:0in 5.4pt 0in 5.4pt'>
> > <tr>
> > <td width=566 valign=top style='width:5.9in;padding:0in 5.4pt 0in
> 5.4pt'>
> > <p class=MsoNormal align=left style='text-align:left'><span
> > style='mso-bookmark:
> > _Toc515954238'><span style='font-size:8.0pt;mso-bidi-font-size:12.0pt;
> > font-family:"Courier New"'>(1) (KIF$class
> > collection)<o:p></o:p></span></span></p>
> > <p class=MsoNormal align=left style='text-align:left'><span
> > style='mso-bookmark:
> > _Toc515954238'><span style='font-size:8.0pt;mso-bidi-font-size:12.0pt;
> > font-family:"Courier New"'><span style="mso-spacerun: yes">
> > </span>(forall
> > (?c (collection ?c)) (KIF$class ?c))<o:p></o:p></span></span></p>
> > <p class=MsoNormal align=left style='text-align:left'><span
> > style='mso-bookmark:
> > _Toc515954238'><span style='font-size:8.0pt;mso-bidi-font-size:12.0pt;
> > font-family:"Courier New"'><![if
> > !supportEmptyParas]> <![endif]><o:p></o:p></span></span></p>
> > <p class=MsoNormal align=left style='text-align:left'><span
> > style='mso-bookmark:
> > _Toc515954238'><span style='font-size:8.0pt;mso-bidi-font-size:12.0pt;
> > font-family:"Courier New"'>(2) (collection
> > conglomerate)<o:p></o:p></span></span></p>
> > <p class=MsoNormal align=left style='text-align:left'><span
> > style='mso-bookmark:
> > _Toc515954238'><span style='font-size:8.0pt;mso-bidi-font-size:12.0pt;
> > font-family:"Courier New"'><span style="mso-spacerun: yes">
> > </span>(forall
> > (?c (conglomerate ?c)) (collection ?c))<o:p></o:p></span></span></p>
> > <p class=MsoNormal align=left style='text-align:left'><span
> > style='mso-bookmark:
> > _Toc515954238'><span style='font-size:8.0pt;mso-bidi-font-size:12.0pt;
> > font-family:"Courier New"'><span style="mso-spacerun: yes">
> </span>(not
> > (conglomerate conglomerate))<o:p></o:p></span></span></p>
> > </td>
> > <span style='mso-bookmark:_Toc515954238'></span>
> > </tr>
> >
> > As indicated by this example, perhaps the KIF axioms can be extracted
from
> > the pattern of this formatting.
> >
> > Robert E. Kent
> > rekent@ontologos.org
> >
> >
> >
> >
> >
>