%0 Conference Paper %1 baader2007completing %A Baader, Franz %A Ganter, Bernhard %A Sertkaya, Baris %A Sattler, Ulrike %B Proceedings of the 20th international joint conference on Artifical intelligence %C San Francisco, CA, USA %D 2007 %I Morgan Kaufmann Publishers Inc. %K analysis base complete concept description dl fca formal knowledge logic ontology %P 230--235 %T Completing description logic knowledge bases using formal concept analysis %U http://dl.acm.org/citation.cfm?id=1625275.1625311 %X 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.

@inproceedings{baader2007completing, abstract = {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.}, acmid = {1625311}, added-at = {2012-11-18T14:23:57.000+0100}, address = {San Francisco, CA, USA}, author = {Baader, Franz and Ganter, Bernhard and Sertkaya, Baris and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/287f98ae486014ba78690ffa314b67da8/jaeschke}, booktitle = {Proceedings of the 20th international joint conference on Artifical intelligence}, interhash = {8ab382f3aa141674412ba7ad33316a9b}, intrahash = {87f98ae486014ba78690ffa314b67da8}, keywords = {analysis base complete concept description dl fca formal knowledge logic ontology}, location = {Hyderabad, India}, numpages = {6}, pages = {230--235}, publisher = {Morgan Kaufmann Publishers Inc.}, timestamp = {2014-07-28T15:57:31.000+0200}, title = {Completing description logic knowledge bases using formal concept analysis}, url = {http://dl.acm.org/citation.cfm?id=1625275.1625311}, year = 2007 }