This paper proposes the exploration of the use of Backward Chaining as one of the many methods utilized in the automated approach to events’ analysis in the area of computer forensics. In addition, steps to be taken are outlined in developing an expert system that implements such a method. The new method compliments other methods that traditionally focus on searching files and performing patter...

Exploring the vast number of possible feature interactions in domains such as gene expression microarray data is an onerous task. We propose Backward-Chaining Rule Induction (BCRI) as a semi-supervised mechanism for biasing the search for plausible feature interactions. BCRI adds to a relatively limited tool-chest of hypothesis generation software, and it can be viewed as an alternative to pure...

We address the issue of Ontology-Based Data Access which consists of exploiting the semantics expressed in ontologies while querying data. Ontologies are represented in the framework of existential rules, also known as Datalog+/-. We focus on the backward chaining paradigm, which involves rewriting the query (assumed to be a conjunctive query, CQ) into a set of CQs (seen as a union of CQs). The...