Mapping Object Role Modeling into Common Logic Interchange Format
Wen-lin Pan, Daxin Liu · 2010
ORM (Object Role Modeling) is a fully communication oriented information modeling method rooted in NIAM (Natural language Information Analysis Method) that can be understood by domain expert who is a non-IT specialist. ORM has complete and consistent formal semantics interpreted by FOL (First-Order Logic), but there is no reasoner to support it. Several literatures provided formal methods to model ORM in DL (Description Logic) in order to use DL reasoners. Limited to its expressive, DL can't express all ORM constraints. CL (Common Logic) is a first-order logic language designed for information exchange and transmission over open networks; it has powerful expressiveness to model complex business rules and has some reasoners. This paper provided a serial of mapping rules to modeling ORM schemas in CLIF (Common Logic Interchange Format), which is a dialect of CL.