We present an approach for performing instance checking in a suitable subset of possibilistic description logic programming ontologies by using argument accrual. Ontologies are interpreted in possibilistic logic programming under Dung's grounded semantics. We present a reasoning framework with a case study and a Java-based implementation for enacting the proposed approach.
Notas
XVII Workshop Agentes y Sistemas Inteligentes (WASI).
Información general
Fecha de exposición:octubre 2016
Fecha de publicación:2016
Idioma del documento:Inglés
Evento:XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016).
Institución de origen:Red de Universidades con Carreras en Informática (RedUNCI)