相互影响
发表于 2025-3-23 13:46:27
Reasoning with Justifiable Exceptions in , Contextualized Knowledge Repositories, basic description logic .. We provide a formalization of . CKRs with global defeasible axioms and study their semantic and computational properties. Moreover, we present a translation of CKRs to datalog programs under the answer set semantics for instance checking.
解脱
发表于 2025-3-23 15:31:58
http://reply.papertrans.cn/27/2683/268280/268280_12.png
Enteropathic
发表于 2025-3-23 20:54:37
http://reply.papertrans.cn/27/2683/268280/268280_13.png
Cleave
发表于 2025-3-24 00:41:03
http://reply.papertrans.cn/27/2683/268280/268280_14.png
expdient
发表于 2025-3-24 05:01:39
Provenance Analysis: A Perspective for Description Logics?,proach has also been applied to fragments of first-order logics such as modal and guarded logics. In this paper, we explore the question whether, and to what extent, the provenance approach might be useful in the field of description logics.
NOVA
发表于 2025-3-24 09:14:37
http://reply.papertrans.cn/27/2683/268280/268280_16.png
施加
发表于 2025-3-24 14:38:34
http://reply.papertrans.cn/27/2683/268280/268280_17.png
ordain
发表于 2025-3-24 17:55:50
Situation Calculus Meets Description Logics,ity, the expressiveness of the base logic had to be restricted, and using a Description Logic was a natural choice. In this chapter, we highlight some of the main results and insights obtained during our collaboration.
Collision
发表于 2025-3-24 21:02:22
Checking the Data Complexity of Ontology-Mediated Queries: A Case Study with Non-uniform CSPs and Pingle covering axiom ., possibly supplemented with a disjointness axiom for . and .. The ultimate aim is to classify such OMQs according to their data complexity: ., L, NL, P or .. We report on our experience with trying to distinguish between OMQs in P and . using the reduction to CSPs and the Polyanna software for finding polymorphisms.
直觉好
发表于 2025-3-25 02:00:18
http://reply.papertrans.cn/27/2683/268280/268280_20.png