Titlebook: Web Reasoning and Rule Systems; First International Massimo Marchiori,Jeff Z. Pan,Christian de Sainte Conference proceedings 2007 Springe

LAST

Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racerogy. Experimental results and the comparison with the more conventional ontology-generation method are presented and discussed, indicating the high performance of our approach. A Racer-based consistency-checking method of reasoning is presented in this paper. An ontology evolution method and performance evaluation are also given.

Lucubrate

: An Integration of Description Logic and General Rules open answer sets hold for general rules. To retain decidability, a well-known weak safeness condition is employed. We develop DL tableaux-based algorithms for decision procedures of the KB satisfiability and the query entailment problems.

友好

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.

表两个

Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racerogy. Experimental results and the comparison with the more conventional ontology-generation method are presented and discussed, indicating the high performance of our approach. A Racer-based consistency-checking method of reasoning is presented in this paper. An ontology evolution method and performance evaluation are also given.

恭维

prosperity

A Framework for Ontology Based Rule Acquisition from Web Documentsle acquisition consists of rule component identification and rule composition. The former uses stemming and semantic similarity to extract variables and values from the Web page and the latter uses the best-first search method in composing the variables and values into rules.

condemn

fledged

On the Semantics of Service Compositions an approach to generate the semantics of service compositions from the semantics of the contained services. To do this we assume a formal Workflow net model of the service composition. With an example use case we show how this works in practice.

兽群

certain