Completing description logic knowledge bases using formal concept analysis
F. Baader, B. Ganter, B. Sertkaya, und U. Sattler.
Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)

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.

URL

http://dl.acm.org/citation.cfm?id=1625275.1625311

Suchen auf

Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung

Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen

Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.

@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://puma.uni-kassel.de/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 = {2012-11-18T14:23:57.000+0100},
  title = {Completing description logic knowledge bases using formal concept analysis},
  url = {http://dl.acm.org/citation.cfm?id=1625275.1625311},
  year = 2007
}

%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.

PUMA

Completing description logic knowledge bases using formal concept analysis
F. Baader, B. Ganter, B. Sertkaya, und U. Sattler.
Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

PUMA

Completing description logic knowledge bases using formal concept analysisF. Baader, B. Ganter, B. Sertkaya, und U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)

Tags

Nutzer

Kommentare und Rezensionen

Zitieren Sie diese Publikation

Completing description logic knowledge bases using formal concept analysis
F. Baader, B. Ganter, B. Sertkaya, und U. Sattler.
Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)