Correcting Access Restrictions to a Consequence

Description Logics 2010.

计算机科学;

Martin Knechtel1 and Rafael Pen˜aloza2 1 SAP Research Center Dresden ; Germany ; 2 Theoretical Computer Science TU Dresden ; Germany

Others  :  http://ceur-ws.org/Vol-573/paper_12.pdf
PID  :  41285

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on computing a consequence’s access restriction efficiently from the restrictions of its implying axioms. However, a security administrator might not be satisfied since the intended restriction differs from the one obtained through these methods. In this case, one is interested in finding a minimal set of axioms which need changed restrictions. In this paper we look at this problem and present algorithms based on ontology repair for solving it. Our first experimental results on large scale ontologies show that our methods perform well in practice.