Skip to main content
SpringerLink
Log in

Directly Applied ORM Constraints for Validating and Verifying Semantic Decision Tables

  • Conference paper
Book cover On the Move to Meaningful Internet Systems: OTM 2011 Workshops (OTM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7046))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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

    Google Scholar 

  2. 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)

    Google Scholar 

  3. Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In: OTM 2002, pp. 1238–1254 (2002)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. McCluskey, E.J., Schorr, H.: Minimization of Boolean functions. Bell Syst. Tech. J. 35(5), 1417–1444 (1956)

    Article  MathSciNet  Google Scholar 

  6. Nijssen, G.M., Halpin, T.A.: Conceptual schema and relational database design: a fact oriented approach. Prentice Hall (1989) ISBN: 0-13-167263-0

    Google Scholar 

  7. Pooch, U.W.: Translation of Decision Tables. Journal of ACM Computing Surveys (CSUR) Surveys 6(2) (June 1974)

    Google Scholar 

  8. 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

    Google Scholar 

  9. Shwayder, K.: Combining decision rules in a decision table. Communications of the ACM 18(8) (August 1975)

    Google Scholar 

  10. 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)

    Article  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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

    Google Scholar 

  13. 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

    Google Scholar 

  14. Tang, Y., Meersman, R.: Towards Directly Applied Ontological Constraints in a Semantic Decision Table. Submitted to RuleML 2011 (2011)

    Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Turing, A.: Computing Machinery and Intelligence. Mind LIX (236), 433–460 (1950)

    Google Scholar 

  17. 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)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VUB STARLab, 10G731, Vrije Universiteit Brussel, Pleinlaan 2, Elesene, 1050, Brussels, Belgium

    Yan Tang

Authors
  1. Yan Tang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STAR Lab, Vrije Universiteit Brussel (VUB), Bldg G/10, Pleinlaan 2, 1050, Brussel, Belgium

    Robert Meersman

  2. DEBII, Curtin University of Technology, Technology Park, De Laeter Way, 6102, Bentley, WA, Australia

    Tharam Dillon

  3. Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo S/N, 28660, Boadilla del Monte, Madrid, Spain

    Pilar Herrero

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation