A general method for diagnosing axioms
暂无分享,去创建一个
Stefan Rass | Kostyantyn Shchekotykhin | G. Friedrich | Konstantin Schekotihin | Gerhard Friedrich | S. Rass
[1] Alan L. Rector,et al. Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.
[2] Peter Linz,et al. An Introduction to Formal Languages and Automata , 1997 .
[3] Stefan Schlobach,et al. Diagnosing Terminologies , 2005, AAAI.
[4] Gerhard Friedrich,et al. A General Diagnosis Method for Ontologies , 2005, SEMWEB.
[5] Ulrich Junker,et al. QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.
[6] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[7] Markus Stumptner,et al. Modeling Java Programs for Diagnosis , 2000, ECAI.
[8] Frank van Harmelen,et al. A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.