|
27 Apr 2010
|
COMP 60421
|
Reasoning in the Lightweight Description Logic EL+
|
proxying Bijan Parsia
|
|
|
25 Oct 2009
|
ISWC 2009
|
Working with Explanations of OWL Entailments
|
together with Matthew Horridge,
Bijan Parsia and
Uli Sattler
|
Course homepage
|
|
27–31 Jul 2009
|
ESSLLI 2009
|
Explanation in Ontology Languages
|
together with Bijan Parsia
|
Course homepage
|
|
21 Apr 2009
|
COMP 60462
|
Reasoning in the Lightweight Description Logic EL+
|
proxying Bijan Parsia
|
|
|
26 Oct 2008
|
ISWC 2008
|
Working Modularly in OWL
|
together with Bijan Parsia,
Uli Sattler and
Frank Wolter
|
Tutorial homepage
|
|
7 Oct 2008
|
CTU Prague
|
Working modularly with OWL
|
|
Tutorial homepage
|
|
24 Sep 2008
|
Univ. Manchester
|
Working modularly with OWL
|
together with Bijan Parsia
|
Tutorial homepage
|
|
2002–2007
|
Univ. Jena
|
Exercise classes and Java tutorials
|
in Martin Mundhenk's group
|
|