Logic-based reasoning support for SBVR

Fundamenta Informaticae

Volumn 124, Issue 4, 2013, Pages 543-560

  Solomakhin, Dmitry ^a   Franconi, Enrico ^a   Mosca, Alessandro ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

business rules; consistency; deontic rules; ORM2; reasoning

Indexed keywords

BUSINESS RULES; CONSISTENCY; DEONTIC; ORM2; REASONING;

DATA DESCRIPTION; LOGIC PROGRAMMING; SEMANTICS;

AUTOMATION;

EID: 84879544852     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2013-848     Document Type: Article

References (23)

1. Andŕeka, H., Ńemeti, 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-RoleModeling language ORM2 into Description Logic language DLRifd, 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.