Thomas Schneider

Cited by

	All	Since 2019
Citations	1501	511
h-index	21	13
i10-index	32	16

120

2007200820092010201120122013201420152016201720182019202020212022202320249 11 58 83 92 120 118 87 107 105 94 87 79 113 95 94 75 55

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Chiara Del VescovoSenior Data Manager at BBCVerified email at bbc.co.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Jean Christoph JungTU DortmundVerified email at tu-dortmund.de
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Heribert VollmerProfessor für Theoretische Informatik, Leibniz Universität HannoverVerified email at thi.uni-hannover.de
Pavel KlinovSenior Research Engineer, Complexible IncVerified email at complexible.com
Arne MeierPrivatdozent, Institute of Theoretical Computer Science, Leibniz Universität HannoverVerified email at thi.uni-hannover.de
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Henning SchnoorResearcher of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Rafael Berlanga LlavoriUniversidad Jaume IVerified email at uji.es
Ernesto Jimenez-RuizSenior Lecturer in Artificial Intelligence. City St George's, University of London, UKVerified email at city.ac.uk
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Verified email at cs.ox.ac.uk
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerified email at ovgu.de
Diedrich WolterHybrid AI, University of Lübeck, GermanyVerified email at uni-luebeck.de
Víctor Gutiérrez BasultoCardiff UniversityVerified email at cardiff.ac.uk
Mantas ŠimkusTU Wien, AustriaVerified email at dbai.tuwien.ac.at
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityVerified email at cardiff.ac.uk

Thomas Schneider

Dept. of Mathematics and Computer Science, University of Bremen, Germany

Verified email at uni-bremen.de - Homepage

Logic - knowledge representation - modal logic - description logic - hybrid logic - modularity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Safe and economic re-use of ontologies: A logic-based methodology and tool support E Jiménez-Ruiz, B Grau, U Sattler, T Schneider, R Berlanga The Semantic Web: Research and Applications, 185-199, 2008	163	2008
Which kind of module should I extract U Sattler, T Schneider, M Zakharyaschev Proc. of DL 477, 2009	124	2009
Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications AL Rector, S Brandt, T Schneider Journal of the American Medical Informatics Association 18 (4), 432-440, 2011	122	2011
A survey of qualitative spatial and temporal calculi: algebraic and computational properties F Dylla, JH Lee, T Mossakowski, T Schneider, A van Delden, ... ACM Computing Surveys (CSUR) 50 (1), 1-39, 2017	116	2017
The modular structure of an ontology: Atomic decomposition C Del Vescovo, B Parsia, U Sattler, T Schneider IJCAI Proceedings-international joint conference on artificial intelligence …, 2011	112	2011
Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers. R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ... IJCAI 9, 836-841, 2009	102	2009
Decomposition and modular structure of BioPortal ontologies C Del Vescovo, D Gessler, P Klinov, B Parsia, U Sattler, T Schneider, ... The Semantic Web–ISWC 2011, 130-145, 2011	58	2011
Algebraic Properties of Qualitative Spatio-Temporal Calculi F Dylla, T Mossakowski, T Schneider, D Wolter COSIT, 516-536, 2013	52	2013
Ontologies and data management: a brief survey T Schneider, M Šimkus KI-Künstliche Intelligenz 34 (3), 329-353, 2020	44	2020
The modular structure of an ontology: an empirical study C Del Vescovo, B Parsia, U Sattler, T Schneider Proceedings of the Fourth International Workshop on Modular Ontologies (WoMO …, 2010	40	2010
The complexity of generalized satisfiability for linear temporal logic M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer Logical Methods in Computer Science 5 (1), 2008	40	2008
Empirical Study of Logic-Based Modules: Cheap Is Cheerful C Del Vescovo, P Klinov, B Parsia, U Sattler, T Schneider, D Tsarkov Description Logics, 144-155, 2013	34	2013
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR-2014, 2014	32	2014
Finite Model Reasoning in Horn Description Logics Y Ibáñez-García, C Lutz, T Schneider KR-2014, 2014	31	2014
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 3015-3021, 2015	29	2015
Conjunctive query inseparability of OWL 2 QL TBoxes B Konev, R Kontchakov, M Ludwig, T Schneider, F Wolter, ... Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 221-226, 2011	29	2011
Complexity of hybrid logics over transitive frames M Mundhenk, T Schneider, T Schwentick, V Weber Journal of Applied Logic 8 (4), 422-440, 2010	27	2010
The tractability of model checking for LTL: The good, the bad, and the ugly fragments M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer ACM Transactions on Computational Logic (TOCL) 12 (2), 1-28, 2011	26	2011
The tractability of model-checking for LTL: The good, the bad, and the ugly fragments M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer Electronic Notes in Theoretical Computer Science 231, 277-292, 2009	24	2009
The complexity of generalized satisfiability for linear temporal logic M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer Foundations of Software Science and Computational Structures: 10th …, 2007	24	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors