斑驳
发表于 2025-3-30 10:50:04
Context-Dependent OWL Reasoning in Sindice - Experiences and Lessons Learnt, cluster of machines; and (2) cope with unexpected data usage. In this paper, we report our experiences and lessons learned in building a large scale reasoning engine for Sindice. The reasoning approach has been deployed, used and improved since 2008 within Sindice and has enabled Sindice to reason over billions of triples.
attenuate
发表于 2025-3-30 13:15:41
http://reply.papertrans.cn/103/10216/1021595/1021595_52.png
Homocystinuria
发表于 2025-3-30 18:30:16
Reasoning as Axioms Change, recompute the whole extension of a predicate even if only a small part of this extension is affected by the change. The method presented in this article overcomes both drawbacks, arguably at an acceptable price: a slight adaptation of the semi-naïve forward chaining.
热情的我
发表于 2025-3-30 23:44:01
On the Equivalence between the , Action Language and Partial Actions in Transaction Logic,eir modeling and reasoning capabilities. We provide a sound reduction of a large fragment of . to .., and show that this reduction is complete with respect to the LP embedding of .. We also explore how action planning is modeled in both languages and discuss the relationship to other languages for representing actions.
宿醉
发表于 2025-3-31 02:02:12
http://reply.papertrans.cn/103/10216/1021595/1021595_55.png
赏钱
发表于 2025-3-31 05:51:26
http://reply.papertrans.cn/103/10216/1021595/1021595_56.png
止痛药
发表于 2025-3-31 10:39:33
http://reply.papertrans.cn/103/10216/1021595/1021595_57.png
节约
发表于 2025-3-31 15:07:06
Reasoning with Actions in Transaction Logic,mplete proof theory for .. and illustrate the formalism on a number of non-trivial examples. In addition, we show that most of .. is reducible to ordinary logic programming and that this reduction is sound and complete.
竞选运动
发表于 2025-3-31 20:46:43
http://reply.papertrans.cn/103/10216/1021595/1021595_59.png
Canyon
发表于 2025-3-31 23:12:02
Conference proceedings 2011 36 submissions. The papers address all current topics in Semantic Web, interplay between classical reasoning approach with welll established web languages such as RDF and OWL, reasoning languages, querying and optimization andrules and ontologies.