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
∙
07/23/2023
Non-Normal Modal Description Logics (Extended Version)
Modal logics are widely used in multi-agent systems to reason about acti...
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
∙
09/29/2022
An Ontology for Defect Detection in Metal Additive Manufacturing
A key challenge for Industry 4.0 applications is to develop control syst...
research
∙
06/30/2022
Reasoning in Non-normal Modal Description Logics
Non-normal modal logics, interpreted on neighbourhood models which gener...
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
∙
08/27/2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
In the context of verification of data-aware processes (DAPs), a formal ...
research
∙
06/29/2021
On Free Description Logics with Definite Descriptions
Definite descriptions are phrases of the form 'the x such that φ', used ...
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
∙
11/17/2019