Abstract
As an extension to decision tables, Semantic Decision Tables (SDTs) are considered as a powerful tool of modeling processes in various domains. An important motivation of consuming SDTs is to easily validate a decision table during the Validation and Verification (V&V) processes. An SDT contains a set of formal agreements called commitments. They are grounded on a domain ontology and considered as a result from group decision making processes, which involve a community of business stakeholders. A commitment contains a set of constraints, such as uniqueness and mandatory, with which we can analyze a decision table. A vital analysis issue is to detect inconsistency, which can arise within one table or across tables. In this paper, we focus on the formalization of the semantics within one SDT using the Description Logic \(\mathcal{SOIQ}\)(D). By doing so, we can use existing reasoners to detect inconsistency and thus assist decision modelers (and evaluators) to validate a decision 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.
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)
Boley, H., Tabet, S., Wagner, G.: Design rationale for ruleml: A markup language for semantic web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381–401 (2001)
CSA. Z243.1-1970 for decision tables, canadian standards association (1970)
Halpin, T.A.: A Logical Analysis of Information Systems: Static Aspects of the Data-oriented Perspective. PhD thesis, University of Queensland, Autralia (1989)
Halpin, T.A., Morgan, T.: Information modeling and relational databases, 2nd edn. Morgan Kaufmann (2008)
Henry Beitz, E., Marselos, N., et al.: A modern appraisal of decision tables, a Codasyl report. ACM, New York (1982)
Hewett, R., Leuchner, J.H.: Restructuring decision tables for elucidation of knowledge. Data Knowl. Eng. 46(3), 271–290 (2003)
Ibramsha, M., Rajaraman, V.: Detection of logical errors in decition table programs. Commun. ACM 21(12), 1016–1025 (1978)
Jarrar, M.: Mapping ORM into the SHOIN/OWL Description Logic. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2007, Part I. LNCS, vol. 4805, pp. 729–741. Springer, Heidelberg (2007)
Jarrar, M.: Towards Automated Reasoning on ORM Schemes. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 181–197. Springer, Heidelberg (2007)
Lew, A.: Optimal conversion of extended-entry decision tables with general cost criteria. Commun. ACM 21(4), 269–279 (1978)
Motik, B., Horrocks, I.: OWL Datatypes: Design and Implementation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 307–322. Springer, Heidelberg (2008)
Pooch, U.W.: Translation of decision tables. ACM Comput. Surv. 6(2), 125–151 (1974)
Qian, Y., Liang, J., Li, D., Wang, F., Ma, N.: Approximation reduction in inconsistent incomplete decision tables. Knowl.-Based Syst. 23(5), 427–433 (2010)
Shwayder, K.: Combining decision rules in a decision table. Commun. ACM 18(8), 476–480 (1975)
Tang, Y.: Towards Using Semantic Decision Tables for Organizing Data Semantics. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6428, pp. 494–503. Springer, Heidelberg (2010)
Tang, Y.: Directly Applied ORM Constraints for Validating and Verifying Semantic Decision Tables. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM-WS 2011. LNCS, vol. 7046, pp. 350–359. Springer, Heidelberg (2011)
Tang, Y., Meersman, R.: Use Semantic Decision Tables to Improve Meaning Evolution Support Systems. In: Sandnes, F.E., Zhang, Y., Rong, C., Yang, L.T., Ma, J. (eds.) UIC 2008. LNCS, vol. 5061, pp. 169–186. Springer, Heidelberg (2008)
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. In: Palmirani, M. (ed.) RuleML - America 2011. LNCS, vol. 7018, pp. 193–207. Springer, Heidelberg (2011)
Tang, Y., Meersman, R., Demey, J.: A self-configuring semantic decision table for parameterizing an ontology-based data matching strategy. In: RCIS, pp. 1–9. IEEE (2011)
Vanthienen, J., Mues, C., Aerts, A.: An illustration of verification and validation in the modelling phase of kbs development. Data Knowl. Eng. 27(3), 337–352 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demey, Y.T., Tran, TK. (2012). Using \(\mathcal{SOIQ}\)(D) to Formalize Semantics within a Semantic Decision Table. In: Bikakis, A., Giurca, A. (eds) Rules on the Web: Research and Applications. RuleML 2012. Lecture Notes in Computer Science, vol 7438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32689-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-32689-9_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32688-2
Online ISBN: 978-3-642-32689-9
eBook Packages: Computer ScienceComputer Science (R0)