Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques

Research output: Types of ThesisMaster thesis

Contributors

Abstract

Recent research in the field of Description Logic (DL) investigated the complexity of the satisfiability problem for description logics that are obtained by enriching the well-known DL with more complex set and cardinality constraints over role successors. The algorithms that have been proposed so far, despite providing worst-case optimal decision procedures for the concept satisfiability problem (both without and with a terminology) lack the efficiency needed to obtain usable implementations. In particular, the algorithm for the case without terminology is non-deterministic and the one for the case with a terminology is also best-case exponential. The goal of this thesis is to use well-established techniques from the field of numerical optimization, such as column generation, in order to obtain more practical algorithms. As a starting point, efficient approaches for dealing with counting quantifiers over unary predicates based on SAT-based column generation should be considered.

Details

Original languageEnglish
Qualification levelMaster of Science
Supervisors/Advisors
  • Baader, Franz, Main supervisor
  • Peñaloza Nyssen, Rafael, Supervisor
Publication statusPublished - 2019
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.Thesis

External IDs

ORCID /0000-0002-8623-6465/work/142251901