In this demo we present the Semantic Data Library (SDL) which is used to query a relational database at a concept (ontological) level. The SDL integrates a rule engine, a relational database and a set of rules obtained from the transformation of an OWL ontology. This combination allows querying and inferring with data stored in a relational database using concepts, roles and rules. We propose a...

BACKGROUND AND OBJECTIVES Self-directed learning (SDL) skills are thought to be associated with lifelong learning. This study assessed the degree of readiness for SDL in third-year medical students who participated in a problem-based learning (PBL) curriculum during thefirst 2 years of medical school. METHODS A total of 182 third-year medical students at the University of Texas Medical Branch...

In this paper, we describe an implementation of a plan-based multimodal dialog system using the extensible markup language (XML). The dialog manager receives semantic objects representing the user’s utterance at the end of each user’s turn. We define a semantic markup language (SML), based on XML, to describe these semantic objects. Following the principles of XML Schema, we define the schema o...

This paper describes a simulator for SDL, a formal description technique for distributed, concurrent, communicating systems. The simulator consists of three main components: the translator, the activator, and the process execution and interleaving mechanism. All components are written in a subset of Common Lisp, and their desired properties are proved in ACL2. The simulator is intended as a bas...

This paper describes a sample modelling and veri cation session using SDL and SPIN modelchecker via the PEP tool. We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL speci cation. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.

Several free translation services are now being offered via the World Wide Web in a variety of languages. While none of the services is as accurate as a fluent human interpreter, few if any studies have sought to determine their relative performance. A sample of 20 Spanish phrases from an introductory textbook were translated into English using four online services (SYSTRAN, SDL, WorldLingo, an...

Quantitative trait locus (QTL) mapping is usually performed using markers that follow a Mendelian segregation ratio. We developed a new method of QTL mapping that can use markers with segregation distortion (non-Mendelian markers). An EM (expectation-maximization) algorithm is used to estimate QTL and SDL (segregation distortion loci) parameters. The joint analysis of QTL and SDL is particularl...

Im Gegensatz zu weiten Teilen der Informatik besteht in der Telekommunikation seit langem die Notwendigkeit, herstellerunabhängige und präzise Standards für Kommunikationsprotokolle und -dienste zu erstellen. Diese Anforderung hat dazu geführt, dass man sich schon frühzeitig mit der Entwicklung der formalen Modellierungssprachen Message Sequence Chart (MSC) und Specification and Description Lan...

We propose a formalized method that allows to automatically derive an optimized implementation from the formal speciication of a protocol. Our method starts with the SDL speciication of a protocol stack. We rst derive a data and control ow dependence graph from each SDL process. Then, in order to perform cross-layer optimizations we combine the dependence graphs of diierent SDL processes. Next,...

This paper first presents the SDL–oriented method of software design and then points out how to handle the non–functional, quantitative design of an SDL–system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET)1, is presented for the performance analysis of formally specified systems under real–time conditions. SPEET facilitates the simulation and emu...