I detta dokument utnyttjar vi Svarssetprogrammering (ASP) för resonemang i en rationell förlängning SROEL(, ×) R T av den låga komplexiteten beskrivning logik SROEL(, ×), som ligger till grund för OWL EL ontology språk. På det utvidgade språket får en typisk T-operatör definiera begreppen T(C) (typiska C) under en rationell semantik. Det har bevisats att till exempel kontroll under rationella åtgärder har en polynom komplexitet. För att stärka det rationella engagemanget anser vi i detta dokument att semantiken är minimal. Vi visar att för godtyckliga kunskapsbaser för SROEL (, ×) R T är t.ex. kontrollen under minimal påverkan D P 2 -fullständig. Genom att förlita sig på ett resultat från en liten modell, där modellerna motsvarar svarsuppsättningar av en lämplig ASP-kodning, utnyttjar vi Svarsinställningar (och i synnerhet asprinramverket) för resonemang under minimal påverkan. Dokumentet är under övervägande för acceptans i teori och praktik av Logisk programmering.
I REF introduceras den T-minimala modellen semantik för att stärka den rationella betydelsen för SROEL(, ×) R T KBs, och Svarsinställningar används för resonemang under minimal betydelse.
ASP for Minimal Entailment in a Rational Extension of SROEL
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}