Beskrivningslogik Kunskaps- och handlingsbaser (KAB) är en mekanism för att ge både en semantiskt rik representation av informationen om området av intresse i termer av en beskrivning logik kunskapsbas och åtgärder för att ändra sådan information över tid, eventuellt införa nya objekt. Vi tar till en variant av DL-Lite där det unika namnförutsättningen inte upprätthålls och där jämlikhet mellan objekt kan hävdas och härledas. Åtgärder anges som uppsättningar av villkorade effekter, där villkoren är baserade på epistemiska frågor över kunskapsbasen (TBox och ABox), och effekter uttrycks i form av nya ABoxar. I denna inställning behandlar vi verifiering av tidsmässiga egenskaper uttryckta i en variant av första ordningens μ-kalculus med kvantifiering över stater. Framför allt visar vi att verifieringen är av avgörande betydelse, under en lämplig begränsning som inspireras av begreppet svag acyklicitet i datautbytet.
Nyligen föreslog Ref kunskaps- och åtgärdsbaser, där åtgärder, kodade som villkor/åtgärdsregler, ändrar ABox för en ontologi, kodade i en variant av OWL 2 QL språk.
Description Logic Knowledge and Action Bases
{'venue': 'Journal Of Artificial Intelligence Research, Volume 46, pages 651-686, 2013', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}