Baader, Franz, TU Dresden, Germany
-
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning - Short Papers
Extending Unification in EL Towards General TBoxes
Abstract PDF -
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning - Invited Talks
Ontology-Based Monitoring of Dynamic Systems
Abstract PDF