Finding Maximally Satisfiable Terminologies for the Description Logic ALC

Thomas Meyer, Kevin Lee, Richard Booth, Jeff Z Pan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationProceedings of the 21st National Conference on Artificial Intelligence
EditorsAnthony Cohn
PublisherAAAI Press
Pages269-274
Number of pages6
Volume1
ISBN (Electronic)978-1-57735-297-6
ISBN (Print)978-1-57735-281-5
Publication statusPublished - 16 Jul 2006
EventThe Twenty-First National Conference on Artificial Intelligence - Boston, United States
Duration: 16 Jul 200620 Jul 2006
Conference number: 21
https://www.aaai.org/Conferences/AAAI/aaai06.php

Conference

ConferenceThe Twenty-First National Conference on Artificial Intelligence
Abbreviated titleAAAI 2006
Country/TerritoryUnited States
CityBoston
Period16/07/0620/07/06
Internet address

Fingerprint

Dive into the research topics of 'Finding Maximally Satisfiable Terminologies for the Description Logic ALC'. Together they form a unique fingerprint.

Cite this