Abstrakt. Revidering av en beskrivningslogikbaserad ontologi behandlar problemet med att konsekvent införliva nyinkommen information. I detta dokument föreslår vi en allmän operatör för översyn av terminologier i beskrivningslogikbaserade ontologier. Vår versionsoperatör förlitar sig på en omformulering av kärnkontraktionsoperatören i trosrevision. Vi definierar först vår revisionsoperatör för terminologier och visar att den uppfyller några önskvärda logiska egenskaper. För det andra är två algoritmer utvecklade för att direktimera revisionsoperatören. Eftersom dessa två algoritmer i allmänhet är för svåra att beräkna föreslår vi en tredje algoritm som ett effektivare alternativ. Vi implementerade algoritmerna och gav utvärderingsresultat om deras effektivitet, effektivitet och meningsfullhet i samband med två tillämpningsscenarier: Inkrementell ontologiinlärning och kartläggningsrevision.
Genom att använda och generalisera begreppet MIPS införs en översynsoperatör för terminologier.
A kernel revision operator for terminologies - algorithms and evaluation
{'venue': 'In Proc. of ISWC', 'journal': None, 'mag_field_of_study': ['Computer Science']}