Logo des Repositoriums
Zur Startseite
  • English
  • Deutsch
Anmelden
  1. Startseite
  2. SuUB
  3. Dissertationen
  4. Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics
 
Zitierlink URN
https://nbn-resolving.de/urn:nbn:de:gbv:46-00104019-10

Reasoning in Many Dimensions : Uncertainty and Products of Modal Logics

Veröffentlichungsdatum
2014-10-06
Autoren
Jung, Jean Christoph  
Betreuer
Lutz, Carsten  
Gutachter
Calvanese, Diego  
Zusammenfassung
Probabilistic Description Logics (ProbDLs) are an extension of Description Logics that are designed to capture uncertainty. We study problems related to these logics. First, we investigate the monodic fragment of Probabilistic first-order logic, show that it has many nice properties, and are able to explain the complexity results obtained for ProbDLs. Second, in order to identify well-behaved, in best-case tractable ProbDLs, we study the complexity landscape for different fragments of ProbEL; amongst others, we are able to identify a tractable fragment. We then study the reasoning problem of ontological query answering, but apply it to probabilistic data. Therefore, we define the framework of ontology-based access to probabilistic data and study the computational complexity therein. In the final part of the thesis, we study the complexity of the satisfiability problem in the two-dimensional modal logic KxK. We are able to close a gap that has been open for more than ten years.
Schlagwörter
Description Logic

; 

Uncertainty

; 

Many-dimensional Modal Logics

; 

Reasoning

; 

Computational Complexity

; 

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

00104019-1.pdf

Size

1.86 MB

Format

Adobe PDF

Checksum

(MD5):3090d81bc751a5487bfbd14363ee5cec

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

  • Datenschutzbestimmungen
  • Endnutzervereinbarung
  • Feedback schicken