{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T22:40:07Z","timestamp":1750977607407,"version":"3.41.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319706818"},{"type":"electronic","value":"9783319706825"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70682-5_5","type":"book-chapter","created":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T01:22:24Z","timestamp":1510017744000},"page":"69-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning on Context-Dependent Domain Models"],"prefix":"10.1007","author":[{"given":"Stephan","family":"B\u00f6hme","sequence":"first","affiliation":[]},{"given":"Thomas","family":"K\u00fchn","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Ahmad, M.A., Nadeem, A.: Consistency checking of UML models using description logics: a critical review. In: Proceedings of the ICET 2010, pp. 310\u2013315 (2010)","DOI":"10.1109\/ICET.2010.5638468"},{"key":"5_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","unstructured":"Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.websem.2011.11.006","volume":"12","author":"F Baader","year":"2012","unstructured":"Baader, F., et al.: Context-dependent views to axioms and consequences of semantic web ontologies. J. Web Semant. 12, 22\u201340 (2012)","journal-title":"J. Web Semant."},{"issue":"1\u20132","key":"5_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1\u20132), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-319-60795-5_13","volume-title":"Data Analytics","author":"L Bertossi","year":"2017","unstructured":"Bertossi, L., Milani, M.: The ontological multidimensional data model in quality data specification and extraction. In: Cal\u00ec, A., Wood, P., Martin, N., Poulovassilis, A. (eds.) BICOD 2017. LNCS, vol. 10365, pp. 126\u2013130. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60795-5_13"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6hme, S., Lippmann, M.: Decidable description logics of context with rigid roles. In: Proceedings of the FroCoS 2015, pp. 17\u201332 (2015)","DOI":"10.1007\/978-3-319-24246-0_2"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/3-540-48050-1_54","volume-title":"Foundations of Intelligent Systems","author":"A Cal\u00ec","year":"2002","unstructured":"Cal\u00ec, A., Calvanese, D., Giacomo, G., Lenzerini, M.: A formal framework for reasoning on UML class diagrams. In: Hacid, M.-S., Ra\u015b, Z.W., Zighed, D.A., Kodratoff, Y. (eds.) ISMIS 2002. LNCS (LNAI), vol. 2366, pp. 503\u2013513. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-48050-1_54"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s10817-016-9386-0","volume":"58","author":"II Ceylan","year":"2017","unstructured":"Ceylan, I.I., Pe\u00f1aloza, R.: The bayesian ontology language $$\\cal{BEL}$$. J. Autom. Reasoning 58(1), 67\u201395 (2017)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1976","unstructured":"Chen, P.P.S.: The entity-relationship model toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"key":"5_CR10","unstructured":"Genovese, V.: A meta-model for roles: introducing sessions. In: Proceedings of the Ws. on Roles and Relationships in OOP, Multiagent Systems, and Ontologies, pp. 27\u201338 (2007)"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10817-014-9305-1","volume":"53","author":"B Glimm","year":"2014","unstructured":"Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: Hermit: an OWL 2 reasoner. J. Autom. Reasoning 53(3), 245\u2013269 (2014)","journal-title":"J. Autom. Reasoning"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Guizzardi, G., Wagner, G.: Conceptual simulation modeling with Onto-UML. In: Proceedings of the Winter Simulation Conference, p. 5 (2012)","DOI":"10.1109\/WSC.2012.6465328"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-662-03526-9_4","volume-title":"Handbook on Architectures of Information Systems","author":"T Halpin","year":"2006","unstructured":"Halpin, T.: Object-role modeling (ORM\/NIAM). In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, pp. 81\u2013103. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/978-3-662-03526-9_4"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-54624-2_18","volume-title":"Specification, Algebra, and Software","author":"R Hennicker","year":"2014","unstructured":"Hennicker, R., Klarl, A.: Foundations for ensemble modeling \u2013 the Helena approach. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 359\u2013381. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_18"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1093\/logcom\/ext011","volume":"26","author":"S Klarman","year":"2016","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Description logics of context. J. Logic Comput. 26(3), 817\u2013854 (2016)","journal-title":"J. Logic Comput."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-11245-9_8","volume-title":"Software Language Engineering","author":"T K\u00fchn","year":"2014","unstructured":"K\u00fchn, T., Leuth\u00e4user, M., G\u00f6tz, S., Seidl, C., A\u00dfmann, U.: A metamodel family for role-based modeling and programming languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 141\u2013160. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11245-9_8"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"K\u00fchn, T., et al.: A combined formal model for relational context-dependent roles. In: Proceedings of the SLE 2015, pp. 113\u2013124 (2015)","DOI":"10.1145\/2814251.2814255"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-04840-1_12","volume-title":"Conceptual Modeling - ER 2009","author":"M Liu","year":"2009","unstructured":"Liu, M., Hu, J.: Information networking model. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol. 5829, pp. 131\u2013144. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04840-1_12"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.2811","volume":"36","author":"B Motik","year":"2009","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165\u2013228 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR20","unstructured":"Parsia, B., et al.: The OWL reasoner evaluation (ORE) 2015 competition report. In: Proceedings of the SSWS 2015, co-located with ISWC 2015, pp. 2\u201315 (2015)"},{"key":"5_CR21","volume-title":"The Unified Modelling Language Reference Manual","author":"J Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, R., Booch, G.: The Unified Modelling Language Reference Manual, 1st edn. Addison-Wesley, USA (1999)","edition":"1"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.websem.2011.12.003","volume":"12","author":"L Serafini","year":"2012","unstructured":"Serafini, L., Homola, M.: Contextualized knowledge repositories for the semantic web. J. Web Semant. 12, 64\u201387 (2012)","journal-title":"J. Web Semant."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Sheng, Q.Z., et al.: Contextuml: A UML-based modeling language for model-driven development of context-aware web services. In: Proceedings of the ICMB 2005, pp. 206\u2013212 (2005)","DOI":"10.1109\/ICMB.2005.33"},{"issue":"2\u20133","key":"5_CR24","first-page":"231","volume":"10","author":"J Simmonds","year":"2004","unstructured":"Simmonds, J., Straeten, R.V.D., Jonckers, V., Mens, T.: Maintaining consistency between UML models using description logic. L\u2019Objet 10(2\u20133), 231\u2013244 (2004)","journal-title":"L\u2019Objet"},{"issue":"6","key":"5_CR25","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1142\/S0218194008003829","volume":"18","author":"J Simmonds","year":"2008","unstructured":"Simmonds, J., et al.: A tool based on DL for UML model consistency checking. Int. J. Softw. Eng. Knowl. Eng. 18(6), 713\u2013735 (2008)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Semantic Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70682-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T22:07:28Z","timestamp":1750975648000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-70682-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319706818","9783319706825"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70682-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"8 November 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JIST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Joint International Semantic Technology Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aswc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ict.griffith.edu.au\/aist\/jist2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}