The proceedings can be found at the following link.

Here follow Patrick and colleagues’ contributions:

• Towards Conceptual Clustering in EL with Simulation Graphs (Ruud van Bakel, Michael Cochez, Patrick Koopmann) - a collaboration with the LnR group of the VU on unsupervised learning of description logic concepts
• Why not? Developing ABox Abduction Beyond Repairs (Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan) - collaboration with Paderborn, on explaining and repairing missing entailments in inconsistent knowledge bases
• Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann) - collaboration with Dresden, abstract to an accepted paper at CADE (still waiting for it to appear on the Springer proceedings), this is on combining numerical reasoning with logical reasoning in a new description logic