Existential Rules
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics
... arbitrary existential rules, while it is undecidable under classical semantics; for frontier-guarded rules, certainty of BCQs was shown to be EXPTIME-complete in data com- plexity [Benedikt et ...
9
Query Rewriting for Existential Rules with Compiled Preorder
... tential rules are more complex to process. Entailment with general existential rules is even undecidable ...linear rules, which generalize most DL-Lite dialects, the sticky fam- ily, classes ...
8
Argumentation-Based Defeasible Reasoning For Existential Rules
... support existential rules (as the Y variable is mapped to all known ...of rules, DEFT can simply use a fast chase mechanism, whereas existing argumentation- based reasoning tools rely on ...
4
Oblivious and Semi-Oblivious Boundedness for Existential Rules
... istential rules, also known as Tuple Generating Dependen- cies (TGDs) in database theory, are an expressive knowl- edge representation language well studied in the OBQA set- ting [Cal`ı et ...These rules ...
13
Oblivious and Semi-Oblivious Boundedness for Existential Rules
... ontology. Existential rules, also known as Tu- ple Generating Dependencies (TGDs) in database theory, are an expressive knowledge representation language well stud- ied in the OBQA setting [Cal`ı et ...
8
A formalism unifying Defeasible Logics and Repair Semantics for existential rules
... for existential rules and their labeling functions for ambiguity blocking, ambiguity propagating [13], and provide custom la- beling functions for IAR, and ...
16
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
... existential rules. We first consider the subclass of linear existential rules and show that CRPQ answering is EXPTIME-complete in com- bined complexity and NL-complete in data com- plexity, ...
8
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms
... +/-, Existential rules, Conjunctive queries Résumé L’objectif du problème appelé "Ontology-based data access" (OBDA) est d’améliorer la réponse à des requêtes en prenant en compte des connaissances ...
130
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules
... of existential rules (like linear and guarded rulesets), which constitute another important class of ontology languages ...distinguishes existential rules from DLs is the possibility of us- ...
17
Extending Acyclicity Notions for Existential Rules
... Abstract. Existential rules have been proposed for representing on- tological knowledge, specifically in the context of Ontology-Based Query ...with existential rules is ...to ...
12
Argumentation techniques for existential rules
... and rules in a specific way in order to encode a single contrary per ...the existential rules negative ...no rules and one negative constraint: the biscuit cannot have a square and round shape ...
219
Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules
... frontier-one rules (plus negative constraints). Further- more, the obtained rules are ...linear rules (plus negative ...of rules, it must satisfy the con- straint that x and z are not both ...
15
Defeasible reasoning for existential rules
... • Performance: In case of a tie in expressiveness or semantics, one can use performance to make an informed choice on the tool to be used. From Table 3.1 we can see that each tool makes trade-offs between performance ...
209
Combining Existential Rules and Transitivity: Next Steps
... 8 Conclusion In this paper, we made some steps towards a better under- standing of the interaction between transitivity and decidable classes of existential rules. We obtained an undecidability re- sult ...
8
On Bounded Positive Existential Rules
... for existential rules, and to some extent for Horn description log- ics, we find the two classical paradigms for processing rules, namely forward chaining and backward ...the rules into the ...
14
Querying existential rule knowledge bases : decidability and complexity
... precisely, existential rules are positive and conjunctive rules of the form “if body then head ”, with a specific feature: it is possible to introduce in the head of a rule variables that do not ...
159
Querying Existential Rule Knowledge Bases: Decidability and Complexity
... Summary of our Contributions The contributions of this thesis can be split into two parts. On the one hand, we have recalled the various forward chaining algorithms, also known as chase variants, and proposed a uniform ...
159
Interpolative reasoning with default rules
... of rules describing some domain of ...many rules have exceptions, ...default rules, most of which are based on the idea of defining a preference order over possible worlds and insisting that β is ...
8
Liability Rules under Evidentiary Uncertainty
... di¤erent rules compare would depend on the likelihood of victim versus injurer negligence, although it is also argued that court error is likely to matter less with comparative ...
30
Valued Tolerance and Decision Rules
... for any rule induced from the input information table. Such an idea first appeared in our previous work on incomplete information tables [Stefanowski and Tsoukiàs, 1999]. The paper is organised as follows. In section 2, ...
11