Activities
-
Co-chair of the workshops
WoMO 2012,
WoMO 2011
-
Programme committee member for the conferences
IJCAI 2013,
AAAI 2013 (Special Track AIW),
IJCAI 2011,
IJCAI 2011,
ISWC 2009 (Research Track)
IJCAI 2009,
ISWC 2008 (Research Track)
-
Programme committee member for the workshops
DL 2013,
OWLED 2013,
DL 2012,
OWLED 2012,
OWLED 2011,
HyLo 2010,
WoMO 2010,
M4M-6 2009,
DL 2009,
OWLED 2008
-
Examiner for the University of South Africa (2011)
-
Reviewer for
Journal of Artificial Intelligence Research,
Journal of Computer and System Sciences,
Theory of Computing Systems,
Journal of Automated Reasoning,
Journal of Web Semantics,
Applied Ontology,
Review of Symbolic Logic,
Journal of Logic and Computation,
Data & Knowledge Engineering Journal
-
Reviewer for
RR 2013,
CADE 2013,
JELIA 2012,
ECAI 2012,
CiE 2012,
IJCAR 2012,
LPAR 2012,
STACS 2012,
M4M 2011,
AAAI 2011,
TABLEAUX 2011,
CADE 2011,
WoLLIC 2011,
ISWC 2010,
JELIA 2010,
KR 2010,
DL 2010,
FroCoS 2009,
LSFA 2009,
TABLEAUX 2009,
FSTTCS 2008,
KR 2008,
JELIA 2008,
AiML 2008,
IJCAR 2008,
AAAI 2008,
ESWC 2008,
DL 2008,
LATA 2007
-
Co-lecturer of the courses
Modularity in Ontologies
at ESSLLI 2011,
and
Explanation in Ontology Languages
at ESSLLI 2009,
-
Co-presenter of the
Tutorial on OWL explanations
at ISWC 2009
and the
OWL Modularity Tutorial
at ISWC 2008
-
Reviewer for the
OWL Working Group
-
Reviewer for the theses "Diplomarbeit" of Felix Weiß and Matthias Hagen,
University of Jena
-
Creator of the initial version of the Manchester OWL pages
|