Thomas Schneider's Research
Research Interests
- Logic-based Knowledge Representation
- Automated Reasoning
- Description Logics
- Modal, Temporal, and Hybrid Logics
Activities
- Programme committee member for the conferences ISWC 2009 (Research Track) IJCAI 2009, ISWC 2008 (Research Track)
- Programme committee member for the workshops HyLo 2010, WoMO 2010, M4M-6 2009, DL 2009, OWLED 2008
- Presenter at the Tutorial on OWL explanations at ISWC 2009, at the Course on explanations at ESSLLI 2009, and at the OWL Modularity Tutorial at ISWC 2008
- Reviewer for the Review of Symbolic Logic, Journal of Logic and Computation, Data & Knowledge Engineering Journal, Journal of Automated Reasoning
- Reviewer for the OWL Working Group
- Reviewer for 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
- Reviewer for the "Diplomarbeit" of Felix Weiß, University of Jena
- Creator and maintainer of the Manchester OWL pages
Awards
-
2008–2010: Funding from the British Council for 2 years for the collaboration project
A Classification of the Complexity of Satisfiability for Fragments of Hybrid Logics -
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
Current Projects
-
Composing and decomposing ontologies: a logic-based approach
(funded by the EPSRC),
together with Ian Horrocks, Boris Konev, Bijan Parsia, Ulrike Sattler, Dirk Walther, and Frank Wolter.
-
A Classification of the Complexity of Satisfiability for Fragments of Hybrid Logics
(funded by the British Council
and DAAD),
together with Martin Mundhenk, Felix Weiß, Arne Meier, Michael Thomas, and Volker Weber.
-
A classification of the complexity of decision problems for description logics,
together with Arne Meier.
Gratis Counter by GOWEB