{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:07:40Z","timestamp":1742980060032,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642251252"},{"type":"electronic","value":"9783642251269"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25126-9_46","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T02:43:52Z","timestamp":1319856232000},"page":"350-359","source":"Crossref","is-referenced-by-count":2,"title":["Directly Applied ORM Constraints for Validating and Verifying Semantic Decision Tables"],"prefix":"10.1007","author":[{"given":"Yan","family":"Tang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"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"},{"key":"46_CR2","volume-title":"A modern appraisal of decision tables, a Codasyl report","author":"E. Henry Beitz","year":"1982","unstructured":"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)"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In: OTM 2002, pp. 1238\u20131254 (2002)","DOI":"10.1007\/3-540-36124-3_78"},{"issue":"4","key":"46_CR4","first-page":"643","volume":"19","author":"P.E. Lehner","year":"1989","unstructured":"Lehner, P.E.: Towards an empirical approach to evaluating the knowledge base of an expert system. IEEE Transactions on Systems, Man and Cybernetics\u00a019(4), 643\u2013655 (1989)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"5","key":"46_CR5","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1002\/j.1538-7305.1956.tb03835.x","volume":"35","author":"E.J. McCluskey","year":"1956","unstructured":"McCluskey, E.J., Schorr, H.: Minimization of Boolean functions. Bell Syst. Tech. J.\u00a035(5), 1417\u20131444 (1956)","journal-title":"Bell Syst. Tech. J."},{"key":"46_CR6","unstructured":"Nijssen, G.M., Halpin, T.A.: Conceptual schema and relational database design: a fact oriented approach. Prentice Hall (1989) ISBN: 0-13-167263-0"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"Pooch, U.W.: Translation of Decision Tables. Journal of ACM Computing Surveys (CSUR) Surveys\u00a06(2) (June 1974)","DOI":"10.1145\/356628.356630"},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/WSC.2005.1574246"},{"key":"46_CR9","doi-asserted-by":"crossref","unstructured":"Shwayder, K.: Combining decision rules in a decision table. Communications of the ACM\u00a018(8) (August 1975)","DOI":"10.1145\/360933.360997"},{"issue":"4","key":"46_CR10","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/637411.637413","volume":"31","author":"P. Spyns","year":"2002","unstructured":"Spyns, P., Meersman, R., Jarrar, M.: Data modeling versus Ontology engineering. SIGMOD Record: Special Issue on Semantic Web and Data Management\u00a031(4), 12\u201317 (2002)","journal-title":"SIGMOD Record: Special Issue on Semantic Web and Data Management"},{"key":"46_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1007\/978-3-540-76888-3_76","volume-title":"On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops","author":"Y. Tang","year":"2007","unstructured":"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.\u00a04805, pp. 534\u2013543. Springer, Heidelberg (2007)"},{"key":"46_CR12","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1142\/9789812819079_0004"},{"key":"46_CR13","volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","author":"Y. Tang","year":"2009","unstructured":"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"},{"key":"46_CR14","doi-asserted-by":"crossref","unstructured":"Tang, Y., Meersman, R.: Towards Directly Applied Ontological Constraints in a Semantic Decision Table. Submitted to RuleML 2011 (2011)","DOI":"10.1007\/978-3-642-24908-2_22"},{"key":"46_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1007\/978-3-642-16949-6_27","volume-title":"On the Move to Meaningful Internet Systems, OTM 2010","author":"Y. Tang","year":"2010","unstructured":"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.\u00a06427, pp. 1036\u20131043. Springer, Heidelberg (2010)"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Turing, A.: Computing Machinery and Intelligence. Mind LIX\u00a0(236), 433\u2013460 (1950)","DOI":"10.1093\/mind\/LIX.236.433"},{"issue":"3","key":"46_CR17","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/S0169-023X(98)80003-7","volume":"27","author":"J. Vanthienen","year":"1998","unstructured":"Vanthienen, J., Mues, C., Aerts, A.: An Illustration of Verification and Validation in the Modeling Phase of KBS development. Journal of Data & Knowledge Engineering\u00a027(3), 337\u2013352 (1998)","journal-title":"Journal of Data & Knowledge Engineering"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2011 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25126-9_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T15:57:01Z","timestamp":1560873421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25126-9_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642251252","9783642251269"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25126-9_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}