PUMA publications for /user/jaeschke/dl%20basehttps://puma.uni-kassel.de/user/jaeschke/dl%20basePUMA RSS feed for /user/jaeschke/dl%20base2024-03-29T10:42:36+01:00Completing description logic knowledge bases using formal concept analysishttps://puma.uni-kassel.de/bibtex/287f98ae486014ba78690ffa314b67da8/jaeschkejaeschke2012-11-18T14:23:57+01:00analysis base complete concept description dl fca formal knowledge logic ontology <span class="authorEditorList"><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Franz Baader" itemprop="url" href="/author/Franz%20Baader"><span itemprop="name">F. Baader</span></a></span>, <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Bernhard Ganter" itemprop="url" href="/author/Bernhard%20Ganter"><span itemprop="name">B. Ganter</span></a></span>, <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Baris Sertkaya" itemprop="url" href="/author/Baris%20Sertkaya"><span itemprop="name">B. Sertkaya</span></a></span>, und <span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Ulrike Sattler" itemprop="url" href="/author/Ulrike%20Sattler"><span itemprop="name">U. Sattler</span></a></span>. </span><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Proceedings of the 20th international joint conference on Artifical intelligence</span>, </em></span><em>Seite <span itemprop="pagination">230--235</span>. </em><em>San Francisco, CA, USA, </em><em><span itemprop="publisher">Morgan Kaufmann Publishers Inc.</span>, </em>(<em><span>2007<meta content="2007" itemprop="datePublished"/></span></em>)Sun Nov 18 14:23:57 CET 2012San Francisco, CA, USAProceedings of the 20th international joint conference on Artifical intelligence230--235Completing description logic knowledge bases using formal concept analysis2007analysis base complete concept description dl fca formal knowledge logic ontology We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert. The use of techniques from Formal Concept Analysis ensures that, on the one hand, the interaction with the expert is kept to a minimum, and, on the other hand, we can show that the extended knowledge base is complete in a certain, well-defined sense.