Logic-based Reasoning Support for SBVR

• Autorzy: Solomakhin D. , Franconi E. , Mosca A.
• Języki publikacji: EN

Abstrakty

EN

Automated support to enterprise modeling has increasingly become a subject of interest for organizations seeking solutions for storage, distribution and analysis of knowledge about business processes. This interest has recently resulted in approving the standard for specifying Semantics of Business Vocabulary and Business Rules (SBVR). Despite the existence of formally grounded notations, up to now SBVR still lacks a sound and consistent logical formalization which would allow developing automated solutions able to check the consistency of a set of business rules. This work reports on the attempt to provide logical foundations for SBVR by the means of defining a specific first-order deontic-alethic logic (FODAL). The connections of FODAL with the modal logic QK and the description logic AℒCQℐ have been investigated and, on top of the obtained theoretical results, a special tool providing automated support for consistency checks of a set of AℒCQℐ-expressible deontic and alethic business rules has been implemented.

Słowa kluczowe

EN

business rules; consistency; deontic rules; ORM2; reasoning

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2013
• Tom: Vol. 124, nr 4
• Strony: 543--560
• Opis fizyczny: Bibliogr. 23 poz., fot., wykr.

Twórcy

autor

Solomakhin D.

• Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy

autor

Franconi E.

• Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy

autor

Mosca A.

• Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy

Bibliografia

• [1] Andreka, H., Nemeti, I., van Benthem, J.: Modal Languages and Bounded Fragments of Predicate Logic, Journal of Philosophical Logic, 27, 1998, 217-274.
• [2] Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F., Eds.: The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, 2003.
• [3] Baisley, D. E., Hall, J., Chapin, D.: Semantic Formulations in SBVR, Rule Languages for Interoperability, W3C, 2005.
• [4] Berrueta, D.: D6.1 Specification of the ONTORULE platform, Public deliverable, The ONTORULE Project (FP7/2009-2011 grant agreement 231875), 2011.
• [5] Blackburn, P., van Benthem, J.: Modal logic: a Semantic Perspective, in: Handbook of Modal Logic (P Blackburn, J. van Benthem, F. Wolter, Eds.), Elsevier, 2007, 1-82.
• [6] Blackburn, P., de Rijke, M., Venema, Y: Modal Logic, Number 53 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, UK, 2001.
• [7] Ceravolo, P., Fugazza, C., Leida, M.: Modeling Semantics of Business Rules, Proceedings of the Inaugural IEEE International Conference On Digital Ecosystems and Technologies (IEEE-DEST), February 2007.
• [8] Chapin, D.: SBVR: What is now Possible and Why?, Business Rules Journal, 9(3), 2008.
• [9] Fitting, M.: Modal proof theory, in: Handbook of Modal Logic (P. Blackburn, J. van Benthem, F. Wolter, Eds.), Elsevier, 2007, 86-135.
• [10] Fitting, M., Mendelsohn, R. L.: First-order modal logic, Kluwer Academic Publishers, Norwell, MA, USA, 1999.
• [11] Franconi, E., Mosca, A., Solomakhin, D.: The formalisation of ORM2 and its encoding in OWL2, Technical report, KRDB Research Centre for Knowledge and Data, http: //www. inf. unibz. it/krdb/pub/TR/ KRDB12-2.pdf, 2012.
• [12] Halpin, T.: A Logical Analysis of Information Systems: Static Aspects of the Data-oriented Perspective, PhD thesis, Department of Computer Science, University of Queensland, 1989.
• [13] Halpin, T., Morgan, T.: Information Modeling and Relational Databases, 2 edition, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008.
• [14] Halpin, T., Wijbenga, J. P.: FORML 2, BMMDS/EMMSAD (I. Bider, T. A. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, R. Ukor, Eds.), 50, Springer, 2010.
• [15] Hodrob, R., Jarrar, M.: Mapping ORM into OWL 2, Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications, ISWSA ’10, ACM, New York, NY, USA, 2010.
• [16] Hughes, G. E., Cresswell, M. J.: A New Introduction To Modal Logic, Routledge, 1996.
• [17] Keet, C. M.: Mapping the Object-Role Modeling language ORM2 into Description Logic language D£Rfd, CoRR, abs/cs/0702089,2007.
• [18] McNamara, P.: Deontic Logic, in: The Stanford Encyclopedia of Philosophy (E. N. Zalta, Ed.), 2010.
• [19] Ross, R. G.: Principles of the Business Rule Approach, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2003.
• [20] Schurz, G.: Combinations and completeness transfer for quantified modal logics, Logic Journal of IGPL, January 2010.
• [21] Solomakhin, D.: Logical Formalization of Semantic Business Vocabulary and Rules, MSc thesis, Faculty of Informatics, Vienna University of Technology, http://media.obvsg.at/AC07810206-2001,2011.
• [22] The Object Management Group: Semantics of Business Vocabulary and Business Rules (SBVR). Formal specification, v1.0, 2008.
• [23] Wolter, F., Zakharyaschev, M.: Decidable Fragments of First-Order Modal Logics, Journal of Symbolic Logic, 66(3), 2001, 1415-1438.