32 citations · 72 across the 9 of their papers we have counts for
4 papers · 1 filter
Conservative Extensions in Horn Description Logics with Inverse Roles
Jean Christoph Jung, Carsten Lutz, Mauricio Martel +1
We investigate the decidability and computational complexity of conservative extensions and the related notions of inseparability and entailment in Horn description logics (DLs) wi…
A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties
Frank Dylla, Jae Hee Lee, Till Mossakowski +4
Qualitative Spatial and Temporal Reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR technique…
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Frank Dylla, Till Mossakowski, Thomas Schneider +1
Qualitative spatial and temporal reasoning is based on so-called qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But w…
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia +3
Extracting a subset of a given OWL ontology that captures all the ontology's knowledge about a specified set of terms is a well-understood task. This task can be based, for instanc…