Home Research Publications Talks Teaching Private

Thomas Schneider's Publications

My Google Scholar and DBLP profiles – for additional information and disambiguation

Edited proceedings

  1. O. Kutz and T. Schneider: Modular Ontologies – Proceedings of the Fifth International Workshop. Vol. 230 of Frontiers in Artificial Intelligence and Applications, IOS Press 2011.
    BIB    Online version
  2. T. Schneider and D. Walther: Proceedings of the 6th International Workshop on Modular Ontologies. Vol. 875 of CEUR Workshop Proceedings, CEUR-WS.org 2012.
    BIB    Online version

Journal Articles

  1. A. Meier and T. Schneider: Generalized Satisfiability for the Description Logic ALC. Accepted for Theoretical Computer Science, special issue on TAMC 2011.
    This is an extension of the conference paper 23.
     
  2. O. Beyersdorff, A. Meier, M. Mundhenk, T. Schneider, M. Thomas, and H. Vollmer: Model Checking CTL is Almost Always Inherently Sequential. Logical Methods in Computer Science, 7(2), 2011.
    Abstract    PDF    BIB
    This is an extended version of the TIME paper 28.
     
  3. M. Bauland, M. Mundhenk, T. Schneider, H. Schnoor, I. Schnoor, and H. Vollmer: The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. ACM Transactions on Computational Logic, 12(2), 2011.
    Abstract+PDF (ACM DL)     BIB
    This is an extended version of the M4M paper 35.
     
  4. A. Rector, S. Brandt, and T. Schneider: Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications. JAMIA, 18(4), 432–440, 2011.
    Abstract+PDF (JAMIA)     BIB
     
  5. A. Meier, M. Mundhenk, T. Schneider, M. Thomas, V. Weber, and F. Weiß: The Complexity of Satisfiability for Fragments of Hybrid Logic — Part I. Journal of Applied Logic, 8, 409–421, 2010. Special issue on hybrid logic.
    Abstract+PDF (ScienceDirect)     BIB
    This is an extended version of the MFCS paper 29.
     
  6. M. Mundhenk, T. Schneider, T. Schwentick, V. Weber: Complexity of Hybrid Logics over Transitive Frames. Journal of Applied Logic, 8, 422–440, 2010. Special issue on hybrid logic.
    Abstract+PDF (ScienceDirect)     BIB
    This is an extended version of the M4M paper 42.
     
  7. M. Bauland, T. Schneider, H. Schnoor, I. Schnoor, and H. Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic. Logical Methods in Computer Science, 5(1), 2009.
    Abstract    PDF    BIB
    This is an extended version of the FoSSaCS paper 39.
     
  8. M. Mundhenk, T. Schneider: The Complexity of Hybrid Logics over Equivalence Relations. Journal of Logic, Language and Information, 18(4), 493–514, 2009.
    Abstract+PDF (SpringerLink)    BIB
    This is an extended version of the HyLo paper 40 in the special issue "Hybrid Logic" of JoLLI.

