Queries With Exact Truth Values in Paraconsistent Description Logics

Download PDF
Open Webpage

Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko

Published: 01 Jan 2024, Last Modified: 06 Aug 2025KR 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present a novel approach to querying classical inconsistent description logic (DL) knowledge bases by adopting a paraconsistent semantics with the four ‘Belnapian’ values: exactly true (T), exac...