Activities + Awards

Thomas Schneider's Grants, Awards, and Activities

Grants

2015–18		Research project Conservative Extensions in Ontology Languages (CEO): Beyond Description Logics, recently granted by DFG
2008–10		Collaboration project A Classification of the Complexity of Satisfiability for Fragments of Hybrid Logics, funded by the British Council

Awards

2016		Best reviewer award at EKAW 2016
2011		Best paper award candidate at ISWC 2011 for the joint paper Decomposition and Modular Structure of BioPortal Ontologies
2008		Best paper award candidate at ESWC 2008 for the joint paper Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
2003		Award for outstanding examination results (Examenspreis), Faculty of Mathematics and Computer Science at the University of Jena

Chairmanship and Editorship

Since 2016		Executive committee member, section Logic in Computer Science (LogInf), German Society of Computer Science (GI)
2018–2021		Elected steering committee member, Description Logic workshop series (DL)
2012–2019		Chair of the WoMO steering committee
2020		Guest co-editor of the special issue “Ontologies and Data Management” (Part I, Part II) of the KI Journal
2019		Managing guest editor for the special issue “Temporal Representation and Reasoning (TIME 2017)” of the Theoretical Computer Science journal
2018		PC co-chair of DL
2017		PC co-chair of TIME
2016		Co-chair of track “Reasoning” at ESWC
2012		Co-chair and co-organiser of WoMO
2011		Co-chair and co-organiser of WoMO

PC Membership

2020		ECAI, DL
2019		IJCAI, DL, WOMoCoE
2018		IJCAI, WOMoCoE
2017		DL, WOMoCoE
2016		EKAW, WOMoCoE
2015		ESWC, WoMO, FOfAI
2014		ESWC, ECAI, DL, WoMO
2013		IJCAI, AAAI (AIW Track), DL, OWLED
2012		DL, OWLED
2011		IJCAI, OWLED
2010		HyLo, WoMO
2009		ISWC (Research Track), IJCAI, M4M-6, DL
2008		ISWC (Research Track), OWLED

Reviewing

Reviewing for Journals

2020		Teorema Theory of Computing Systems
2019		ACM Transactions on Computational Logic
2017		Journal of Applied Classical and Non-Classical Logics
2016		Journal of Computer and System Sciences
2015		Journal of Artificial Intelligence Research Journal of Applied Logic Semantic Web Journal
2014		Fundamenta Informaticae Journal of Web Semantics Journal of Automated Reasoning
2013		Journal of Automated Reasoning
2012		Journal of Artificial Intelligence Research Journal of Computer and System Sciences ACM Theory of Computing Systems
2011		Applied Ontology Journal of Web Semantics Journal of Automated Reasoning Data & Knowledge Engineering
2010		Review of Symbolic Logic Journal of Logic and Computation Data & Knowledge Engineering
2009		Journal of Automated Reasoning
2008		Journal of Logic and Computation

Reviewing for Conferences and Workshops

2020		ISWC
2019		K-CAP
2018		AiML, FOIS
2017		PODS, LICS
2016		IJCAR
2015		AAAI
2014		JELIA, AiML, STACS, SOFSEM
2013		KESW, RR, CADE
2012		JELIA, ECAI, CiE, IJCAR, LPAR, STACS
2011		AAAI, TABLEAUX, CADE, M4M, WoLLIC
2010		ISWC, JELIA, KR, DL
2009		FroCoS, TABLEAUX, LSFA
2008		FSTTCS, KR, JELIA, AiML, IJCAR, AAAI, ESWC, DL
2007		LATA

Further Reviewing

2008/9

W3C standard “OWL 2 Web Ontology Language” by the OWL Working Group
Document OWL 2 Direct Semantics

International Teaching

Course Description Logics: a Nice Family of Logics at ESSLLI 2016 (jointly with Uli Sattler)
Course Modularity in Ontologies at ESSLLI 2013 (jointly with Dirk Walther)
Course Description Logics: an Introductory Course on a Nice Family of Logics at ESSLLI 2012 (jointly with Uli Sattler)
Course Modularity in Ontologies at ESSLLI 2011 (jointly with Dirk Walther)
Course Explanation in Ontology Languages at ESSLLI 2009 (jointly with Bijan Parsia)
Tutorial on OWL explanations at ISWC 2009 (jointly with Matthew Horridge, Bijan Parsia, and Uli Sattler)
OWL Modularity Tutorial at ISWC 2008 (jointly with Bijan Parsia Uli Sattler, and Frank Wolter)

22 Feb 2021 TS