Abstract
Adapting rule sets to different settings, yet avoiding uncontrolled proliferation of variations, is a key challenge of rule management. One fundamental concept to foster reuse and simplify adaptation is inheritance. Building on rule modules, i.e., rule sets with input and output schema, we formally define inheritance of rule modules by incremental modification in single inheritance hierarchies. To avoid uncontrolled proliferation of modifications, we introduce formal modification restrictions which flexibly regulate the degree to which a child module may be modified in comparison to its parent. As concrete rule language, we employ Datalog\(^\pm \) which can be regarded a common logical core of many rule languages. We evaluate the approach by a proof-of-concept prototype.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. In: Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 179–187 (1998)
Analyti, A., Antoniou, G., Damasio, C.V.: MWeb: a principled framework for modular web rule bases and its semantics. ACM Trans. Comput. Log. 12(2), 17:1–17:46 (2011)
Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp. 2–10 (2017)
Bellomarini, L., Sallinger, E., Gottlob, G.: The vadalog system: datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975–987 (2018)
Bertino, E., Guerrini, G., Merlo, I.: Trigger inheritance and overriding in an active object database system. IEEE Trans. Knowl. Data Eng. 12(4), 588–608 (2000)
Bichler, P., Schrefl, M.: Inheritance of business rules. In: Hildesheimer Informatik-Berichte, 7. Workshop “Grundlagen von Datenbanken” (1995)
Burgstaller, F., Neumayr, B., Schuetz, C.G., Schrefl, M.: Modification operations for context-aware business rule management. In: 2017 IEEE 21st International Enterprise Distributed Object Computing Conference, pp. 194–203 (2017)
Burgstaller, F., Steiner, D., Schrefl, M., Gringinger, E., Wilson, S., van der Stricht, S.: AIRM-based, fine-grained semantic filtering of notices to airmen. In: Integrated Communication, Navigation, and Surveillance, pp. D3-1–D3-13 (2015)
Burgstaller, F., Schuetz, C., Neumayr, B., Schrefl, M.: Towards contextualized rule repositories for the semantic web. In: Joint Proceedings of the Web Stream Processing Workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017), pp. 98–109 (2017). http://ceur-ws.org/Vol-1936/paper-09.pdf
Burgstaller, F., Steiner, D., Schrefl, M.: Modeling context for business rule management. In: IEEE 18th Conference on Business Informatics, pp. 262–271 (2016)
Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. Web Semant. Sci. Serv. Agents World Wide Web 14(Suppl. C), 57–83 (2012)
Carbonell, J.G.: Default reasoning and inheritance mechanisms on type hierarchies. SIGMOD Rec. 11(2), 107–109 (1980)
Furche, T., et al.: DIADEM: thousands of websites to a single database. PVLDB 7(14), 1845–1856 (2014)
Kifer, M., Yang, G., Wan, H., Zhao, C.: \(\cal{E}\)RGO\(^Lite\) (a.k.a. \(\cal{F}\)LORA-\(2\)): user manual (2017). http://flora.sourceforge.net/docs/floraManual.pdf
Konev, B., Lutz, C., Walther, D., Wolter, F.: Formal properties of modularisation. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 25–66. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01907-4_3
Konstantinou, N., et al.: The VADA architecture for cost-effective data wrangling. In: Proceedings of the 2017 ACM International Conference on Management of Data, pp. 1599–1602 (2017)
Lang, P.: Conceptual design of active object-oriented databases. Ph.D. thesis, Johannes Kepler University Linz (1997)
Lenat, D.: The dimensions of context-space (1998). http://www2.denizyuret.com/ref/lenat/context-space.pdf
McCarthy, J.: Notes on formalizing context. In: Proceedings of the 13th International Joint Conference on Artifical Intelligence, vol. 1, pp. 555–560 (1993)
Meyer, B.: Applying ‘design by contract’. IEEE Comput. 25(10), 40–51 (1992)
OMG: Object Constraint Language (2014). http://www.omg.org/spec/OCL
OMG: Decision Model and Notation (2016). http://www.omg.org/spec/DMN/
OMG: Semantics of Business Vocabulary and Business Rules (2017). http://www.omg.org/spec/SBVR
Pachet, F.: Rule base inheritance. In: Représentations par objets (1992)
Parent, C., Spaccapietra, S.: An overview of modularity. In: Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.) Modular Ontologies. LNCS, vol. 5445, pp. 5–23. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01907-4_2
Schrefl, M., Neumayr, B., Stumptner, M.: The decision-scope approach to specialization of business rules: application in business process modeling and data warehousing. In: 9th Asia-Pacific Conference on Conceptual Modelling, pp. 3–18 (2013)
Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11(1), 92–148 (2002)
Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. Web Semant. Sci. Serv. Agents World Wide Web 12–13, 64–87 (2012)
Wegner, P., Zdonik, S.B.: Inheritance as an incremental modification mechanism or what like is and isn’t like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol. 322, pp. 55–77. Springer, Heidelberg (1988). https://doi.org/10.1007/3-540-45910-3_4
Weigand, H., Paschke, A.: The pragmatic web: putting rules in context. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 182–192. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32689-9_14
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Burgstaller, F., Neumayr, B., Sallinger, E., Schrefl, M. (2018). Rule Module Inheritance with Modification Restrictions. In: Panetto, H., Debruyne, C., Proper, H., Ardagna, C., Roman, D., Meersman, R. (eds) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. OTM 2018. Lecture Notes in Computer Science(), vol 11230. Springer, Cham. https://doi.org/10.1007/978-3-030-02671-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-02671-4_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02670-7
Online ISBN: 978-3-030-02671-4
eBook Packages: Computer ScienceComputer Science (R0)