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 M4M-6 2009, DL 2009, OWLED 2008
- 10/2008: Presenter at the OWL Modularity Tutorial at ISWC 2008
- Reviewer for the JAR Special issue on Description Logics; Journal of Logic and Computation
- Reviewer for the OWL Working Group
- Reviewer for 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
-
Funding from the British Council for 2 years for the below project:
A Classification of the Complexity of Satisfiability for Fragments of Hybrid Logics -
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