Gastvortrag: Contextualized Knowledge Repository - Theory and Practice (L. Serafini)
Sprache des Titels:
Representation of context dependent knowledge in the Semantic Web is becoming a recog-nized issue and a number of DL-based formalisms have been proposed in this regard: among them, in our previous works we introduced the Contextualized Knowledge Repository (CKR) framework. In this frameworks contexts are organized hierarchically according to a broader-narrower relation, and information propagation across contexts were limited among contexts hierarchically related. In several applications, however, these features result to be a limitation, and motivated by the need for a more flexible and scalable representation. The original formulation of the CKR has evolved into a version (based on OWL-RL profile), were contexts can be organized in any structure (declared in a OWL-RL meta-knowledge) and propagation of information can be specified among any pair of contexts, via a new "eval-in-context" that allow to evaluate a concept in a first context and import the result in a second one. In this talk, we will introduce the initial proposal of CKR and its generalization of CKR, we present a forward reasoning algorithm. Finally, we outline the current implementation of the calculus on top of SPRINGL, an extension of standard RDF triple store to deal with names RDF graphs + rules.