Sammanfattning Nyligen har problemet med inkonsekvenshantering i beskrivningslogiken väckt stor uppmärksamhet. Många strategier har föreslagits för att ta itu med detta problem på grundval av befintliga metoder för inkonsekvenshantering. I detta dokument definierar vi först två revisionsföretag i beskrivningslogik; den ena kallas för en försvagande versionsoperatör och den andra är dess förfining. Baserat på översynsoperatörerna föreslår vi sedan en algoritm för att hantera inkonsekvens i en stratifierad beskrivningslogisk kunskapsbas. Vi visar att när den försvagning-baserade revisionsoperatören väljs, är den resulterande kunskapsbasen för vår algoritm semantiskt likvärdig med den kunskapsbas som erhålls genom att tillämpa förfinad konjunktiv maxi-justering (RCMA) som förfinar disjunktiv maxi-adjusment (DMA), känd för att vara en bra strategi för inkonsekvenshantering i klassisk logik.
Revideringsoperatörerna av REF är framgångsrika i den meningen att kunskapsbasen för utlösande faktorer ingår i den resulterande kunskapsbasen, men den ursprungliga kunskapsbasen behöver inte bevaras.
A revision-based approach to handling inconsistency in description logics
{'venue': 'Artificial Intelligence Review', 'journal': 'Artificial Intelligence Review', 'mag_field_of_study': ['Computer Science']}