Abstrakt. Ontologier är ryggraden i den semantiska webben, eftersom de tillåter en att dela ordförråd på ett semantiskt sunt sätt. För ontologier, som anges i OWL eller en relaterad webb ontologi språk, Beskrivning Logik reacer kan ofta upptäcka logiska motsägelser. Tyvärr finns det två nackdelar: de saknar stöd för debugging inkoherens i ontologier, och de kan bara tillämpas på någorlunda uttrycksfulla ontologier (som innehåller åtminstone någon form av negation). I detta dokument försöker vi täppa till dessa luckor med hjälp av en teknik som kallas att identifiera. Vid identifiering identifierar vi minimala uppsättningar axiom som måste tas bort eller ignoreras för att vända en ontologi sammanhängande. Vi visar sedan hur identifiering kan användas för felsökning av webb ontologier i två typiska fall. Mer ovanligt är tillämpningen av att identifiera i det semantiska förtydligandet av underspecificerade webb ontologier som vi experimentellt utvärderar på ett antal välkända web-ontologier. Våra slutsatser är uppmuntrande: även om semantisk tvetydighet fortfarande är en fråga, visar vi att det kan vara användbart för felsökning och att det avsevärt kan förbättra kvaliteten på vår semantiska berikning på ett helt automatiskt sätt.
I REF identifieras minimala uppsättningar axiom som måste avlägsnas för att en ontologi ska bli sammanhängande.
Debugging and semantic clarification by pinpointing
{'venue': 'ESWC', 'journal': None, 'mag_field_of_study': ['Computer Science']}