installment 发表于 2025-3-28 17:36:52

http://reply.papertrans.cn/103/10216/1021594/1021594_41.png

delta-waves 发表于 2025-3-28 22:10:58

http://reply.papertrans.cn/103/10216/1021594/1021594_42.png

Generosity 发表于 2025-3-29 01:12:17

Evaluating Formalisms for Modular Ontologies in Distributed Information Systemss well as the reasoning capability over these ontologies. The comparison results show the strength and limitation of existing formalisms against the needs of modular ontologies in the given setting, and possible future extensions to overcome those limitations.

帐单 发表于 2025-3-29 06:24:52

A Framework for Combining Rules and Geo-ontologies spatial rule engine extension to the reasoning tools associated with OWL. The components of the framework are described and the implementation of the spatial reasoning engine is presented. This work is a step towards the realisation of a complete geo-ontology management system for the semantic web.

前奏曲 发表于 2025-3-29 08:05:49

Evaluating Formalisms for Modular Ontologies in Distributed Information Systemss well as the reasoning capability over these ontologies. The comparison results show the strength and limitation of existing formalisms against the needs of modular ontologies in the given setting, and possible future extensions to overcome those limitations.

chuckle 发表于 2025-3-29 13:03:23

http://reply.papertrans.cn/103/10216/1021594/1021594_46.png

全等 发表于 2025-3-29 16:47:23

Web Services Discovery and Constraints Compositionr discovery (hierarchical composition). Towards this end, we show how the constraints of a composite service can be derived from the constraints of its component services in a consistent manner. Finally, we present an incremental matchmaking algorithm which allows bounded inconsistency.

avulsion 发表于 2025-3-29 19:45:26

Quantified Equilibrium Logic and Hybrid Rules of QEL we relax the unique names assumption, which was present in earlier versions of QEL. Moreover, we show that this framework elegantly captures the existing modular approaches for hybrid knowledge bases in a unified way.

跳脱衣舞的人 发表于 2025-3-30 00:31:06

Merging Model Driven Architecture and Semantic Web for Business Rules Generationting business rules, facilitating their integration and share. Works for solving this lack are in progress at e.g OMG and W3C..The aim of this paper is to propose a way to automatically generate a part of the business rules by combining concepts coming from Model Driven Architecture and Semantic Web using the Ontology Definition Metamodel.

我就不公正 发表于 2025-3-30 06:02:16

Web Services Discovery and Constraints Compositionr discovery (hierarchical composition). Towards this end, we show how the constraints of a composite service can be derived from the constraints of its component services in a consistent manner. Finally, we present an incremental matchmaking algorithm which allows bounded inconsistency.
页: 1 2 3 4 [5] 6 7 8
查看完整版本: Titlebook: Web Reasoning and Rule Systems; First International Massimo Marchiori,Jeff Z. Pan,Christian de Sainte Conference proceedings 2007 Springe