Thomas Schneider

ORCID

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 20

Top Venues

CoRR

Description Logics

Künstliche Intell.

Friedrich Schiller University of Jena (PHD)

Education History

Friedrich Schiller University of Jena

PHD

Publications

Robin Nolte, Thomas Schneider
Properties of Module Notions and Atomic Decomposition (Extended Abstract). Description Logics (2021)
Robin Nolte, Thomas Schneider
Properties of Module Notions and Atomic Decomposition. KR (2021)
Thomas Schneider, Mantas Simkus
Ontologies and Data Management: A Brief Survey. Künstliche Intell. 34 (3) (2020)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR (2020)
Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao
Modular Structures and Atomic Decomposition in Ontologies. J. Artif. Intell. Res. 69 (2020)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. 68 (2020)
Thomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part II. Künstliche Intell. 34 (4) (2020)
Uli Sattler, Thomas Schneider
Interview with Uli Sattler. Künstliche Intell. 34 (3) (2020)
Thomas Schneider, Mantas Simkus
Special Issue on Ontologies and Data Management: Part I. Künstliche Intell. 34 (3) (2020)
Robin Nolte, Thomas Schneider
How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports. Description Logics (2019)
Reinhard Moratz, Leif Sabellek, Thomas Schneider
Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper). COSIT (2019)
Sven Schewe, Thomas Schneider, Jef Wijsen
Special issue on Temporal Representation and Reasoning (TIME 2017). Theor. Comput. Sci. 797 (2019)
Sascha Jongebloed, Thomas Schneider
Ontology Partitioning Using E-Connections Revisited. Description Logics (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Querying the Unary Negation Fragment with Regular Path Expressions. ICDT (2018)
Sascha Jongebloed, Thomas Schneider
Ontology Partitioning Using E-Connections Revisited (Extended Abstract). MedRACER+WOMoCoE@KR (2018)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP (2017)
Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. ACM Comput. Surv. 50 (1) (2017)
Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI (2017)
Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties. CoRR (2016)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. IJCAI (2015)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage. Description Logics (2015)
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Lightweight Description Logics and Branching Time: A Troublesome Marriage. KR (2014)
Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
Finite Model Reasoning in Horn Description Logics. KR (2014)
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
Algebraic Properties of Qualitative Spatio-Temporal Calculi. CoRR (2013)
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Description Logics (2013)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Empirical Study of Logic-Based Modules: Cheap Is Cheerful. ISWC (1) (2013)
Arne Meier, Thomas Schneider
Generalized satisfiability for the description logic ALC. Theor. Comput. Sci. 505 (2013)
Yazmín Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
Finite Model Reasoning in Horn-SHIQ. Description Logics (2013)
Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers CoRR (2012)
Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiß
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. Advances in Modal Logic (2012)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR (2012)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO (2012)
Pavel Klinov, Chiara Del Vescovo, Thomas Schneider
Incrementally Updateable and Persistent Decomposition of OWL Ontologies. OWLED (2012)
Mark Kaminski, Thomas Schneider, Gert Smolka
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. TABLEAUX (2011)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The Modular Structure of an Ontology: Atomic Decomposition and Module Count. WoMO (2011)
Arne Meier, Thomas Schneider
- (Extended Abstract). TAMC (2011)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The Modular Structure of an Ontology: Atomic Decomposition. IJCAI (2011)
Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget
Decomposition and Modular Structure of BioPortal Ontologies. ISWC (1) (2011)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics (2011)
Alan L. Rector, Sam Brandt, Thomas Schneider
Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications. J. Am. Medical Informatics Assoc. 18 (4) (2011)
Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Heribert Vollmer
Model Checking CTL is Almost Always Inherently Sequential Log. Methods Comput. Sci. 7 (2) (2011)
Arne Meier, Thomas Schneider
Generalized Satisfiability for the Description Logic ALC CoRR (2011)
Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The tractability of model checking for LTL: The good, the bad, and the ugly fragments. ACM Trans. Comput. Log. 12 (2) (2011)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI (2011)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The modular structure of an ontology: an empirical study. WoMO (2010)
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
The complexity of satisfiability for fragments of hybrid logic - Part I. J. Appl. Log. 8 (4) (2010)
Bijan Parsia, Thomas Schneider
The Modular Structure of an Ontology: An Empirical Study. KR (2010)
Arne Meier, Thomas Schneider
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC CoRR (2010)
Arne Meier, Thomas Schneider
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC. Description Logics (2010)
Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber
Complexity of hybrid logics over transitive frames. J. Appl. Log. 8 (4) (2010)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
The modular structure of an ontology: an empirical study. Description Logics (2010)
Martin Mundhenk, Thomas Schneider
The Complexity of Hybrid Logics over Equivalence Relations. J. Log. Lang. Inf. 18 (4) (2009)
Ulrike Sattler, Thomas Schneider, Michael Zakharyaschev
Which Kind of Module Should I Extract? Description Logics (2009)
Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments. Electron. Notes Theor. Comput. Sci. 231 (2009)
Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. IJCAI (2009)
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I CoRR (2009)
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. MFCS (2009)
Bijan Parsia, Ulrike Sattler, Thomas Schneider
Mechanisms for Importing Modules. OWLED (2009)
Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider
Model Checking CTL is Almost Always Inherently Sequential. TIME (2009)
Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The Complexity of Generalized Satisfiability for Linear Temporal Logic Log. Methods Comput. Sci. 5 (1) (2009)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Description Logics (2008)
Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments CoRR (2008)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. ESWC (2008)
Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. Electron. Colloquium Comput. Complex. 15 (028) (2008)
Bijan Parsia, Ulrike Sattler, Thomas Schneider
Easy Keys for OWL. OWLED (2008)
Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber
Complexity of Hybrid Logics over Transitive Frames CoRR (2008)
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. OWLED (Spring) (2008)
Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The Complexity of Generalized Satisfiability for Linear Temporal Logic. FoSSaCS (2007)
Martin Mundhenk, Thomas Schneider
Undecidability of Multi-modal Hybrid Logics. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer
The Complexity of Generalized Satisfiability for Linear Temporal Logic. Electron. Colloquium Comput. Complex. 13 (153) (2006)

Thomas Schneider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Schneider