Abstrakt. Revidering av en beskrivning Logikbaserad ontologi för att konsekvent införliva nyinkommen information är ett viktigt problem för ontologiernas livscykel. Många tillvägagångssätt i teorin om trosrevision har tillämpats för att hantera detta problem och de flesta av dem fokuserar på postulat eller logiska egenskaper en revision operatör i Beskrivning Logik (DLs). Det finns dock ingen enhetlig syn på hur en revideringsoperatör ska karakteriseras i DL. I det här dokumentet lägger vi fram de antaganden som ligger till grund för olika metoder för översyn i DL och föreslår vissa kriterier för att jämföra dem. Baserat på analysen ger vi vår definition av en revideringsoperatör i DLs och pekar på några öppna problem.
Qi och Yang har gått igenom några av de viktiga trosrevisionsstrategierna i samband med beskrivningslogiken REF.
A Survey of Revision Approaches in Description Logics
{'venue': 'Description Logics', 'journal': None, 'mag_field_of_study': ['Computer Science']}