Titelaufnahme

Titel
Default reasoning on top of ontologies with dl-programs / by Dao Tran Minh
VerfasserDao Tran, Minh
Begutachter / BegutachterinEiter, Thomas ; Krennwallner, Thomas
Erschienen2008
UmfangX, 81 S. : graph. Darst.
HochschulschriftWien, Techn. Univ., Mag.-Arb., 2008
SpracheEnglisch
DokumenttypMasterarbeit
Schlagwörter (DE)Antwortmengen Programmierung / Beschreibungslogiken / Default Logik / Default Schliessen / Hybride Wissensbasen / Nichtmonotones Schliessen / Ontologie / Regelsprachen
Schlagwörter (EN)Answer Set Programming / Default Logic / Default Reasoning / Description Logics / Hybrid Knowledge Base / Nonmonotonic Reasoning / Ontology / Rule Languages
URNurn:nbn:at:at-ubtuw:1-23056 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Default reasoning on top of ontologies with dl-programs [1.28 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Deutsch)

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.