An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information

Norihiro Kamide

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 described by the proposed logic.

Download


Paper Citation


in Harvard Style

Kamide N. (2020). An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information.In Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-395-7, pages 313-321. DOI: 10.5220/0008876403130321


in Bibtex Style

@conference{icaart20,
author={Norihiro Kamide},
title={An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information},
booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2020},
pages={313-321},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008876403130321},
isbn={978-989-758-395-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information
SN - 978-989-758-395-7
AU - Kamide N.
PY - 2020
SP - 313
EP - 321
DO - 10.5220/0008876403130321