Uli Sattler

Description Logic, Theory Combination, and All That

2019

Introduction to Description Lo

Introduction to Description Logic

2017

Intelligent Information Processing VII

2014

Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings

2012