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

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

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.