冷淡周边
发表于 2025-4-1 03:01:47
http://reply.papertrans.cn/84/8321/832054/832054_61.png
duplicate
发表于 2025-4-1 08:41:25
http://reply.papertrans.cn/84/8321/832054/832054_62.png
Torrid
发表于 2025-4-1 10:51:12
http://reply.papertrans.cn/84/8321/832054/832054_63.png
万神殿
发表于 2025-4-1 17:12:41
Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rics. We propose an algorithm that is sound for every such combination but not complete. Our algorithm uses existing standard reasoning tools for retrieving facts from the DL Knowledge Base with which rules are put together to form a logic program. Rule reasoner is then used for answering queries in