Reviewed Conference and Workshop Papers

  1. C. Lutz, Y. Ibañez-García, and T. Schneider: Finite model reasoning in Horn-SHIQ. Accepted for DL 2013.
     
  2. C. Del Vescovo, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and D. Tsarkov: Empirical Study of Logic-Based Modules: Cheap Is Cheerful. Accepted for DL 2013.
    Extended PDF
     
  3. F. Dylla, T. Mossakowski, T. Schneider, and D. Wolter: Algebraic Properties of Qualitative Spatio-Temporal Calculi. Accepted for COSIT 2013.
     
  4. S. Göller, A. Meier, M. Mundhenk, T. Schneider, M. Thomas, and F. Weiß: The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. In AiML-9, College Publications, pg. 261–278, 2012.
    BIB    PDF (aiml.net)    Extended version (arXiv):    Abstract    PDF
     
  5. C. Del Vescovo, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and D. Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? In Proc. 6th WoMO, vol. 875 of CEUR, 2012.
    PDF (CEUR)    BIB     Extended PDF
     
  6. P. Klinov, C. Del Vescovo, and T. Schneider, Incrementally Updateable and Persistent Decomposition of OWL Ontologies. In Proc. 9th OWLED, vol. 849 of CEUR, 2012.
    PDF (CEUR)    BIB
     
  7. C. Del Vescovo, D. Gessler, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and A. Winget: Decomposition and Modular Structure of BioPortal Ontologies. In Proc. ISWC 2011, LNCS 7031, pg. 130–145, 2011.
    Abstract+PDF (SpringerLink)     Extended PDF     BIB
     
  8. B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, and M. Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. In Proc. 24th DL, vol. 745 of CEUR, 2011.
    PDF (CEUR)    BIB
     
  9. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The Modular Structure of an Ontology: Atomic Decomposition and Module Count. In Proc. WoMo 2011, vol. 230 of Frontiers in AI and Appl., pg. 25–39, 2011.
    Abstract     Extended PDF     BIB
     
  10. B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, and M. Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes. In Proc. AAAI 2011.
    Abstract+PDF (AAAI Press)     Extended PDF    BIB
     
  11. M. Kaminski and T. Schneider and G. Smolka: Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. In Proc. TABLEAUX 2011, LNCS 6793, pg. 196–210, 2011.
    Abstract+PDF (SpringerLink)     Extended PDF     BIB
     
  12. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The Modular Structure of an Ontology: Atomic Decomposition. In Proc. IJCAI 2011, pg. 2232–2237, 2011.
    Abstract     PDF (ijcai.org)     Extended PDF     BIB
     
  13. A. Meier and T. Schneider: Generalized Satisfiability for the Description Logic ALC (Extended Abstract). In Proc. TAMC 2011, LNCS 6648, pg. 552–562, 2011.
    Abstract+PDF (SpringerLink)     Extended PDF     BIB
     
  14. B. Parsia and T. Schneider: The Modular Structure of an Ontology: an Empirical Study. In Proc. KR-10, pg. 584–586, 2010.
    Abstract+PDF (AAAI Press)     Extended PDF     BIB
     
  15. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The Modular Structure of an Ontology: an Empirical Study. In Proc. DL 2010.
    Abstract     PDF (CEUR)     Extended PDF     BIB
     
  16. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The Modular Structure of an Ontology: an Empirical Study. In Proc. WoMo-10, vol. 211 of Frontiers in AI and Appl., pg. 11–24, 2010.
    Abstract     Extended PDF     BIB
     
  17. A. Meier and T. Schneider: The Complexity of Satisfiability for Sub-Boolean Fragments of ALC. In Proc. DL 2010.
    Abstract     PDF (CEUR)     Extended PDF     BIB
     
  18. B. Parsia, U. Sattler, and T. Schneider: Mechanisms for Importing Modules. In Proc. OWLED, volume 529 of CEUR, 2009.
    Abstract     PDF (CEUR)     BIB
     
  19. Superseded by Article 7:     A. Meier, M. Mundhenk, T. Schneider, M. Thomas V. Weber, and F. Weiß: The Complexity of Satisfiability for Fragments of Hybrid Logic — Part I. In Proc. 34th MFCS, pg. 587–599, 2009.
     
  20. U. Sattler, T. Schneider, and M. Zakharyaschev: Which Kind of Module Should I Extract? In Proc. 22nd DL, 2009.
    Abstract     PDF (CEUR)     Extended PDF     BIB
     
  21. Superseded by Article 4:     O. Beyersdorff, A. Meier, M. Mundhenk, T. Schneider, M. Thomas, and H. Vollmer: Model Checking CTL is Almost Always Inherently Sequential. In Proc. 16th TIME, 2009.
     
  22. R. Kontchakov, L. Pulina, U. Sattler, T. Schneider, P. Selmer, F. Wolter, and M. Zakharyaschev: Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers. In Proc. 21st IJCAI, pg. 836–841, 2009.
    Abstract    PDF (ijcai.org)    BIB
     
  23. B. Parsia, U. Sattler, and T. Schneider: Easy Keys for OWL. In Proc. 5th OWLED, 2008.
    Abstract     PDF (CEUR)     BIB
     
  24. E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori: ProSÉ:  A Protégé plugin for Reusing Ontologies, Safe and Économique. JISBD 2008, pg. 449–452, 2008.
     
  25. Superseded by Article 5:     M. Bauland, M. Mundhenk, T. Schneider, H. Schnoor, I. Schnoor, and H. Vollmer: The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. In Proc. M4M-5, ENTCS 231, pg. 277–292, 2009.
     
  26. E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Proc. of ESWC 2008, LNCS 5021, pg. 185–199, 2008. Nominated for Best Paper Award.
    Abstract+PDF (SpringerLink)     Extended and corrected PDF     BIB
     
  27. E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Proc. 21st DL, 2008.
    Abstract     PDF (CEUR)     Extended PDF     BIB
     
  28. E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. In Proc. 4th OWLED, 2008.
    Abstract     PDF (WebOnt.org)     Extended PDF     BIB
     
  29. Superseded by Article 9:     M. Bauland, T. Schneider, H. Schnoor, I. Schnoor, and H. Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic. In Proc. 10th FoSSaCS, LNCS 4423, pg. 48–62, Springer, 2007.
     
  30. Superseded by Article 10:     M. Mundhenk, T. Schneider: The Complexity of Hybrid Logics over Equivalence Relations. In Proc. HyLo 2007, pg. 81–90.
     
  31. M. Mundhenk, T. Schneider: Undecidability of Multi-modal Hybrid Logics. In Proc. HyLo 2006, ENTCS 174(6), pg. 29–43, Elsevier, 2007.
    Abstract+PDF (ScienceDirect)     Extended PDF     BIB
     
  32. Superseded by Article 8:     M. Mundhenk, T. Schneider, T. Schwentick, V. Weber: Complexity of Hybrid Logics over Transitive Frames. In Proc. M4M-4, Informatik-Berichte 194 (2005), 62–78.

