In order to solve the problem of how to collaborate with foreign agents and ontologies, a restricted clustering integration approach is proposed. It differs from the traditional approaches in which web ontology langua...In order to solve the problem of how to collaborate with foreign agents and ontologies, a restricted clustering integration approach is proposed. It differs from the traditional approaches in which web ontology language （OWL） is extended by adding some new collaborative interfaces （ i. e., agent-link and ontology-link） to it instead of owl： import. Syntaxes of the interface for foreign ontologies and foreign agents, respectively, and a meta-method of clustering integrated collaboration are discussed. The approach focuses on taking advantage of OWL itself to solve the collaborative problems, and it is feasible to track the contexts of newadded knowledge concerning ontological collaboration.展开更多
软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件...软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。展开更多
文摘In order to solve the problem of how to collaborate with foreign agents and ontologies, a restricted clustering integration approach is proposed. It differs from the traditional approaches in which web ontology language （OWL） is extended by adding some new collaborative interfaces （ i. e., agent-link and ontology-link） to it instead of owl： import. Syntaxes of the interface for foreign ontologies and foreign agents, respectively, and a meta-method of clustering integrated collaboration are discussed. The approach focuses on taking advantage of OWL itself to solve the collaborative problems, and it is feasible to track the contexts of newadded knowledge concerning ontological collaboration.
文摘软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。
