Managing ontologies: A comparative study of ontology servers

An ontology is increasingly becoming an essential tool for solving problems in many research areas. The ontology is a complex information object. It can contain millions of concepts in complex relationships. When we want to manage complex information objects, we generally turn to information systems technology. An information system intended to manage ontology is called an ontology server. The ontology server technology is at the time of writing quite immature. Therefore, this paper reviews and compares the main ontology servers that have been reported in the literatures. As a result, we point out several research questions related to server technology

Quality of service in flexible workflows through process constraints

Workflow technology has delivered effectively for a large class of business processes, providing the requisite control and monitoring functions. At the same time, this technology has been the target of much criticism due to its limited ability to cope with dynamically changing business conditions which require business processes to be adapted frequently, and/or its limited ability to model business processes which cannot be entirely predefined. Requirements indicate the need for generic solutions where a balance between process control and flexibility may be achieved. In this paper we present a framework that allows the workflow to execute on the basis of a partially specified model where the full specification of the model is made at runtime, and may be unique to each instance. This framework is based on the notion of process constraints. Where as process constraints may be specified for any aspect of the workflow, such as structural, temporal, etc. our focus in this paper is on a constraint which allows dynamic selection of activities for inclusion in a given instance. We call these cardinality constraints, and this paper will discuss their specification and validation requirements.

Progress in deriving concurrent programs: Emphasizing the role of stable guards

We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Casteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.

Using Developmental Theories to Inform the Design of Technology for Children

Electronic Blocks are a new programming environment, designed specifically for children aged between three and eight years. As such, the design of the Electronic Block environment is firmly based on principles of developmentally appropriate practices in early childhood education. The Electronic Blocks are physical, stackable blocks that include sensor blocks, action blocks and logic blocks. Evaluation of the Electronic Blocks with both preschool and primary school children shows that the blocks' ease of use and power of engagement have created a compelling tool for the introduction of meaningful technology education in an early childhood setting. The key to the effectiveness of the Electronic Blocks lies in an adherence to theories of development and learning throughout the Electronic Blocks design process.

Automatic segmentation of the knee bones using 3D active shape models

This paper presents an automated segmentation approach for MR images of the knee bones. The bones are the first stage of a segmentation system for the knee, primarily aimed at the automated segmentation of the cartilages. The segmentation is performed using 3D active shape models (ASM), which are initialized using an affine registration to an atlas. The 3D ASMs of the bones are created automatically using a point distribution model optimization scheme. The accuracy and robustness of the segmentation approach was experimentally validated using an MR database of fat suppressed spoiled gradient recall images.

Compositional verification for object-Z

This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-component and proof steps involve assumptions on properties of the sub-components. The framework is defined for Linear Temporal Logic (LTL)

Ontological clarity and comprehension in health data models

Conceptual modeling forms an important part of systems analysis. If this is done incorrectly or incompletely, there can be serious implications for the resultant system, specifically in terms of rework and useability. One approach to improving the conceptual modelling process is to evaluate how well the model represents reality. Emergence of the Bunge-Wand-Weber (BWW) ontological model introduced a platform to classify and compare the grammar of conceptual modelling languages. This work applies the BWW theory to a real world example in the health arena. The general practice computing group data model was developed using the Barker Entity Relationship Modelling technique. We describe an experiment, grounded in ontological theory, which evaluates how well the GPCG data model is understood by domain experts. The results show that with the exception of the use of entities to represent events, the raw model is better understood by domain experts

A promoter from sugarcane bacilliform badnavirus drives transgene expression in banana and other monocot and dicot plants

A 1369 bp DNA fragment (Sc) was isolated from a full-length clone of sugarcane bacilliform badnavirus (ScBV) and was shown to have promoter activity in transient expression assays using monocot (banana, maize, millet and sorghum) and dicot plant species (tobacco, sunflower, canola and Nicotiana benthamiana). This promoter was also tested for stable expression in transgenic banana and tobacco plants. These experiments showed that this promoter could drive high-level expression of the beta-glucuronidase (GUS) reporter gene in most plant cells. The expression level was comparable to the maize ubiquitin promoter in standardised transient assays in maize. In transgenic banana plants the expression levels were variable for different transgenic lines but was generally comparable with the activities of both the maize ubiquitin promoter and the enhanced cauliflower mosaic virus (CaMV) 35S promoter. The Sc promoter appears to express in a near-constitutive manner in transgenic banana and tobacco plants. The promoter from sugarcane bacilliform virus represents a useful tool for the high-level expression of foreign genes in both monocot and dicot transgenic plants that could be used similarly to the CaMV 35S or maize polyubiquitin promoter.

