2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Mark Kaminski, Bernardo Cuenca Grau
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary da…