Search
Skip to Search Results
Filter
Supervisors
Author / Creator / Contributor
Subject / Keyword
Year
Collections
Languages
Item type
Departments
-
Fall 2020
In this dissertation we consider the problem of ontology-based data access when the underlying ontology language is represented using tuple-generating dependencies (a term used in theory of databases), also known as existential rules (in the artificial intelligence literature). This problem is...
-
Fall 2021
Can efficient solvers be built for disjunctive hybrid MKNF knowledgebases? Recent breakthroughs in solver construction have proven AnswerSet Programming (ASP) to be a fruitful medium for tackling problemsthat lie within the lower two levels of the polynomial hierarchy. Thelogic of hybrid MKNF...
1 - 2 of 2