Ground water model calibration using pilot points and regularization

Use of nonlinear parameter estimation techniques is now commonplace in ground water model calibration. However, there is still ample room for further development of these techniques in order to enable them to extract more information from calibration datasets, to more thoroughly explore the uncertainty associated with model predictions, and to make them easier to implement in various modeling contexts. This paper describes the use of pilot points as a methodology for spatial hydraulic property characterization. When used in conjunction with nonlinear parameter estimation software that incorporates advanced regularization functionality (such as PEST), use of pilot points can add a great deal of flexibility to the calibration process at the same time as it makes this process easier to implement. Pilot points can be used either as a substitute for zones of piecewise parameter uniformity, or in conjunction with such zones. In either case, they allow the disposition of areas of high and low hydraulic property value to be inferred through the calibration process, without the need for the modeler to guess the geometry of such areas prior to estimating the parameters that pertain to them. Pilot points and regularization can also be used as an adjunct to geostatistically based stochastic parameterization methods. Using the techniques described herein, a series of hydraulic property fields can be generated, all of which recognize the stochastic characterization of an area at the same time that they satisfy the constraints imposed on hydraulic property values by the need to ensure that model outputs match field measurements. Model predictions can then be made using all of these fields as a mechanism for exploring predictive uncertainty.

Resistance to persuasive messages as a function of majority and minority source status

Three experiments examined the extent to which attitudes following majority and minority influence are resistant to counter-persuasion. In Experiment 1, participants' attitudes were measured after being exposed to two messages which argued opposite positions (initial pro-attitudinal message and subsequent, counter-attitudinal counter-message). Attitudes following minority endorsement of the initial message were more resistant to a (second) counter-message than attitudes following majority endorsement of the initial message. Experiment 2 replicated this finding when the message direction was reversed (counter-attitudinal initial message and pro-attitudinal counter-message) and showed that the level of message elaboration mediated the amount of attitude resistance. Experiment 3 included conditions where participants received only the counter-message and showed that minority-source participants had resisted the second message (counter-message) rather than being influenced by it. These results show that minority influence induces systematic processing of its arguments which leads to attitudes which are resistant to counter-persuasion. (C) 2003 Elsevier Science (USA). All rights reserved.

A longitudinal investigation of self-other discrimination and the emergence of mirror self-recognition

The aim in this study was to investigate the association between infants' developing interest in their self-image and the onset of mirror self-recognition (MSR). A longitudinal study was conducted with 98 infants who were seen at intervals of 3 months from 9-24 months of age. At each session, the infants were administered a preferential-looking test whereby they were presented with a video image of themselves alongside a video image of a same-aged peer in two conditions, unmarked and marked. From the 12-month session onwards, the infants were also administered a version of the standard mark test of MSR. The infants showed a significant preference for looking at images of themselves in both conditions coincident with the onset of MSR. This result indicates that developing an interest in the self-image is an important component in the development of MSR. (C) 2003 Elsevier Science Inc. All rights reserved.

Teamwork in Health and Rehabilitation Sciences: Evaluation of a multiprofessional workshop

This paper outlines a multiprofessional education workshop piloted and subsequently conducted with a cohort of 81 graduate entry students of occupational therapy, physiotherapy, speech pathology and audiology. The rationale for, and format of, the workshop is outlined, followed by comparisons between students' knowledge about teamwork prior to and after the four-hour workshop. The workshop was based on a real case scenario of a child with Developmental Coordination Disorder (DCD). Students completed pre- and post-workshop questionnaires about their knowledge of DCD, teamwork and the roles of various professionals and parents; and a post-workshop questionnaire about their views regarding the utility of the workshop, its strengths, and learning outcomes. The evaluation indicated that the workshop was overwhelmingly successful from the students' perspective in: (1) enhancing their understanding about DCD and its multifaceted impact on school age children; (2) developing a deeper appreciation of the importance of teamwork itself; (3) refining their understanding of their own profession's role and (4) developing an appreciation of the role of other professions and parents in working with children with complex needs, and their families. Limitations of this study and directions for future research are discussed.