65 citations · 68 across the 3 of their papers we have counts for
3 papers
cs.SC2024
Solving unification in the description logic
Barbara Morawska, Dariusz Marzec
We present an algorithm for solving the unification problem in the description logic . This logic extends with the bottom constructor, and thus…
cs.LO2016★ 3 cited
Extending Unification in to Disunification: The Case of Dismatching and Local Disunification
Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Descri…
cs.AI2010★ 65 cited
Unification in the Description Logic EL
Franz Baader, Barbara Morawska
The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. On the other…