A generalized abstract argumentation framework for inconsistency-tolerant ontology reasoning

作者：

Highlights：

• A general model of argumentation for adapting to different representation languages.

• Dung’s standard semantics are adapted for the reasoning machinery.

• An instantiation into ALC DLs shows its flexibility for ontology reasoning.

• A detailed study is performed on the matter of argumentation rationality.

• Argumentation postulates ensure the well behaviour of an instantiated system.

摘要

•A general model of argumentation for adapting to different representation languages.•Dung’s standard semantics are adapted for the reasoning machinery.•An instantiation into ALC DLs shows its flexibility for ontology reasoning.•A detailed study is performed on the matter of argumentation rationality.•Argumentation postulates ensure the well behaviour of an instantiated system.

论文关键词：Argumentation,Inconsistency-tolerant knowledge base reasoning,Argumentation rationality,Description logics

论文评审过程：Received 13 April 2016, Revised 18 July 2016, Accepted 19 July 2016, Available online 21 July 2016, Version of Record 30 July 2016.

论文官网地址：https://doi.org/10.1016/j.eswa.2016.07.027