SUO: Re: Web-based ontology browsers
Hmmm .... can I ask some stupid questions ....
(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
(2) Will we not still need to *manually* develop the assertions for the
mappings f and g in my diagram?
(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 ?
(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?
I am having troubles understanding the level of abstraction of your papers.
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.
... I guess I shouldn't have skipped orientation day :(
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
>
>
>
>
>