University of Ulm, Faculty of Computer Science, Dept. of Artificial Intelligence up: Publications

A Tableau-based Explainer for DL Subsumption

Thorsten Liebig, Michael Halfmann

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2005
Koblenz, Germany
September 2005

 Abstract

  This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBoxes.  

 Online Copy

  Paper is available as PDF (132 KB)

 BibTeX Entry

  
@InProceedings{Liebig05:_explain_alehfr+,
  author =    "Thorsten Liebig and Michael Halfmann", 
  title =     "{A Tableau-based Explainer for DL Subsumption}",
  year =      2005,
  booktitle = "Proc. of the 2005 International Conference on 
               Automated Reasoning with Analytic Tableaux and
               Related Methods -- TABLEAUX 2005",
  pages =     {323--327},
  editor =    "Bernhard Beckert",
  number =    3702,
  series =    "LNAI",
  address =   "Koblenz, Germany",
  month =     "September",
  publisher = "Springer Verlag"
}

Dept. of AI Homepage Research Help Mail to Webmaster T. Liebig - Mar. 28, 2006