Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
The OntoClean methodology was based on a set of formal meta-properties whose semantics were specified in S5 modal logic. One of these metaproperties, Rigidity, has come under more focused scrutiny by the ontology community, and several problems with the formalization have been discussed along with several solutions. In this paper, we attempt to reconcile these results in a larger framework that exposes different kinds of rigidity, as well as two new metaproperties, actuality and permanence, which deal more specifically with the behavior of properties with respect to time and existence. © 2005 - IOS Press and the authors. All rights reserved.
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Victor Valls, Panagiotis Promponas, et al.
IEEE Communications Magazine
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Yao Qi, Raja Das, et al.
ISSTA 2009