Förverkligandet av den semantiska webbvisionen, där beräkningslogiken har en framträdande roll, har stimulerat en hel del forskning om att kombinera regler och ontologier, som formuleras i olika formalismer. Särskilt att kombinera logikprogrammering med Web Ontology Language (OWL), som är en standard baserad på beskrivningslogik, framträdde som en viktig fråga för att länka reglerna och Ontology Layers of the Semantic Web. Icke-monotonisk beskrivning logik program (dl-program) infördes för en sådan kombination, där ett par (L, P) av en beskrivning logik kunskapsbas L och en uppsättning regler P med negation som misslyckande ges en modellbaserad semantik som generaliserar svaret semantik av logikprogram. I denna artikel omprövar vi dl-program och presenterar en välgrundad semantik för dem som en analog för andra huvudsakliga semantik av logiska program. Den generaliserar den kanoniska definitionen av den välgrundade semantiken baserad på ogrundade uppsättningar, och, Denna artikel avsevärt utvidgar och reviderar ett papper som
Senare utökades de i REF till väl underbyggda semantik.
Well-founded semantics for description logic programs in the semantic web
{'venue': 'TOCL', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}