Sammanfattning I denna artikel studerar vi diagnos och reparation av inkonsekventa terminologier. Vi definierar ett antal nya icke-standardbaserade resonemangstjänster för att förklara inkonsekvens genom att identifiera, och vi presenterar algoritmer för alla dessa tjänster. För en av de viktigaste uppgifterna för felsökning, beräkningen av minimal otillfredsställbarhet bevara subterminologier, utvecklade vi två olika algoritmer, en genomföra en bottom-up strategi med hjälp av stöd av en extern beskrivning logik reacer, den andra genomföra en specialiserad tablå-baserad kalkyl. Båda algoritmerna har prototypiskt implementerats. Vi studerar effektiviteten hos våra algoritmer på två sätt: vi presenterar en realistisk fallstudie där vi diagnostiserar en terminologi som används i en praktisk tillämpning, och vi utför kontrollerade referensexperiment för att få en bättre förståelse för våra algoritmers beräkningsegenskaper i synnerhet och felsökningsproblemet i allmänhet.
I REF införs två olika algoritmer för beräkning av minimal otillfredsställande Bevarande av delterminologier (MUPS) och Minimal inkoherensbevarande sub-Tboxar (MIPS).
Debugging Incoherent Terminologies
{'venue': 'Journal of Automated Reasoning', 'journal': 'Journal of Automated Reasoning', 'mag_field_of_study': ['Computer Science']}