LAST
发表于 2025-3-30 09:54:23
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
发表于 2025-3-30 14:23:55
: 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.
友好
发表于 2025-3-30 19:30:23
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 21:38:59
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.
恭维
发表于 2025-3-31 03:06:46
http://reply.papertrans.cn/103/10216/1021594/1021594_55.png
prosperity
发表于 2025-3-31 05:59:35
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
发表于 2025-3-31 10:46:42
http://reply.papertrans.cn/103/10216/1021594/1021594_57.png
fledged
发表于 2025-3-31 14:29:18
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.
兽群
发表于 2025-3-31 17:50:36
http://reply.papertrans.cn/103/10216/1021594/1021594_59.png
certain
发表于 2025-3-31 22:27:28
http://reply.papertrans.cn/103/10216/1021594/1021594_60.png