Volgen
Thomas Schneider
Thomas Schneider
Dept. of Mathematics and Computer Science, University of Bremen, Germany
Geverifieerd e-mailadres voor uni-bremen.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1522008
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
1142011
Which kind of module should I extract
U Sattler, T Schneider, M Zakharyaschev
Proc. of DL 477, 2009
1092009
The modular structure of an ontology: Atomic decomposition
C Del Vescovo, B Parsia, U Sattler, T Schneider
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
1052011
Minimal module extraction from DL-Lite ontologies using QBF solvers
R Kontchakov, L Pulina, U Sattler, T Schneider, P Selmer, F Wolter, ...
21st International Joint Conference on Artificial Intelligence, IJCAI-09 …, 2009
982009
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
672017
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
56*2011
Algebraic Properties of Qualitative Spatio-Temporal Calculi
F Dylla, T Mossakowski, T Schneider, D Wolter
COSIT, 516-536, 2013
462013
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
38*2008
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
372010
Conjunctive query inseparability of OWL 2 QL TBoxes
B Konev, R Kontchakov, M Ludwig, T Schneider, F Wolter, ...
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
302011
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
29*2013
Complexity of hybrid logics over transitive frames
M Mundhenk, T Schneider, T Schwentick, V Weber
Journal of Applied Logic 8 (4), 422-440, 2010
292010
Finite Model Reasoning in Horn Description Logics
Y Ibáñez-García, C Lutz, T Schneider
KR-2014, 2014
28*2014
Lightweight Description Logics and Branching Time: a Troublesome Marriage
V Gutiérrez-Basulto, JC Jung, T Schneider
KR-2014, 2014
282014
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
262009
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
232011
Model checking CTL is almost always inherently sequential
O Beyersdorff, A Meier, M Thomas, H Vollmer, M Mundhenk, T Schneider
2009 16th International Symposium on Temporal Representation and Reasoning …, 2009
232009
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
V Gutiérrez-Basulto, JC Jung, T Schneider
IJCAI, 3015-3021, 2015
222015
The complexity of satisfiability for fragments of hybrid logic—Part I
A Meier, M Mundhenk, T Schneider, M Thomas, V Weber, F Weiss
Journal of Applied Logic 8 (4), 409-421, 2010
202010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20