Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …
in recent research for compliance checking. Although the list of the considered reasoners is …
The temporal vadalog system
The need for reasoning over temporal data has recently emerged. DatalogMTL is a highly
suitable language to handle many real-world applications. In spite of the deep theoretical …
suitable language to handle many real-world applications. In spite of the deep theoretical …
Reasoning in knowledge graphs
R Guimarães, A Ozaki - … School in Artificial Intelligence in Bergen …, 2022 - drops.dagstuhl.de
Abstract Knowledge Graphs (KGs) are becoming increasingly popular in the industry and
academia. They can be represented as labelled graphs conveying structured knowledge in …
academia. They can be represented as labelled graphs conveying structured knowledge in …
Rethinking defeasible reasoning: A scalable approach
Recent technological advances have led to unprecedented amounts of generated data that
originate from the Web, sensor networks, and social media. Analytics in terms of defeasible …
originate from the Web, sensor networks, and social media. Analytics in terms of defeasible …
A declarative approach to contrast pattern mining
FA Lisi, G Sterlicchio - International Conference of the Italian Association …, 2022 - Springer
A Declarative Approach to Contrast Pattern Mining | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Clingo2DSR-A clingo-based software system for declarative spatial reasoning
B Li, C Schultz - Spatial Cognition & Computation, 2024 - Taylor & Francis
We present a modified ground-and-solve approach based on the clingo Answer Set
Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR …
Programming (ASP) system to perform non-monotonic spatial reasoning tasks, Clingo2DSR …
Partial compilation of ASP programs
Answer Set Programming (ASP) is a well-known declarative formalism in logic
programming. Efficient implementations made it possible to apply ASP in many scenarios …
programming. Efficient implementations made it possible to apply ASP in many scenarios …
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
The W3C Web Ontology Language (OWL) is a powerful knowledge representation
formalism at the basis of many semantic-centric applications. Since its unrestricted usage …
formalism at the basis of many semantic-centric applications. Since its unrestricted usage …
Enhancing magic sets with an application to ontological reasoning
Magic sets are a Datalog to Datalog rewriting technique to optimize query answering. The
rewritten program focuses on a portion of the stable model (s) of the input program which is …
rewritten program focuses on a portion of the stable model (s) of the input program which is …
Valasp: A tool for data validation in answer set programming
The development of complex software requires tools promoting fail-fast approaches, so that
bugs and unexpected behavior can be quickly identified and fixed. Tools for data validation …
bugs and unexpected behavior can be quickly identified and fixed. Tools for data validation …