<div class="csl-bib-body">
<div class="csl-entry">Dao Tran, M. (2008). <i>Default reasoning on top of ontologies with dl-programs</i> [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-23056</div>
</div>
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.<br />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.
de
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Antwortmengen Programmierung
de
dc.subject
Beschreibungslogiken
de
dc.subject
Default Logik
de
dc.subject
Default Schliessen
de
dc.subject
Hybride Wissensbasen
de
dc.subject
Nichtmonotones Schliessen
de
dc.subject
Ontologie
de
dc.subject
Regelsprachen
de
dc.subject
Answer Set Programming
en
dc.subject
Default Logic
en
dc.subject
Default Reasoning
en
dc.subject
Description Logics
en
dc.subject
Hybrid Knowledge Base
en
dc.subject
Nonmonotonic Reasoning
en
dc.subject
Ontology
en
dc.subject
Rule Languages
en
dc.title
Default reasoning on top of ontologies with dl-programs