Thomas Schneider

Learn More
Ontology design and maintenance require an expertise in both the domain of application and the ontology language. Realistic ontologies typically model different aspects of an application domain at various levels of granularity; prominent examples are the National Cancer Institute Ontology (NCI), which describes diseases, drugs, proteins, etc., and GALEN,(More)
There are various techniques for specifying a module of an ontology that covers all knowledge about a given set of terms. These differ with respect to the size of the module, the complexity of its computation, and certain robustness properties. In this paper, we survey existing logic-based approaches, focus on syntactic approximations, and compare different(More)
The OWL2 profile OWL2QL, based on the DL-Lite family of description logics, is emerging as a major language for developing new ontologies and approximating the existing ones. Its main application is ontology-based data access, where ontologies are used to provide background knowledge for answering queries over data. We investigate the corresponding notion(More)
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional operators is restricted, the complexity may decrease. This paper undertakes a systematic study of satisfiability for(More)
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If in contrast, the set of propositional operators is restricted, the complexity may decrease. This article systematically studies the model-checking(More)
Semiconducting polymer dots (Pdots) represent a new class of ultrabright fluorescent probes for biological imaging. They exhibit several important characteristics for experimentally demanding in vitro and in vivo fluorescence studies, such as their high brightness, fast emission rate, excellent photostability, nonblinking, and nontoxic feature. However,(More)
Qualitative spatial and temporal reasoning is based on socalled qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but(More)
For ontology reuse and integration, a number of approaches have been devised that aim at identifying modules, i.e., suitably small sets of “relevant” axioms from ontologies. Here we consider three logically sound notions of modules: MEX modules, only applicable to inexpressive ontologies; modules based on semantic locality, a sound approximation of the(More)
The main objective of the conducted research work was to explore the influence of chain length and amount of n-paraffins as well as the chemical composition of technical paraffins (chain length and amount of n- and iso-alkanes) on the thickness swelling, water absorption and internal bond strength of MDF. Pronounced differences in the sizing efficiency of(More)
OBJECTIVES (a) To determine the extent and range of errors and issues in the Systematised Nomenclature of Medicine-Clinical Terms (SNOMED CT) hierarchies as they affect two practical projects. (b) To determine the origin of issues raised and propose methods to address them. METHODS The hierarchies for concepts in the Core Problem List Subset published by(More)