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


Valid HTML 4.01 Transitional     Valid CSS!     22 Feb 2021 TS