Vi föreslår en ny familj av beskrivningslogik (DLs), kallad DL-Lite, speciellt anpassad för att fånga grundläggande ontologi språk, samtidigt hålla låg komplexitet i resonemang. Resonemang här innebär inte bara beräkning av subsumption mellan begrepp och kontroll tillfredsställande av hela kunskapsbasen, men också svara på komplexa frågor (i synnerhet förening av konjunktiva frågor) över instansnivå (ABox) av DL kunskapsbasen. Vi visar att för DLs i DL-Lite familjen, de vanliga DL resonemang uppgifter är polynom i storleken på TBox, och frågesvar är LogSpace i storleken på ABox (dvs. i data komplexitet). Såvitt vi vet är detta det första resultatet av polynom-tid data komplexitet för frågesvar över DL kunskapsbaser. Särskilt våra logiker möjliggör en separation mellan TBox och ABox resonemang under frågeutvärdering: den del av processen som kräver TBox resonemang är oberoende av ABox, och den del av processen som kräver tillgång till ABox kan utföras av en SQL-motor, och därmed dra nytta av den frågeoptimering strategier som tillhandahålls av nuvarande databashanteringssystem. Eftersom även små utvidgningar till logiken i DL-Lite familjen gör frågesvar minst NLogSpace i data komplexitet, vilket utesluter möjligheten att använda on-the-shelf relationell teknik för frågebehandling, kan vi dra slutsatsen att logikerna i DL-Lite familjen är maximal DLs stöd effektiva frågesvar över stora mängder fall.
En tidig frågeskrivningsalgoritm för DL-lite-familjen av DLs, som introduceras i REF och implementeras i QuOnto-systemet, omformulerar den givna frågan till en union av konjunktiva frågor.
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
{'venue': 'Journal of Automated Reasoning', 'journal': 'Journal of Automated Reasoning', 'mag_field_of_study': ['Computer Science']}