Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Ontologies and tools for analyzing and synthesizing LVC confederations
Winter Simulation Conference
Ontological analysis of terrain data
Proceedings of the 2nd International Conference on Computing for Geospatial Research & Applications
Hi-index | 0.00 |
We describe a novel approach by which software can assess the ability of a confederation of heterogeneous systems to interoperate to achieve a given purpose. The approach uses ontologies and knowledge bases (KBs) to capture the salient characteristics of systems, on the one hand, and of tasks for which these systems will be employed, on the other. Rules are used to represent the conditions under which the capabilities provided by systems can fulfill the capabilities needed to support the roles and interactions that make up each task. An Analyzer component employs these KBs and rules to determine if a given confederation will be adequate, to generate suitable confederations from a collection of available systems, to pre-diagnose potential interoperability problems that might arise, and to suggest system configuration options that will help to make interoperability possible. We have demonstrated the feasibility of this approach using a prototype Analyzer and KBs.