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