19 citations · 52 across the 21 of their papers we have counts for
3 papers · 1 filter
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat, German Braun, Alessandro Artale +2
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check sat…
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo +2
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explici…
Provenance for the Description Logic ELHr
Camille Bourgaux, Ana Ozaki, Rafael Peñaloza +1
We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and exten…