Among the many approaches towards efficient reasoning in description logics. (DLs), consequence-preserving translations of DL theories into rule languages.
By admitting existential quantifiers in rule heads, we can improve this result to yield only rules of bounded size, a property that is common to all rewritings ...
By admitting existential quantifiers in rule heads, we can improve this result to yield only rules of bounded size, a property that is common to all rewritings ...
We therefore develop small rewritings for the DL \ALCHIQ -- featuring disjunction, number restrictions, and inverse roles -- to disjunctive Datalog.
Missing: Abstract). | Show results with:Abstract).
David Carral and Markus Krötzsch: Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract) DL 2020 - Inconsistent Session ...
Especially in data-intensive settings, a promising reasoning approach for description logics (DLs) is to rewrite DL theories into sets of rules.
Dec 23, 2020 · Especially in data-intensive settings, a promising reasoning approach for description logics (DLs) is to rewrite DL theories into sets of rules.
Dec 23, 2020 · ... Disjunctive Existential Rules", published at IJCAI 2020. You may want to watch the 5-min abstract for this work first. Links: ▻ 5-min abstract ...
Missing: (Extended | Show results with:(Extended
Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract). Description Logics 2020. Conference Publication. David Carral, Markus Krötzsch.
David Carral, Markus Krötzsch: Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract) ...