Logo des Repositoriums
Zur Startseite
  • English
  • Deutsch
Anmelden
  1. Startseite
  2. SuUB
  3. Dissertationen
  4. Ontology-Mediated Querying with Horn Description Logics
 
Zitierlink URN
https://nbn-resolving.de/urn:nbn:de:gbv:46-00107695-14

Ontology-Mediated Querying with Horn Description Logics

Veröffentlichungsdatum
2019-08-28
Autoren
Sabellek, Leif  
Betreuer
Lutz, Carsten  
Gutachter
Wolter, Frank  
Zusammenfassung
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.
Schlagwörter
Ontology-Mediated Querying

; 

Description Logic
Institution
Universität Bremen  
Fachbereich
Fachbereich 03: Mathematik/Informatik (FB 03)  
Dokumenttyp
Dissertation
Zweitveröffentlichung
Nein
Sprache
Englisch
Dateien
Lade...
Vorschaubild
Name

00107695-1.pdf

Size

1.53 MB

Format

Adobe PDF

Checksum

(MD5):0a58f1ea94aee39fe06fee302da10a7d

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Datenschutzbestimmungen
  • Endnutzervereinbarung
  • Feedback schicken