[lkb] LKB Type Hierarchy

"Roswell C. Miller" <[email protected]> Tue, 27 Aug 2013 14:28:29 -0400
Newsgroups gmane.comp.ai.lkb
Message-ID <006f01cea353$3b1ef260$b15cd720$@com>
This is a multi-part message in MIME format.

------=_NextPart_000_0070_01CEA331.B40D5260
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit

Can anyone refer me to or email me a detailed description of the
algorithm(s) used in LKB to "complete" the type hierarchy for ERG?

 

Thanks for the help.

 

_______________________

Roswell C. Miller

399 Main Ave Apt 501

Norwalk, CT 06851

203-253-6453

 


------=_NextPart_000_0070_01CEA331.B40D5260
Content-Type: text/html;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

<html xmlns:v=3D"urn:schemas-microsoft-com:vml" =
xmlns:o=3D"urn:schemas-microsoft-com:office:office" =
xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" =
xmlns=3D"http://www.w3.org/TR/REC-html40"><head><META =
HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii"><meta name=3DGenerator content=3D"Microsoft Word 12 =
(filtered medium)"><style><!--
/* Font Definitions */
@font-face
	{font-family:"Cambria Math";
	panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
	{font-family:Calibri;
	panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0in;
	margin-bottom:.0001pt;
	font-size:11.0pt;
	font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
	{mso-style-priority:99;
	color:blue;
	text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
	{mso-style-priority:99;
	color:purple;
	text-decoration:underline;}
span.EmailStyle17
	{mso-style-type:personal-compose;
	font-family:"Calibri","sans-serif";
	color:windowtext;}
.MsoChpDefault
	{mso-style-type:export-only;}
@page WordSection1
	{size:8.5in 11.0in;
	margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
	{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]--></head><body lang=3DEN-US link=3Dblue =
vlink=3Dpurple><div class=3DWordSection1><p class=3DMsoNormal>Can anyone =
refer me to or email me a detailed description of the algorithm(s) used =
in LKB to &#8220;complete&#8221; the type hierarchy for =
ERG?<o:p></o:p></p><p class=3DMsoNormal><o:p>&nbsp;</o:p></p><p =
class=3DMsoNormal>Thanks for the help.<o:p></o:p></p><p =
class=3DMsoNormal><o:p>&nbsp;</o:p></p><p class=3DMsoNormal><span =
style=3D'font-size:12.0pt'>_______________________<o:p></o:p></span></p><=
p class=3DMsoNormal><b><span style=3D'font-size:12.0pt'>Roswell C. =
Miller<o:p></o:p></span></b></p><p class=3DMsoNormal><span =
style=3D'font-size:12.0pt'>399 Main Ave Apt 501<o:p></o:p></span></p><p =
class=3DMsoNormal><span style=3D'font-size:12.0pt'>Norwalk, CT =
06851<o:p></o:p></span></p><p class=3DMsoNormal><span =
style=3D'font-size:12.0pt'>203-253-6453<b><o:p></o:p></b></span></p><p =
class=3DMsoNormal><o:p>&nbsp;</o:p></p></div></body></html>
------=_NextPart_000_0070_01CEA331.B40D5260--