Abstrakt. Ontologiutveckling är ett viktigt problem i den semantiska webbforskningen. Nyligen har Alchourrón, Gärdenfors och Markinsons (AGM) teori om trosförändring tillämpats för att ta itu med detta problem. Det mesta av pågående arbete fokuserar dock endast på genomförbarheten av tillämpningen av årsstämman postulerar på sammandragning till beskrivningslogik (DLs), en familj av ontologispråk. Så den explicita konstruktionen av en revision operatör ignoreras. I detta dokument generaliserar vi första gången årsstämman postulerar om revidering till DLs. Därefter definierar vi två översynsoperatörer i DL. Den ena är den försvagningsbaserade revisionsoperatören som definieras genom försvagning av uttalanden i en DL-kunskapsbas och den andra är dess förfining. Vi visar att båda operatörerna fångar vissa begrepp om minimal förändring och uppfyller de generaliserade årsstämman postulates för översyn.
I REF, omformulerade stämman postulerar för översyn anpassas till DL.
Knowledge base revision in description logics
{'venue': 'In Proc. of JELIA’06', 'journal': None, 'mag_field_of_study': ['Computer Science']}