För att integrera regler och ontologier i den semantiska webben föreslår vi en kombination av logikprogrammering under svarsuppsättningen semantik med beskrivningslogiken SHIF(D) och SHOIN (D), som ligger till grund för webb ontologispråken OWL Lite respektive OWL DL. Denna kombination gör det möjligt att bygga upp regler utöver ontologier men också, i begränsad utsträckning, bygga ontologier ovanpå regler. Vi introducerar beskrivning logik program (dl-program), som består av en beskrivning logik kunskapsbas L och en ändlig uppsättning beskrivning logik regler (dl-regler) P. Sådana regler liknar vanliga regler i logiska program med negation som misslyckande, men kan också innehålla frågor till L, eventuellt standard negated, i sina kroppar. Vi definierar Herbrand-modeller för dl-program och visar att tillfredsställande positiva dl-program har en unik minst Herbrand-modell. Mer allmänt kan konsekvent stratifierade dl-program förknippas med en unik minimal Herbrand-modell som kännetecknas av iterativ minst Herbrand-modeller. Vi generaliserar sedan (unik) minimala Herbrand-modellen semantik för positiva och stratifierade dl-program till ett starkt svar semantik för alla dl-program, som bygger på en reduktion till minsta modell semantik av positiva dl-program. Vi definierar också ett svagt svar semantik baserat på en minskning till svar uppsättningar av vanliga logiska program. Starka svar uppsättningar är svaga svar uppsättningar, och båda korrekt generalisera svar uppsättningar av vanliga normala logiska program. Vi ger sedan fixpoint karakteriseringar för (unik) minimal Herbrand modell semantik av positiva och stratifierade dl-program, och visa hur man beräknar dessa modeller genom finita fixpoint iterationer. Dessutom ger vi en exakt bild av komplexiteten i att besluta om starka och svaga svar sätter existensen för ett dl-program.
Som ett framträdande exempel Beskrivning Logikprogram (dl-program) kan tas, som introducerades av REF och kombinera DL och normala logiska program under stabil modell semantik.
Combining answer set programming with description logics for the Semantic Web
{'venue': 'Artif. Intell.', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}