In this document we present and discuss the formal framework and tool suite that has been (resp. is in the process of being) developed along with Web Service Modeling Ontology (WSMO) and the Web Service Modeling Language (WSML) in order to provide a inferencing support in the area of semantic web services. In particular, we investigate and analyze what kind of formal statements so-called proof ...

Diagnosis of a clinical condition is a challenging task, which often requires significant medical investigation. Previous work related to diagnostic inferencing problems mostly consider multivariate observational data (e.g. physiological signals, lab tests etc.). In contrast, we explore the problem using free-text medical notes recorded in an electronic health record (EHR). Complex tasks like t...

Type speciication completeness is a necessary prerequisite for support of object creating formulae in object calculus leading to formation of new types to be integrated into a type lattice containing the types from which they were formed. The paper shows what conditions should be satissed in order that the inferred types could be correct and what is the systematic way of integration of these ty...

Ontologies now play an important role for many knowledge-intensive applications for which they provide a source of precisely defined terms. The terms are used for concise communication across people and applications. Tools such as ontology editors facilitate the creation and maintenance of ontologies. OntoEdit is an ontology editor that has been developed keeping five main objectives in mind: 1...

This paper reports on research in intercultural psychology to argue the case for the role that different ways of knowing might have on education. Evidence is summarised that suggests that Asian students make subtlety different inferences than their western counterparts, and that this has not been given serious consideration in the educational literature, despite its importance for the enterpris...

We consider the computational problem of phasing an individual genotype sample given a collection of known haplotypes in the population. We give a fast and accurate algorithm GPhase for reconstructing haplotype pair consistent with input genotype. It uses the coalescent based mutation model of Stephens and Donnelly (2000). Computing optimal solution under this model is expensive and our algorit...