Två viktiga uppgifter i att hantera beskrivning logik kunskapsbaser eliminerar problematiska axiom och införliva nybildade. Sådan eliminering och inkorporering formaliseras som en verksamhet av sammandragning och revidering i trosförändring. I detta dokument behandlar vi sammandragning och revidering för familjen DL-Lite genom en modell-teoretisk metod. Standard beskrivning logik semantik ger ett oändligt antal modeller för DL-lite kunskapsbaser, därför är det svårt att utveckla algoritmer för sammandragning och revidering som involverar DL-modeller. Nyckeln till vårt tillvägagångssätt är införandet av en alternativ semantik som kallas typsemantik och som kan ersätta standardsemantiken vid karakteriseringen av DL-Lites standardinferensuppgifter. Typ semantik har flera fördelar jämfört med standard. Det är mer koncist och viktigt, med en ändlig signatur, ger semantiken alltid ett begränsat antal modeller. Vi definierar sedan modellbaserade sammandragnings- och revideringsfunktioner för DL-Lite kunskapsbaser under typsemantik och tillhandahåller representationsteorem för dem. Slutligen, den finita och koncistness av typ semantik gör det möjligt för oss att utveckla dragbara algoritmer för att ögonblickligen funktioner.
Ref-dokumentet ger en effektiv algoritm genom att ersätta standardsemantiken för att karakterisera DL Lites standardinferensuppgifter med en alternativ semantik som kallas typsemantik.
DL-Lite Contraction and Revision
{'venue': 'J. Artif. Intell. Res.', 'journal': 'J. Artif. Intell. Res.', 'mag_field_of_study': ['Computer Science', 'Mathematics']}