Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
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.
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Thomas R. Puzak, A. Hartstein, et al.
CF 2007
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975