Ontology-Mediated Querying with Horn Description Logics
File | Description | Size | Format | |
---|---|---|---|---|
00107695-1.pdf | 1.57 MB | Adobe PDF | View/Open |
Other Titles: | Ontology-Mediated Querying mit Horn-Beschreibungslogiken | Authors: | Sabellek, Leif ![]() |
Supervisor: | Lutz, Carsten | 1. Expert: | Lutz, Carsten | Experts: | Wolter, Frank | Abstract: | An ontology-mediated query (OMQ) consists of a database query paired with an ontology. When evaluated on a database, an OMQ returns not only the answers that are already in the database, but also those answers that can be obtained via logical reasoning using rules from ontology. There are many open questions regarding the complexities of problems related to OMQs. Motivated by the use of ontologies in practice, new reasoning problems which have never been considered in the context of ontologies become relevant, since they can improve the usability of ontology enriched systems. This thesis deals with various reasoning problems that occur when working with OMQs and it investigates the computational complexity of these problems. We focus on ontologies formulated in Horn description logics, which are a popular choice for ontologies in practice. |
Keywords: | Ontology-Mediated Querying; Description Logic | Issue Date: | 28-Aug-2019 | Type: | Dissertation | Secondary publication: | no | URN: | urn:nbn:de:gbv:46-00107695-14 | Institution: | Universität Bremen | Faculty: | Fachbereich 03: Mathematik/Informatik (FB 03) |
Appears in Collections: | Dissertationen |
Page view(s)
433
checked on Apr 2, 2025
Download(s)
152
checked on Apr 2, 2025
Google ScholarTM
Check
Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.