Thomas Schneider

Orcid: 0000-0001-5592-6183

Affiliations:
  • University of Bremen, Faculty of Mathematics, Computer Science, Germany
  • University of Jena, Department of Computer Science, Germany
  • University of Manchester, School of Computer Science, UK


According to our database1, Thomas Schneider authored at least 52 papers between 2006 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Properties of Module Notions and Atomic Decomposition.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Properties of Module Notions and Atomic Decomposition (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020
Special Issue on Ontologies and Data Management: Part II.
Künstliche Intell., 2020

Ontologies and Data Management: A Brief Survey.
Künstliche Intell., 2020

Special Issue on Ontologies and Data Management: Part I.
Künstliche Intell., 2020

Interview with Uli Sattler.
Künstliche Intell., 2020

Modular Structures and Atomic Decomposition in Ontologies.
J. Artif. Intell. Res., 2020

Conservative Extensions in Horn Description Logics with Inverse Roles.
J. Artif. Intell. Res., 2020

2019
Special issue on Temporal Representation and Reasoning (TIME 2017).
Theor. Comput. Sci., 2019

How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper).
Proceedings of the 14th International Conference on Spatial Information Theory, 2019

2018
Ontology Partitioning Using E-Connections Revisited (Extended Abstract).
Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, 2018

Querying the Unary Negation Fragment with Regular Path Expressions.
Proceedings of the 21st International Conference on Database Theory, 2018

Ontology Partitioning Using E-Connections Revisited.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties.
ACM Comput. Surv., 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2015
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Lightweight Description Logics and Branching Time: A Troublesome Marriage.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Finite Model Reasoning in Horn Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013
Generalized satisfiability for the description logic ALC.
Theor. Comput. Sci., 2013

Empirical Study of Logic-Based Modules: Cheap Is Cheerful.
Proceedings of the Semantic Web - ISWC 2013, 2013

Finite Model Reasoning in Horn-SHIQ.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Algebraic Properties of Qualitative Spatio-temporal Calculi.
Proceedings of the Spatial Information Theory - 11th International Conference, 2013

2012
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Incrementally Updateable and Persistent Decomposition of OWL Ontologies.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications.
J. Am. Medical Informatics Assoc., 2011

Model Checking CTL is Almost Always Inherently Sequential
Log. Methods Comput. Sci., 2011

The Modular Structure of an Ontology: Atomic Decomposition and Module Count.
Proceedings of the Modular Ontologies - Proceedings of the Fifth International Workshop, 2011

Generalized Satisfiability for the Description Logic <i>ALC</i> - (Extended Abstract).
Proceedings of the Theory and Applications of Models of Computation, 2011

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Decomposition and Modular Structure of BioPortal Ontologies.
Proceedings of the Semantic Web - ISWC 2011, 2011

The Modular Structure of an Ontology: Atomic Decomposition.
Proceedings of the IJCAI 2011, 2011

Module Extraction via Query Inseparability in OWL 2 QL.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Complexity of hybrid logics over transitive frames.
J. Appl. Log., 2010

The complexity of satisfiability for fragments of hybrid logic - Part I.
J. Appl. Log., 2010

The Modular Structure of an Ontology: An Empirical Study.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The modular structure of an ontology: an empirical study.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

The Complexity of Satisfiability for Sub-Boolean Fragments of ALC.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
The Complexity of Hybrid Logics over Equivalence Relations.
J. Log. Lang. Inf., 2009

Mechanisms for Importing Modules.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
Proceedings of the IJCAI 2009, 2009

Which Kind of Module Should I Extract?
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.
Electron. Colloquium Comput. Complex., 2008

Easy Keys for OWL.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

2007
The complexity of hybrid logics over restricted frame classes.
PhD thesis, 2007

2006
Undecidability of Multi-modal Hybrid Logics.
Proceedings of the International Workshop on Hybrid Logic, 2006

The Complexity of Generalized Satisfiability for Linear Temporal Logic.
Electron. Colloquium Comput. Complex., 2006


  Loading...