research
∙
06/03/2023
On the Empirical Evidence of Microservice Logical Coupling. A Registered Report
[Context] Coupling is a widely discussed metric by software engineers wh...
share
research
∙
05/01/2023
Breaks and Code Quality: Investigating the Impact of Forgetting on Software Development. A Registered Report
Developers interrupting their participation in a project might slowly fo...
research
∙
11/23/2021
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies
A prominent problem in knowledge representation is how to answer queries...
research
∙
09/23/2021
Union and Intersection of all Justifications
We present new algorithm for computing the union and intersection of all...
research
∙
08/29/2021
An Upper Bound for Provenance in ELHr
We investigate the entailment problem in ELHr ontologies annotated with ...
research
∙
07/08/2021
Probabilistic Trace Alignment
Alignments provide sophisticated diagnostics that pinpoint deviations in...
research
∙
09/28/2020
The Probabilistic Description Logic ℬ𝒜ℒ𝒞
Description logics (DLs) are well-known knowledge representation formali...
research
∙
07/01/2020
Reasoning with Contextual Knowledge and Influence Diagrams
Influence diagrams (IDs) are well-known formalisms extending Bayesian ne...
research
∙
03/18/2020
Axiom Pinpointing
Axiom pinpointing refers to the task of finding the specific axioms in a...
research
∙
01/21/2020
Provenance for the Description Logic ELHr
We address the problem of handling provenance information in ELHr ontolo...
research
∙
06/01/2019
Enriching Ontology-based Data Access with Provenance (Extended Version)
Ontology-based data access (OBDA) is a popular paradigm for querying het...
research
∙
03/12/2019
Probabilistic Temporal Logic over Finite Traces (Technical Report)
Temporal logics over finite traces have recently gained attention due to...
research
∙
10/02/2018
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data
Recent work has studied a probabilistic extension of the temporal logic ...
research
∙
08/06/2018
Query Answering for Rough EL Ontologies (Extended Technical Report)
Querying large datasets with incomplete and vague data is still a challe...
research
∙
08/01/2018
Repairing Description Logic Ontologies by Weakening Axioms
The classical approach for repairing a Description Logic ontology O in t...
research
∙
05/25/2018
Consequence-Based Axiom Pinpointing
Axiom pinpointing refers to the problem of finding the axioms in an onto...
research
∙
11/09/2017
Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and error-prone task, in which small chan...
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
∙
06/10/2017
Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
We present a probabilistic extension of the description logic ALC for re...
research
∙
06/30/2016
Probabilistic Reasoning in the Description Logic ALCP with the Principle of Maximum Entropy (Full Version)
A central question for knowledge representation is how to encode and han...
research
∙
09/29/2015
Reasoning in Infinitely Valued G-IALCQ
Fuzzy Description Logics (FDLs) are logic-based formalisms used to repre...
research
∙
08/11/2015