<div class="csl-bib-body">
<div class="csl-entry">Fraz, S. (2009). <i>Hybrid reasoning with simple conceptual logic programs</i> [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186560</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/186560
-
dc.description.abstract
Integrating ontologies in the form of Description Logic (DL) theories with the rules of Logic Programming (LP) in the context of Semantic Web Technologies has received considerable attention over the past few years. We introduce a hybrid framework where the knowledge bases consist of simple CoLPs and the DL ALCH knowledge bases. We also define a formal translation of ALCH concept expressions to rules under the syntax and semantics of simple CoLPs in order to show that reasoning with such hybrid knowledge bases can be reduced to reasoning with simple CoLPs only. In addition, we provide a Java implementation that accepts the ALCH knowledge base and simple CoLP as input, and perform hybrid reasoning using the tableaux-based method.<br />Finally, we present our experimental results and discuss the strengths and weaknesses of the implemented algorithm.
en
dc.language
English
-
dc.language.iso
en
-
dc.subject
Description Logics
de
dc.subject
Open Answer Set Programming
de
dc.subject
Hybrid Reasoning
de
dc.subject
Tableaux-Method
de
dc.subject
Java Implementation
de
dc.subject
Description Logics
en
dc.subject
Open Answer Set Programming
en
dc.subject
Hybrid Reasoning
en
dc.subject
Tableaux-Method
en
dc.subject
Java Implementation
en
dc.title
Hybrid reasoning with simple conceptual logic programs
