Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
2017 ◽
Vol 17
(02)
◽
pp. e16
Keyword(s):
We present an approach for performing instance checking in possibilistic description logic programming ontologies by accruing arguments that support the membership of individuals to concepts. Ontologies are interpreted as possibilistic logic programs where accruals of arguments as regarded as vertexes in an abstract argumentation framework. A suitable attack relation between accruals is defined. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach that is capable of reasoning under Dung’s grounded semantics.
2020 ◽
Vol 20
(5)
◽
pp. 703-718
2019 ◽
Vol 19
(5-6)
◽
pp. 688-704
2011 ◽
Vol 11
(4-5)
◽
pp. 433-449
◽
Keyword(s):
2011 ◽
Vol 13
(1)
◽
pp. 33-70
◽
2014 ◽
Vol 49
◽
pp. 79-109
◽
2009 ◽
Vol 50
(6)
◽
pp. 837-853
◽
2002 ◽
Vol 17
(9)
◽
pp. 887-924
◽
Keyword(s):
Keyword(s):