Title: Default reasoning on top of ontologies with dl-programs
Language: English
Authors: Dao Tran, Minh
Qualification level: Diploma
Keywords: Antwortmengen Programmierung; Beschreibungslogiken; Default Logik; Default Schliessen; Hybride Wissensbasen; Nichtmonotones Schliessen; Ontologie; Regelsprachen
Answer Set Programming; Default Logic; Default Reasoning; Description Logics; Hybrid Knowledge Base; Nonmonotonic Reasoning; Ontology; Rule Languages
Advisor: Eiter, Thomas 
Assisting Advisor: Krennwallner, Thomas
Issue Date: 2008
Number of Pages: 81
Qualification level: Diploma
We study the usefulness of dl-programs in implementing Reiter's default logic on top of a Description Logic knowledge base (DL-KB). To this end, we investigate transformations from default theories to description logic programs (dl-programs) based on different established algorithms for computing default theory extensions, namely select-defaults-and-check and select-justifications-and-check algorithm.
In each transformation, additional constraints are exploited to prune the search space based on conclusion-conclusion or conclusion-justification relations. The implementation was deployed as a new component for the dl-plugin for dlvhex, and evaluated with various experimental test ontologies, which showed promising results.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-23056
Library ID: AC05038040
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Default reasoning on top of ontologies with dl-programs.pdf1.31 MBAdobe PDFThumbnail
Show full item record

Page view(s)

checked on Feb 18, 2021


checked on Feb 18, 2021

Google ScholarTM


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.