research
∙
07/22/2023
Dyadic Existential Rules
Existential rules form an expressive Datalog-based language to specify o...
share
research
∙
03/19/2023
Characterizing Nexus of Similarity within Knowledge Bases: A Logic-based Framework and its Computational Complexity Aspects
Similarities between entities occur frequently in many real-world scenar...
research
∙
08/26/2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
The paper investigates the relative expressiveness of two logic-based la...
research
∙
08/05/2021
I-DLV-sr: A Stream Reasoning System based on I-DLV
We introduce a novel logic-based system for reasoning over data streams,...
research
∙
08/06/2020
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Decision support systems play an important role in medical fields as the...
research
∙
08/05/2020
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
The W3C Web Ontology Language (OWL) is a powerful knowledge representati...
research
∙
03/21/2020
Large-scale Ontological Reasoning via Datalog
Reasoning over OWL 2 is a very expensive task in general, and therefore ...
research
∙
07/29/2019
Precomputing Datalog evaluation plans in large-scale scenarios
With the more and more growing demand for semantic Web services over lar...
research
∙
12/18/2015
Ontology-driven Information Extraction
Homogeneous unstructured data (HUD) are collections of unstructured docu...
research
∙
10/08/2012
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Datalog is one of the best-known rule-based languages, and extensions of...
research
∙
07/22/2011