Incorporating Active Real-Time Objects and Control Into Semantic Webs

将主动实时对象和控制纳入语义网

• 批准号: 0236409
• 负责人: Phillip Sheu
• 金额: $ 3.99万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-15 至 2006-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0236409&HistoricalAwards=false
• 关键词: Incorporating; Active; Real; Time; Objects

As more real-world data are included in the Web, requirements to capture more meaning of the data have rapidly increased. Semantic Web has been proposed by W3C to be the next generation of web by representing the metadata using RDF (Resource Description Framework). Even though the metadata encoded in RDF have rich semantics and high potential for providing lots of intelligent features, there have not been enough efforts to utilize them in practical Web application areas.A real-time Semantic Web is modeled as an active environment that consists of a set of real-time objects each consisting of a set of attributes, functions, and active rules. A real-time object can be changed spontaneously or triggered by demands (via messages) in real-time. The semantics of such a distributed, real-time object system can be described by a formal logical foundation called Active Real-Time Semantic Web (ARTSW) that is the ordinary first order language (that is time-invariant) plus a set of time-varying constructs. The ARTSW can be used to describe the constraints on top of a real-time Semantic Web, or it can be used as a specification language that defines the semantics of a dynamic environment. The declarative ness and inference capability of formal logic are coupled with real-time distributed objects in order to enable the users to encode easily the domain knowledge into rules. Our research is aimed at providing a software engineering framework that covers specification, execution, and management of an active real-time semantic web. Because several technical subjects (i.e., real-time objects, distributed systems, logic, and Web) are involved, this research will focus on the explorative investigation of the technical soundness of the proposed framework.

随着Web中包含更多真实世界的数据，捕获更多数据含义的需求也迅速增加。语义Web是W3C提出的下一代Web，它采用资源描述框架RDF（Resource Description Framework）来表示元数据。尽管RDF元数据具有丰富的语义和提供智能功能的潜力，但在实际的Web应用领域还没有得到充分的利用。实时语义Web被建模为一个主动环境，该环境由一组实时对象组成，每个对象由一组属性、函数和主动规则组成。实时对象可以自发地改变，也可以由实时需求（通过消息）触发。这样一个分布式的，实时的对象系统的语义可以描述一个正式的逻辑基础，称为主动实时语义网（ARTSW），这是普通的一阶语言（即时不变）加上一组随时间变化的结构。ARTSW可以用来描述实时语义Web上的约束，也可以用作定义动态环境语义的规范语言。形式逻辑的陈述性和推理能力与实时分布式对象相结合，以使用户能够轻松地将领域知识编码为规则。我们的研究旨在提供一个软件工程框架，涵盖规范，执行和管理的主动实时语义Web。因为几个技术主题（即，实时对象，分布式系统，逻辑，和Web）的参与，这项研究将集中在所提出的框架的技术可靠性的探索性调查。