A resolution based description logic calculus

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

[thumbnail of Zombori_2010_ActaCybernetica.pdf]
Cikk, tanulmány, mű

Download (225kB) | Preview


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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2010
Volume: 19
Number: 3
ISSN: 0324-721X
Page Range: pp. 571-590
Language: English
Place of Publication: Szeged
Event Title: Symposium of Young Scientists on Intelligent Systems (3.) (2008) (Budapest)
Related URLs: http://acta.bibl.u-szeged.hu/38529/
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: p. 587-588. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:24
Last Modified: 2022. Jun. 17. 11:21
URI: http://acta.bibl.u-szeged.hu/id/eprint/12881

Actions (login required)

View Item View Item