分离
发表于 2025-3-30 10:17:48
http://reply.papertrans.cn/103/10216/1021598/1021598_51.png
爆炸
发表于 2025-3-30 12:48:37
A Reasoner for Simple Conceptual Logic Programspaper, we describe an algorithm for satisfiability checking of the fragment of . and provide a BProlog implementation. To the best of our knowledge, this is the first implementation of a (fragment) of a framework that can tightly integrate ontologies and non-DL-safe rules under an expressive nonmonotonic semantics.
无表情
发表于 2025-3-30 20:13:39
http://reply.papertrans.cn/103/10216/1021598/1021598_53.png
讽刺滑稽戏剧
发表于 2025-3-31 00:39:47
http://reply.papertrans.cn/103/10216/1021598/1021598_54.png
Affluence
发表于 2025-3-31 01:19:03
http://reply.papertrans.cn/103/10216/1021598/1021598_55.png
抗原
发表于 2025-3-31 08:16:55
http://reply.papertrans.cn/103/10216/1021598/1021598_56.png
FID
发表于 2025-3-31 11:31:39
On the Ostensibly Silent ‘W’ in OWL 2 RL2 constructs for two popular Semantic Web ontologies – namely FOAF and SIOC – and provide some evaluation of the proposed use-cases based on reasoning over a representative Web dataset of approx. 12 million statements.
头脑冷静
发表于 2025-3-31 16:11:20
http://reply.papertrans.cn/103/10216/1021598/1021598_58.png
招募
发表于 2025-3-31 18:35:41
Belief Logic Programming with Cyclic Dependenciesng beliefs, which is a serious limitation of expressive power. This paper extends the semantics of BLP to allow cyclic dependencies. We show that the new semantics is backward compatible with the semantics for acyclic BLP and has the expected properties. The results are illustrated with examples of inference in a simple diagnostic expert system.
不朽中国
发表于 2025-4-1 00:53:16
http://reply.papertrans.cn/103/10216/1021598/1021598_60.png