<?xml version="1.0" ?>
<!-- This file was exported from BibSonomy, http://www.bibsonomy.org -->

<bibliography>

<biblioentry xreflabel="conf/kr/CohenH94" id="conf/kr/CohenH94">
   <authorgroup>
       <author><firstname>William</firstname><othername role="mi">W.</othername><surname>Cohen</surname></author>
       <author><firstname>Haym</firstname><surname>Hirsh</surname></author> 
   </authorgroup>
<citetitle pubwork="article">Learning the Classic Description Logic: Theoretical and Experimental Results.</citetitle>




   <artpagenums>121-133</artpagenums> 
   <pubdate>1994</pubdate>  

</biblioentry>
<biblioentry xreflabel="journals/ml/CohenH94" id="journals/ml/CohenH94">
   <authorgroup>
       <author><firstname>William</firstname><othername role="mi">W.</othername><surname>Cohen</surname></author>
       <author><firstname>Haym</firstname><surname>Hirsh</surname></author> 
   </authorgroup>
<citetitle pubwork="article">The Learnability of Description Logics with Equality Constraints.</citetitle>
   <citetitle pubwork="journal">Machine Learning</citetitle>

   <volumenum>17</volumenum> 

   <artpagenums>169-199</artpagenums> 
   <pubdate>1994</pubdate>  

</biblioentry>
<biblioentry xreflabel="citeulike:550834" id="citeulike:550834">
   <authorgroup>
       <author><firstname>U.</firstname><surname>Hustadt</surname></author>
       <author><firstname>R.</firstname><othername role="mi">A.</othername><surname>Schmidt</surname></author>
       <author><firstname>L.</firstname><surname>Georgieva</surname></author> 
   </authorgroup>
<citetitle pubwork="article">A Survey of Decidable First&#45;Order Fragments and Description Logics</citetitle>





   <pubdate>2004</pubdate>  
   <abstract>
      <para>The guarded fragment and its extensions and subfragments are often considered&#10;as a framework for investigating the properties of description logics. There are&#10;also other&#44; some less well&#45;known&#44; decidable fragments of first&#45;order logic which all have&#10;in common that they generalise the standard translation of&#10;&#10;&#10;to first&#45;order logic. We&#10;provide a short survey of some of these fragments and motivate why they are interesting&#10;with respect to description logics&#44; mentioning also connections to...
      </para>
   </abstract>
</biblioentry>
</bibliography>
