Abstrakt. I detta dokument föreslår vi en metod för att mäta inkonsekvens i inkonsekventa ontologier. Vi definierar först graden av inkonsekvens i en inkonsekvent ontologi med hjälp av en fyrvärderad semantik för beskrivningslogiken ALC. Sedan en beställning över inkonsekvent ontologier ges genom att överväga deras inkonsekvens grader. Vårt mått på inkonsekvens kan ge viktig information för inkonsekvenshantering.
Det tillvägagångssätt som ges i REF definieras av en fyrvärdig semantik av DL ALC.
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
{'venue': 'Description Logics', 'journal': None, 'mag_field_of_study': ['Computer Science']}