PUMA publications for /user/hotho/dlhttps://puma.uni-kassel.de/user/hotho/dlPUMA RSS feed for /user/hotho/dl2024-03-29T10:43:41+01:00- Learning the Classic Description Logic: Theoretical and Experimental Results.https://puma.uni-kassel.de/bibtex/212c5b9d272c941d934bd3dfcc69c37f5/hothohotho2006-02-27T11:27:36+01:00learning logic description machine ml dl <span class="authorEditorList"><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="William W. Cohen" itemprop="url" href="/author/William%20W.%20Cohen"><span itemprop="name">W. Cohen</span></a></span>, und <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Haym Hirsh" itemprop="url" href="/author/Haym%20Hirsh"><span itemprop="name">H. Hirsh</span></a></span>. </span><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">KR</span>, </em></span><em>Seite <span itemprop="pagination">121-133</span>. </em>(<em><span>1994<meta content="1994" itemprop="datePublished"/></span></em>)Mon Feb 27 11:27:36 CET 2006KR121-133Learning the Classic Description Logic: Theoretical and Experimental Results.1994learning logic description machine ml dl dblp
- The Learnability of Description Logics with Equality Constraints.https://puma.uni-kassel.de/bibtex/2482edb5b3b5ede9a0e3be638db81e9fd/hothohotho2006-02-27T11:27:26+01:00learning logic description machine ml dl <span class="authorEditorList"><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="William W. Cohen" itemprop="url" href="/author/William%20W.%20Cohen"><span itemprop="name">W. Cohen</span></a></span>, und <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Haym Hirsh" itemprop="url" href="/author/Haym%20Hirsh"><span itemprop="name">H. Hirsh</span></a></span>. </span><span itemtype="http://schema.org/PublicationIssue" itemscope="itemscope" itemprop="isPartOf"><span itemtype="http://schema.org/Periodical" itemscope="itemscope" itemprop="isPartOf"><span itemprop="name"><em>Machine Learning</em></span></span> <em><span itemtype="http://schema.org/PublicationVolume" itemscope="itemscope" itemprop="isPartOf"><span itemprop="volumeNumber">17 </span></span>(<span itemprop="issueNumber">2-3</span>):
<span itemprop="pagination">169-199</span></em> </span>(<em><span>1994<meta content="1994" itemprop="datePublished"/></span></em>)Mon Feb 27 11:27:26 CET 2006Machine Learning2-3169-199The Learnability of Description Logics with Equality Constraints.171994learning logic description machine ml dl dblp
- Description of the RACER System and its Applicationshttps://puma.uni-kassel.de/bibtex/22a5b2d5f5fc153811ac1c10c50902f5d/hothohotho2006-01-10T13:53:54+01:00racer dl application <span class="authorEditorList"><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Volker Haarslev" itemprop="url" href="/author/Volker%20Haarslev"><span itemprop="name">V. Haarslev</span></a></span>, und <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Ralf Moller" itemprop="url" href="/author/Ralf%20Moller"><span itemprop="name">R. Moller</span></a></span>. </span><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Proceedings of the 2001 International Workshop on Description Logics (DL-2001)</span>, </em></span><em><span itemprop="publisher">CEUR Workshop Proceedings</span>, </em>(<em><span>2001<meta content="2001" itemprop="datePublished"/></span></em>)Tue Jan 10 13:53:54 CET 2006Proceedings of the 2001 International Workshop on Description Logics (DL-2001)Description of the {RACER} System and its Applications2001racer dl application
- Description Logic Programs: Combining Logic Programs with Description Logicshttps://puma.uni-kassel.de/bibtex/2a814ae2cdb62d6a6082726eef4f7e15d/hothohotho2005-12-20T20:21:42+01:00dl <span class="authorEditorList"><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Benjamin Grosof" itemprop="url" href="/author/Benjamin%20Grosof"><span itemprop="name">B. Grosof</span></a></span>, <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Ian Horrocks" itemprop="url" href="/author/Ian%20Horrocks"><span itemprop="name">I. Horrocks</span></a></span>, <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Raphael Volz" itemprop="url" href="/author/Raphael%20Volz"><span itemprop="name">R. Volz</span></a></span>, und <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Stefan Decker" itemprop="url" href="/author/Stefan%20Decker"><span itemprop="name">S. Decker</span></a></span>. </span><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Proc. of WWW-2003</span>, </em></span><em>Budapest, Hungary, </em>(<em><span>Mai 2003<meta content="Mai 2003" itemprop="datePublished"/></span></em>)Tue Dec 20 20:21:42 CET 2005Budapest, HungaryProc. of WWW-200305{Description Logic Programs: Combining Logic Programs with Description Logics}2003dl