A Derivation Procedure for Set-Comparison Constraints in Fact-Based Modeling

Peter Bollen. A Derivation Procedure for Set-Comparison Constraints in Fact-Based Modeling. In Robert Meersman, Tharam S. Dillon, Pilar Herrero, editors, On the Move to Meaningful Internet Systems: OTM 2011 Workshops - Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings. Volume 7046 of Lecture Notes in Computer Science, pages 329-338, Springer, 2011. [doi]

Abstract

Abstract is missing.