Theses

  1. T. Schneider: The Complexity of Hybrid Logics over Restricted Frame Classes. PhD dissertation, Friedrich-Schiller-Universität Jena, July 2007. Cuvillier Verlag, Göttingen.
    Zusammenfassung     Abstract     PDF     BIB
     
  2. T. Schneider: Komplexität modaler Logiken. (Complexity of Modal Logics.) Diplomarbeit, Friedrich-Schiller-Universität Jena, 2002, 65 pages, in German.
    Zusammenfassung     Abstract     PDF     BIB

Reports

  1. C. Del Vescovo, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and D. Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? Technical Report, coRR, 2012.
    Abstract    PDF
    This report is an extended version of Paper 15.
     
  2. S. Göller, A. Meier, M. Mundhenk, T. Schneider, M. Thomas, and F. Weiß: The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. Technical Report, coRR, 2012.
    Abstract     PDF
    This report is an extended version of Paper 14.
     
  3. C. Del Vescovo, D. Gessler, P. Klinov, B. Parsia, U. Sattler, T. Schneider, and A. Winget: Decomposition and Modular Structure of BioPortal Ontologies. Technical Report, University of Manchester, 2011.
    PDF
    This report is an extended version of Paper 17.
     
  4. A. Meier and T. Schneider: Generalized Satisfiability for the Description Logic ALC. Technical Report, coRR, 2011.
    Abstract     PDF
    This report is an extended version of Paper 23.
     
  5. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The Modular Structure of an Ontology: Atomic Decomposition. Technical Report, University of Manchester, 2011.
    Abstract     PDF
    This report is an extended version of Paper 22.
     
  6. M. Kaminski and G. Smolka and T. Schneider: Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics. Technical Report, Saarland University, 2010.
    Abstract     PDF
    This report is an extended version of Paper 21.
     
  7. A. Meier and T. Schneider: The Complexity of Satisfiability for Sub-Boolean Fragments of ALC. Technical Report, coRR, 2010.
    Abstract     PDF
    This report is an extended version of Paper 27.
     
  8. C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider: The modular structure of an ontology: an empirical study. Technical Report, University of Manchester, 2010.
    Abstract     PDF
    This report is an extended version of Paper 24.
     
  9. U. Sattler, T. Schneider, and M. Zakharyaschev: Which Kind of Module Should I Extract? Technical Report, University of Manchester, 2009.
    Abstract     PDF
    This report is an extended and corrected version of Paper 30.
     
  10. E. Jiménez-Ruiz, B. Cuenca Grau, U. Sattler, T. Schneider, and R. Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. Technical Report, University of Manchester, 2007.
    Abstract     PDF
    This report is an extended and corrected version of Paper 36.
     
  11. M. Bauland, M. Mundhenk, T. Schneider, H. Schnoor, I. Schnoor, and H. Vollmer: The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. Technical Report 07-04, Reports on Computer Science, Friedrich-Schiller-Universität Jena, 2007.
    Abstract     PDF
    This report is an extended version of Paper 35, which is superseded by Article 5.
     
  12. M. Mundhenk, T. Schneider: The Complexity of Hybrid Logics over Equivalence Relations. Technical Report 07-02, Reports on Computer Science, Friedrich-Schiller-Universität Jena, 2007.
    Abstract     PDF
    This report is an extended version of Paper 40, which is superseded by Article 10.
     
  13. M. Bauland, T. Schneider, H. Schnoor, I. Schnoor, and H. Vollmer: The Complexity of Generalized Satisfiability for Linear Temporal Logic. Report TR06-153, ECCC, 2006.
    Abstract     PDF
    This report is an extended version of Paper 39, which is superseded by Article 9.
     
  14. M. Mundhenk, T. Schneider: Undecidability of Multi-modal Hybrid Logics. Technical Report 06-11, Reports on Computer Science, Friedrich-Schiller-Universität Jena, 2006.
    Abstract     PDF
    This report improves on Theorem 3.2 in Paper 41.
Valid HTML 4.01 Transitional   Valid CSS!   4 June 2013   Thomas Schneider