Abstract
The problem of representing and reasoning with context dependent knowledge has recently gained interest in the area of description logics: among the several proposals, we consider the Contextualized Knowledge Repository (CKR) framework. In CKR applications it is often useful to reason over a hierarchical organization of contexts: for this reason, in our recent work we extended the CKR model to allow for the representation of exception handling in the inheritance of knowledge across contexts. However, to simplify the definition of reasoning procedures, we limited our approach to a particular kind of context organization, i.e. ranked hierarchies. In this paper, we further develop the proposal to extend the reasoning on exception handling for CKRs with general contextual hierarchies. We adapt the semantics (on a core version of CKR) to cope with contextual defeasible axioms in general hierarchies; on the base of this, we define an ASP based reasoning procedure that is complete w.r.t. instance checking under the proposed semantics for general contextual hierarchies.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
