concepts, which were referred to as the Synapses Object Model (SynOM). The SynOM also included a set of constraints, in the form of aggregation rules, that described how its (eight) classes could be rightfully aggregated in order to build a health record organized in a specific way. Therefore, each caregiver could organize his/her healthcare record as better suited his/her specific needs. These...

This paper discusses extensions of RuleML and TPTP for higher-order logic, modal logic, and higher-order modal logic. For these extensions, an extended XSLT 2.0-based translator is presented which maps from RuleML/XML to TPTP. With this implemented HOML RuleM2TPTP tool, TPTP can benefit from RuleML interoperation and much of Deliberation RuleML can execute on TPTP-aware provers.

The work presented in this paper concentrates on the issues of determining the ideal way of schema connection and knowledge organization to support interoperation in multidatabase systems (MDBSs). In particular the structure of the Data Correspondence Descriptor (DCD) is addressed as the knowledge base for each database to learn about other databases in a MDBS.

This paper discusses some issues associated with systems evolution in a decentralised organisation. The divisions of the particular organisation are functionally very similar but territorially decentralised and managerially autonomous. The paper considers the real case of an engineering fault logging system which has different versions in use by the different divisions of the organisation. It r...

The availability of high-quality metadata is key to facilitating discovery in the large variety of scientific datasets that are increasingly becoming publicly available. However, despite the recent focus on metadata, the diversity of metadata representation formats and the poor support for semantic markup typically result in metadata that are of poor quality. There is a pressing need for a meta...

Knowledge integration and exchange of data within and among organizations is a universally recognized need in bioinformatics and genomics research through the e-science field. The main problem looming over the lack of integration is the fact that the current Web is an environment primarily developed for human users and micro-array data resources lack widely accepted standards; this leads to a t...

To fully leverage the information from different data sources and applications, an enterprise needs a generic, interoperable and flexible infrastructure to integrate and coordinate information across back-end data sources on semantic level. Through undertaking research at the intersection of the Semantic Web and Grid, the Semantic Grid expects to establish a semantic interconnection environment...

This article describes how the modeling and simulation environment of the OneSAF Testbed Baseline (OTB) v1.0 has been extended to enable the testing of heterogeneous algorithms that are being designed for real-world C4ISR applications. This has been accomplished by building an architecture that extends functional and logical components of the OTB system in the following ways: the use of the OTB...