Collaborative Research: Scalable Knowledge-based Middleware for Networked and Mobile Systems

SRS-0820208/0819845TITLE：用于网络和移动系统的可扩展基于知识的中间件PI：Boon Thau Loo(宾夕法尼亚大学)Co-PI：William C.Regli(德雷克塞尔大学)高级人事：约瑟夫·B·科佩纳(德雷克塞尔大学)这项研究调查了支持移动、联网系统中基于内容的寻址和路由的可扩展、基于知识的中间件。它结合和集成了两个方面：关于系统资源的本体论推理和路由组件内的声明性联网。在应用层是OntoNet，这是一个基于知识的框架，用于表示和推理系统元素。声明性的形式化技术提供了服务发现和组合、基于内容的消息传递以及使用OWL描述逻辑的子集OWL-Net的分布式查询。这项工作包括开发在移动、网络环境中高效和健壮的传播策略。网络层支持由声明性网络提供，声明性网络是紧凑的高级协议规范的基于规则的框架。声明性网络使快速原型和验证以及在线调整和元推理成为可能。这项研究将包括声明式网络的扩展，以更容易地支持高度动态的移动无线系统。这一提议的智力价值是为现实世界系统中的知识和信息的分布式组织开发了一个统一的、声明性的框架。它来自许多领域，如语义网、数据库和网络。潜在的更广泛的影响是更丰富、更可扩展的现实世界网络平台，可用于应急响应、物流、基础设施监控和无处不在的计算。

SRS-0820208/0819845TITLE: Scalable Knowledge-based Middleware For Networked And Mobile SystemsPI: Boon Thau Loo (University of Pennsylvania)Co-PI: William C. Regli (Drexel University)Senior Personnel: Joseph B. Kopena (Drexel University)This research investigates scalable, knowledge-based middleware supporting content-based addressing and routing in mobile, networked systems. It incorporates and integrates two aspects: Ontological reasoning about system resources and declarative networking within routing components. At the application layer is OntoNet, a knowledge-based framework for representing and reasoning on system elements. Declarative, formal techniques provide service discovery and composition, content-based messaging, and distributed querying using OWL-Net, a subset of the OWL description logic. This work includes development of propagation strategies that are efficient and robust in mobile, networked environments. Network layer support is provided by declarative networks, a rule-based framework for compact, high-level protocol specifications. Declarative networking enables rapid prototyping and verification as well as online adaptation and meta-reasoning. This research will include extension of declarative networking to more readily support highly dynamic mobile wireless systems. The intellectual merit of this proposal is development of a unified, declarative framework for distributed organization of knowledge and information in real-world systems. It draws from many areas such as the Semantic Web, databases, and networking. Potential broader impacts are richer and more extensible platforms for real-world networks usable in emergency response, logistics, infrastructure monitoring, and ubiquitous computing.