LATPub437

{{Publikation Details |Abstract=Axiom-Pinpointing bestimmt die für eine Konsequenz verantwortlichen Axiome einer Ontologie und unterstützt dadurch die Suche und Behebung von Fehlern. In der Dissertation von Rafael Peñaloza, deren Resultate hier zusammengefasst werden, wurde untersucht, unter welchen Bedingungen sich tableau-artige und auf automaten-basierte Schlussfolgerungsverfahren für Beschreibungslogiken stets zu Pinpointing-Verfahren erweitern lassen. Zusätzlich wurde die Komplexität des Pinpointing-Problems erforscht. |ISBN= |ISSN= |Link= |Download=Pena-GI10.pdf |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@inproceedings{ Pena-GI10,

 address = {Germany},
 author = {Rafael {Pe{\~n}aloza} },
 booktitle = {Ausgezeichnete Informatikdissertationen 2009},
 note = {In german},
 pages = {181--190},
 publisher = {Gesellschaft f{\"u}r Informatik},
 series = {Lecture Notes in Informatics},
 title = {Wie findet man die verantwortliche {A}xiome? {A}xiom-{P}inpointing in {B}eschreibungslogiken},
 volume = {D10},
 year = {2010},

} }}