Learn More
We introduce optimization techniques for reasoning in DL N –a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the examples naturally arising in biomed-ical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K(More)
In this paper we examine a confidentiality framework for constructing safe KB views with respect to the object-level and the meta-level background knowledge that users may exploit to reconstruct secrets. In particular, we will present a first implementation of our framework equipped with several optimization techniques that are assessed experimentally in a(More)
  • 1