research
∙
08/16/2023
Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Version)
Definite descriptions, such as 'the smallest planet in the Solar System'...
share
research
∙
11/27/2022
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
Linear Temporal Logic (LTL) is the de-facto standard temporal logic for ...
research
∙
02/01/2022
First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
Formalisms based on temporal logics interpreted over finite strict linea...
research
∙
11/12/2021
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
Aiming at ontology-based data access to temporal data, we design two-dim...
research
∙
06/29/2021
On Free Description Logics with Definite Descriptions
Definite descriptions are phrases of the form 'the x such that φ', used ...
research
∙
08/17/2020
Automated Reasoning in Temporal DL-Lite
This paper investigates the feasibility of automated reasoning over temp...
research
∙
07/06/2020
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals
The Craig interpolation property (CIP) states that an interpolant for an...
research
∙
04/15/2020
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
We investigate ontology-based data access to temporal data. We consider ...
research
∙
07/25/2017
A Decidable Very Expressive Description Logic for Databases (Extended Version)
We introduce DLR^+, an extension of the n-ary propositionally closed des...
research
∙
04/04/2016
Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification (full version)
We introduce an extension of the n-ary description logic DLR to deal wit...
research
∙
01/15/2014
The DL-Lite Family and Relations
The recently introduced series of description logics under the common mo...
research
∙
04/18/2013
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Our aim is to investigate ontology-based data access over temporal data ...
research
∙
09/25/2012