Author:
Norihiro Kamide
Affiliation:
Department of Information and Electronic Engineering, Faculty of Science and Engineering, Teikyo University, Toyosatodai 1-1, Utsunomiya, Tochigi, Japan
Keyword(s):
Description Logic, Inconsistency-tolerant Reasoning, Sequential Information, Embedding Theorem, Decidability.
Abstract:
Description logics are a family of logic-based knowledge representation formalisms. Inconsistency-tolerant description logics, which are extensions of standard description logics, have been studied to cope with inconsistencies that frequently occur in an open world. In this study, an extended inconsistency-tolerant description logic with a sequence modal operator is introduced. The logic proposed is intended to appropriately handle inconsistency-tolerant ontological reasoning with sequential information (i.e., information expressed as sequences, such as time, action, and event sequences). A theorem for embedding the proposed logic into a fragment of the logic is proved. The logic is shown to be decidable by using the proposed embedding theorem. These results demonstrate that using the embedding theorem enables the reuse of previously developed methods and algorithms for the standard description logic for the effective handling of inconsistent ontologies with sequential information de
scribed by the proposed logic.
(More)