Abstract
A semantic decision table (SDT) is a decision table properly annotated with domain ontologies. In this paper, we focus on validation and verification issues (V&V) for SDT. We use Semantic Decision Rule Language (SDRule-L), which is an extension to the Object-Role Modeling language (ORM/ORM2) for modeling SDT commitments. With these commitments, business rule modelers can discover invalid decision rules. In this paper, we focus on how to use six SDRule-L constraints, which are directly brought from ORM/ORM2. Our approach focuses on detecting invalid rules within one table.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Halpin, T., Morgan, T.: Information Modeling and Relational Databases, 2nd edn., March 17. The Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann (2008) ISBN-10: 0123735688, ISBN-13: 978-0123735683
Henry Beitz, E., Buck, N.H., Jorgensen, P.C., Larson, L., Maes, R., Marselos, N.L., Muntz, C., Rabin, J., Reinwald, L.T., Verhelst, M.: A modern appraisal of decision tables, a Codasyl report. ACM, New York (1982)
Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In: OTM 2002, pp. 1238–1254 (2002)
Lehner, P.E.: Towards an empirical approach to evaluating the knowledge base of an expert system. IEEE Transactions on Systems, Man and Cybernetics 19(4), 643–655 (1989)
McCluskey, E.J., Schorr, H.: Minimization of Boolean functions. Bell Syst. Tech. J. 35(5), 1417–1444 (1956)
Nijssen, G.M., Halpin, T.A.: Conceptual schema and relational database design: a fact oriented approach. Prentice Hall (1989) ISBN: 0-13-167263-0
Pooch, U.W.: Translation of Decision Tables. Journal of ACM Computing Surveys (CSUR) Surveys 6(2) (June 1974)
Sargent, R.G.: Verification and validation of simulation models. In: Proc. of the 37th Conference on Winter Simulation, WSC 2005 (2005) ISBN:0-7803-9519-0
Shwayder, K.: Combining decision rules in a decision table. Communications of the ACMÂ 18(8) (August 1975)
Spyns, P., Meersman, R., Jarrar, M.: Data modeling versus Ontology engineering. SIGMOD Record: Special Issue on Semantic Web and Data Management 31(4), 12–17 (2002)
Tang, Y.: On Conducting a Decision Group to Construct Semantic Decision Tables. In: Chung, S., Herrero, P. (eds.) OTM-WS 2007, Part I. LNCS, vol. 4805, pp. 534–543. Springer, Heidelberg (2007)
Tang, Y., Meersman, R.: Towards Building Semantic Decision Tables with Domain Ontologies. In: Chan, M.C., et al. (eds.) Challenges in Information Technology Management. World Scientific (2008) ISBN 978-981-281-906-2, 981-281-906-1
Tang, Y., Meersman, R.: SDRule Markup Language: Towards Modeling and Interchanging Ontological Commitments for Semantic Decision Making. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Publishing, USA (2009) ISBN: 1-60566-402-2
Tang, Y., Meersman, R.: Towards Directly Applied Ontological Constraints in a Semantic Decision Table. Submitted to RuleML 2011 (2011)
Tang, Y., Debruyne, C., Criel, J.: Onto-DIY: A Flexible and Idea Inspiring Ontology-Based Do-It-Yourself Architecture for Managing Data Semantics and Semantic Data. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6427, pp. 1036–1043. Springer, Heidelberg (2010)
Turing, A.: Computing Machinery and Intelligence. Mind LIX (236), 433–460 (1950)
Vanthienen, J., Mues, C., Aerts, A.: An Illustration of Verification and Validation in the Modeling Phase of KBS development. Journal of Data & Knowledge Engineering 27(3), 337–352 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tang, Y. (2011). Directly Applied ORM Constraints for Validating and Verifying Semantic Decision Tables. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2011 Workshops. OTM 2011. Lecture Notes in Computer Science, vol 7046. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25126-9_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-25126-9_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25125-2
Online ISBN: 978-3-642-25126-9
eBook Packages: Computer ScienceComputer Science (R0)