Abstract
For ontologies represented as Description Logic Tboxes, optimised DL reasoners are able to detect logical errors, but there is comparatively limited support for resolving such problems. One possible remedy is to weaken the available information to the extent that the errors disappear, but to limit the weakening process as much as possible. The most obvious way to do so is to remove just enough Tbox sentences to eliminate the errors. In this paper we propose a tableaulike procedure for finding maximally concept-satisfiable terminologies represented in the description logic ALC. We discuss some optimisation techniques, and report on preliminary, but encouraging, experimental results.
Original language | English |
---|---|
Title of host publication | Proceedings of the 21st National Conference on Artificial Intelligence |
Editors | Anthony Cohn |
Publisher | AAAI Press |
Pages | 269-274 |
Number of pages | 6 |
Volume | 1 |
ISBN (Electronic) | 978-1-57735-297-6 |
ISBN (Print) | 978-1-57735-281-5 |
Publication status | Published - 16 Jul 2006 |
Event | The Twenty-First National Conference on Artificial Intelligence - Boston, United States Duration: 16 Jul 2006 → 20 Jul 2006 Conference number: 21 https://www.aaai.org/Conferences/AAAI/aaai06.php |
Conference
Conference | The Twenty-First National Conference on Artificial Intelligence |
---|---|
Abbreviated title | AAAI 2006 |
Country/Territory | United States |
City | Boston |
Period | 16/07/06 → 20/07/06 |
Internet address |