1 citations · 1 across the 3 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.AI2020★ 1 cited
Signature-Based Abduction for Expressive Description Logics -- Technical Report
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret +1
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of…
cs.LO2020
Querying Guarded Fragments via Resolution
Sen Zheng, Renate A. Schmidt
Answering Boolean conjunctive queries over the guarded fragment is decidable, however, as yet no practical decision procedure exists. Meanwhile, ordered resolution, as a practicall…
cs.LO2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
We consider the following query answering problem: Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is…