Stefan Borgwardt

activity

20152025

E L

to Disunification: The Case of Dismatching and Local Disunification

3 citations · 8 across the 16 of their papers we have counts for

collaborators

Showing 2024Show all

2 papers · 1 filter

cs.LO2024

The Precise Complexity of Reasoning in $A LC$ with $ω$ -Admissible Concrete Domains (Extended Version)

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann

Concrete domains have been introduced in the context of Description Logics to allow references to qualitative and quantitative values. In particular, the class of $ω$ -admissible co…

cs.SC2024

Solving unification in the description logic $F L_{⊥}$

Barbara Morawska, Dariusz Marzec

We present an algorithm for solving the unification problem in the description logic $F L_{⊥}$ . This logic extends $F L_{0}$ with the bottom constructor, and thus…

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains (Extended Version)

Solving unification in the description logic FL⊥​

The Precise Complexity of Reasoning in $A LC$ with $ω$ -Admissible Concrete Domains (Extended Version)

Solving unification in the description logic $F L_{⊥}$