Titlebook: Description Logic, Theory Combination, and All That; Essays Dedicated to Carsten Lutz,Uli Sattler,Frank Wolter Book 2019 Springer Nature S

相互影響

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.

解脫

Enteropathic

Cleave

expdient

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

施加

ordain

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

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.

直覺好