{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:35Z","timestamp":1740099575711,"version":"3.37.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030349677"},{"type":"electronic","value":"9783030349684"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-34968-4_11","type":"book-chapter","created":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T00:14:54Z","timestamp":1574381694000},"page":"194-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Ontology-Mediated Probabilistic Model Checking"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5999-2583","authenticated-orcid":false,"given":"Patrick","family":"Koopmann","sequence":"additional","affiliation":[]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,22]]},"reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"11_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"11_CR2","unstructured":"Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proceedings of IJCAI 1991, pp. 452\u2013457. Morgan Kaufmann (1991)"},{"key":"11_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-40885-4_12","volume-title":"Frontiers of Combining Systems","author":"F Baader","year":"2013","unstructured":"Baader, F., Zarrie\u00df, B.: Verification of Golog programs over description logic actions. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 181\u2013196. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40885-4_12"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-06200-6_24","volume-title":"NASA Formal Methods","author":"C Baier","year":"2014","unstructured":"Baier, C., Daum, M., Dubslaff, C., Klein, J., Kl\u00fcppelholz, S.: Energy-utility quantiles. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 285\u2013299. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06200-6_24"},{"key":"11_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-319-90089-6_3","volume-title":"It\u2019s All About Coordination","author":"C Baier","year":"2018","unstructured":"Baier, C., Chrszon, P., Dubslaff, C., Klein, J., Kl\u00fcppelholz, S.: Energy-utility analysis of probabilistic systems with exogenous coordination. In: de Boer, F., Bonsangue, M., Rutten, J. (eds.) It\u2019s All About Coordination. LNCS, vol. 10865, pp. 38\u201356. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90089-6_3"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-54804-8_1","volume-title":"Fundamental Approaches to Software Engineering","author":"C Baier","year":"2014","unstructured":"Baier, C., et al.: Probabilistic model checking and non-standard multi-objective reasoning. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 1\u201316. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_1"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-319-21768-0_9","volume-title":"Reasoning Web. Web Logic Rules","author":"Meghyn Bienvenu","year":"2015","unstructured":"Bienvenu, M., Ortiz, M.: Ontology-mediated query answering with data-tractable description logics. In: Reasoning Web, Web Logic Rules, pp. 218\u2013307 (2015)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: the DL-lite family. J. Autom. Reasoning 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"11_CR11","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Actions and programs over description logic knowledge bases: a functional approach. In: Knowing, Reasoning, and Acting: Essays in Honour of H. J. Levesque, College Publications (2011)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-662-49665-7_17","volume-title":"Fundamental Approaches to Software Engineering","author":"P Chrszon","year":"2016","unstructured":"Chrszon, P., Dubslaff, C., Kl\u00fcppelholz, S., Baier, C.: Family-based modeling and analysis for probabilistic systems \u2013 featuring ProFeat. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 287\u2013304. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49665-7_17"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1155\/2012\/547157","volume":"2012","author":"P Dhaussy","year":"2012","unstructured":"Dhaussy, P., Boniol, F., Roger, J.C., Leroux, L.: Improving model checking with context modelling. Adv. Softw. Eng. 2012, 13 (2012)","journal-title":"Adv. Softw. Eng."},{"key":"11_CR14","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Upper Saddle River (1976)"},{"key":"11_CR15","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/978-3-662-46734-3_5","volume":"12","author":"C Dubslaff","year":"2015","unstructured":"Dubslaff, C., Baier, C., Kl\u00fcppelholz, S.: Probabilistic model checking for feature-oriented systems. Trans. Aspect Oriented Softw. Dev. 12, 180\u2013220 (2015)","journal-title":"Trans. Aspect Oriented Softw. Dev."},{"key":"11_CR16","unstructured":"Dubslaff, C., Koopmann, P., Turhan, A.Y.: Ontology-mediated probabilistic model checking (extended version). LTCS-Report 19\u201305, TU Dresden, Dresden, Germany (2019). https:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-21455-4_3","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 53\u2013113. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21455-4_3"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1613\/jair.3826","volume":"46","author":"BB Hariri","year":"2013","unstructured":"Hariri, B.B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res. 46, 651\u2013686 (2013)","journal-title":"J. Artif. Intell. Res."},{"issue":"1","key":"11_CR19","doi-asserted-by":"crossref","first-page":"11","DOI":"10.3233\/SW-2011-0025","volume":"2","author":"M Horridge","year":"2011","unstructured":"Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11\u201321 (2011)","journal-title":"Semant. Web"},{"key":"11_CR20","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal{SROIQ}$$. In: Proceedings of KR 2006, pp. 57\u201367. AAAI Press (2006)"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"H Jifeng","year":"1997","unstructured":"Jifeng, H., Seidel, K., McIver, A.: Probabilistic models for the guarded command language. Sci. Comput. Program. 28(2), 171\u2013192 (1997)","journal-title":"Sci. Comput. Program."},{"key":"11_CR22","unstructured":"Kazakov, Y.: $$\\cal{RIQ}$$ and $$\\cal{SROIQ}$$ are harder than $$\\cal{SHOIQ}$$. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 274\u2013284. AAAI Press (2008)"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10009-017-0456-3","volume":"20","author":"J Klein","year":"2018","unstructured":"Klein, J., et al.: Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic b\u00fcchi automata. Int. J. Softw. Tools Technol. Transfer 20(2), 179\u2013194 (2018)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"11_CR25","unstructured":"Lutz, C.: Inverse roles make conjunctive queries hard. In: Proceedings of the 20th International Workshop on Description Logics (DL 2007), CEUR Workshop Proceedings, vol. 250 (2007). CEUR-WS.org"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Mauro, J., Nieke, M., Seidl, C., Yu, I.C.: Context aware reconfiguration in software product lines. In: Proceedings of the 10th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2016), pp. 41\u201348. ACM (2016)","DOI":"10.1145\/2866614.2866620"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-24611-4_9","volume-title":"Validation of Stochastic Systems","author":"A Miner","year":"2004","unstructured":"Miner, A., Parker, D.: Symbolic representations and analysis of large probabilistic systems. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol. 2925, pp. 296\u2013338. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24611-4_9"},{"key":"11_CR28","unstructured":"Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language profiles. W3C Recommendation, 27 October 2009. http:\/\/www.w3.org\/TR\/2009\/REC-owl2-profiles-20091027\/"},{"key":"11_CR29","unstructured":"Ngo, N., Ortiz, M., Simkus, M.: Closed predicates in description logics: results on combined complexity. In: Proceedings of KR 2016, pp. 237\u2013246. AAAI Press (2016)"},{"issue":"4","key":"11_CR30","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s10817-017-9406-8","volume":"59","author":"B Parsia","year":"2017","unstructured":"Parsia, B., Matentzoglu, N., Gon\u00e7alves, R.S., Glimm, B., Steigmiller, A.: The OWL reasoner evaluation (ORE) 2015 competition report. J. Autom. Reasoning 59(4), 455\u2013482 (2017)","journal-title":"J. Autom. Reasoning"},{"key":"11_CR31","first-page":"133","volume":"4900","author":"A Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semant. 4900, 133\u2013173 (2008)","journal-title":"J. Data Semant."},{"key":"11_CR32","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M Puterman","year":"1994","unstructured":"Puterman, M.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. Wiley, New York (1994)"},{"key":"11_CR33","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1613\/jair.3029","volume":"39","author":"S Rudolph","year":"2010","unstructured":"Rudolph, S., Glimm, B.: Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!. J. Artif. Intell. Res. 39, 429\u2013481 (2010)","journal-title":"J. Artif. Intell. Res."},{"issue":"2","key":"11_CR34","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semant. 5(2), 51\u201353 (2007)","journal-title":"J. Web Semant."},{"key":"11_CR35","unstructured":"Tobies, S.: Complexity results and practical algorithms for logics in knowledge representation. Ph.D. thesis, RWTH Aachen University, Germany (2001)"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Zarrie\u00df, B., Cla\u00dfen, J.: Verification of knowledge-based programs over description logic actions. In: IJCAI, pp. 3278\u20133284. AAAI Press (2015)","DOI":"10.25368\/2022.216"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34968-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T06:39:24Z","timestamp":1695451164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34968-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030349677","9783030349684"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34968-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifm2019.hvl.no\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}