A resolution based description logic calculus

Zombori Zsolt: A resolution based description logic calculus. In: Acta cybernetica, (19) 3. pp. 571-590. (2010)

Előnézet

Cikk, tanulmány, mű Zombori_2010_ActaCybernetica.pdf Letöltés (225kB) | Előnézet

Absztrakt (kivonat)

We present a resolution based reasoning algorithm called DL calculus that decides concept satisfiability for the SHQ language. Unlike existing resolution based approaches, the DL calculus is defined directly on DL expressions. We argue that working on this high level of abstraction provides an easier to grasp algorithm with less intermediary transformation steps and increased efficiency. We give a proof of the completeness of our algorithm that relies solely on th e ALCHQ tableau method without requiring any further background knowledge.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2010
Kötet:	19
Szám:	3
ISSN:	0324-721X
Oldalak:	pp. 571-590
Nyelv:	angol
Kiadás helye:	Szeged
Konferencia neve:	Symposium of Young Scientists on Intelligent Systems (3.) (2008) (Budapest)
Befoglaló mű URL:	http://acta.bibl.u-szeged.hu/38529/
Kulcsszavak:	Számítástechnika, Kibernetika
Megjegyzések:	Bibliogr.: p. 587-588. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2016. okt. 15. 12:24
Utolsó módosítás:	2022. jún. 17. 11:21
URI:	http://acta.bibl.u-szeged.hu/id/eprint/12881

Bővebben:

Tétel nézet