DC FieldValueLanguage
dc.contributor.advisorEiter, Thomas-
dc.contributor.authorKrennwallner, Thomas-
dc.date.accessioned2020-06-30T13:48:45Z-
dc.date.issued2007-
dc.date.submitted2007-10-
dc.identifier.urihttps://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-20598-
dc.identifier.urihttp://hdl.handle.net/20.500.12708/12742-
dc.descriptionZsfassung in dt. Sprache-
dc.descriptionhttp://www.postsubmeta.net/pub/2007/thesis.pdf-
dc.description.abstractWe present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics (DL) knowledge bases, as well as disjunctive rules. dl-programs had been proposed as a powerful formalism for integrating nonmonotonic logic programming and DL reasoning on a clear semantic basis. The new cq-programs have at least two advantages. First, they offer increased expressivity by allowing general (U)CQs in the body. And second, this combination of rules and ontologies gives rise to strategies for optimizing calls to the DL-reasoner by exploiting (U)CQ facilities of the DL-reasoner. To this end, we discuss some equivalences which can be exploited for program rewriting and present respective algorithms. Experimental results for the cq-program prototype show that this can lead to significant performance improvements. Moreover, the developed optimization methods may be of general interest in the context of hybrid knowledge bases.<br />HEX-programs, which extend answer-set programming (ASP) with higher-order features and provide powerful interfacing to external computation sources, have been demonstrated to be a versatile formalism for extending the ASP paradigm. The cq-program prototype dl-plugin, which will be introduced in this work, has been developed as a plugin for dlvhex, an implementation for HEX-programs. The dl-plugin integrates ASP with description logics knowledge bases by means of external atoms.<br />For this purpose, a partial equivalence between HEX-programs and cq-programs shows that HEX-programs can serve as a host language for our new formalism, provided that only monotonic dl-atoms appear in the cq-program.de
dc.formatX, 114 S.-
dc.languageEnglish-
dc.language.isoen-
dc.subjectAntwortmengenprogrammierungde
dc.subjectKonjunktive Abfragende
dc.subjectBeschreibungslogikende
dc.subjectDisjunktives Datalogde
dc.subjectHybride Wissensbasisde
dc.subjectNichtmonotones Schließende
dc.subjectOntologiede
dc.subjectRegelsprachende
dc.subjectAnswer Set Programmingen
dc.subjectConjunctive Queriesen
dc.subjectDescription Logicsen
dc.subjectDisjunctive Datalogen
dc.subjectHybrid Knowledge Baseen
dc.subjectNonmonotonic Reasoningen
dc.subjectOntologyen
dc.subjectRule Languagesen
dc.titleIntegration of conjunctive queries over description logics into HEX-programsen
dc.typeThesisen
dc.typeHochschulschriftde
dc.contributor.assistantSchindlauer, Roman-
tuw.publication.orgunitE184 - Institut für Informationssysteme-
dc.type.qualificationlevelDiploma-
dc.identifier.libraryidAC05035760-
dc.description.numberOfPages114-
dc.identifier.urnurn:nbn:at:at-ubtuw:1-20598-
dc.thesistypeMasterarbeitde
dc.thesistypeMaster Thesisen
item.languageiso639-1en-
item.openairetypeThesis-
item.openairetypeHochschulschrift-
item.fulltextwith Fulltext-
item.cerifentitytypePublications-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextopen-
Appears in Collections:Thesis

Files in this item:

Show simple item record

Page view(s)

33
checked on Apr 3, 2021

Download(s)

62
checked on Apr 3, 2021

Google ScholarTM

Check


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