{"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":1750977607982,"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_6","type":"book-chapter","created":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T01:22:24Z","timestamp":1510017744000},"page":"86-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Energy-Efficiency of OWL Reasoners\u2014Frequency Matters"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Koopmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcus","family":"H\u00e4hnel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,8]]},"reference":[{"key":"6_CR1","unstructured":"Bail, S., Glimm, B., Jim\u00e9nez-Ruiz, E., Matentzoglu, N., Parsia, B., Steigmiller, A. (eds.): Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation, ORE, CEUR Workshop Proceedings, vol. 1207. CEUR-WS.org (2014)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.websem.2015.09.002","volume":"35","author":"C Bobed","year":"2015","unstructured":"Bobed, C., Yus, R., Bobillo, F., Mena, E.: Semantic reasoning on mobile devices: do androids dream of efficient reasoners? Web Semant. Sci. Serv. Agents World Wide Web 35, 167\u2013183 (2015)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference (Alternate track papers & posters), pp. 74\u201383. ACM (2004)","DOI":"10.1145\/1010432.1010446"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-319-40970-2_11","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2016","author":"J Elffers","year":"2016","unstructured":"Elffers, J., Johannsen, J., Lauria, M., Magnard, T., Nordstr\u00f6m, J., Vinyals, M.: Trade-offs between time and memory in a tighter model of CDCL SAT solvers. In: Creignou, N., Le Berre, D. (eds.) SAT 2016. LNCS, vol. 9710, pp. 160\u2013176. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40970-2_11"},{"issue":"3","key":"6_CR5","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":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-319-46523-4_18","volume-title":"The Semantic Web \u2013 ISWC 2016","author":"I Guclu","year":"2016","unstructured":"Guclu, I., Li, Y.-F., Pan, J.Z., Kollingbaum, M.J.: Predicting energy consumption of ontology reasoning over mobile devices. In: Groth, P., Simperl, E., Gray, A., Sabou, M., Kr\u00f6tzsch, M., Lecue, F., Fl\u00f6ck, F., Gil, Y. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 289\u2013304. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46523-4_18"},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2844544","volume":"59","author":"RV Guha","year":"2016","unstructured":"Guha, R.V., Brickley, D., Macbeth, S.: Schema.org: evolution of structured data on the web. Commun. ACM 59(2), 44\u201351 (2016)","journal-title":"Commun. ACM"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.websem.2005.06.005","volume":"3","author":"Y Guo","year":"2005","unstructured":"Guo, Y., Pan, Z., Heflin, J.: LUBM: a benchmark for OWL knowledge base systems. Web Semant. Sci. Serv. Agents World Wide Web 3(2), 158\u2013182 (2005)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"6_CR9","unstructured":"H\u00e4hnel, M., H\u00e4rtig, H.: Heterogeneity by the numbers: a study of the ODROID XU+E big.LITTLE platform. In: 6th Workshop on Power-Aware Computing and Systems (HotPower 2014). USENIX Association (2014)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-642-16242-8_37","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S H\u00f6lldobler","year":"2010","unstructured":"H\u00f6lldobler, S., Manthey, N., Saptawijaya, A.: Improving resource-unaware SAT solvers. In: Ferm\u00fcller, C.G., Voronkov, A. (eds.) LPAR 2010. LNCS, vol. 6397, pp. 519\u2013534. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16242-8_37"},{"issue":"1","key":"6_CR11","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":"6_CR12","unstructured":"Kazakov, Y., Klinov, P.: Experimenting with ELK reasoner on Android. In: Proceedings of the ORE 2013, pp. 68\u201374 (2013)"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK. J. Autom. Reasoning 53(1), 1\u201361 (2014)","journal-title":"J. Autom. Reasoning"},{"key":"6_CR14","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I.: Combining rewriting and incremental materialisation maintenance for datalog programs with equality. In: IJCAI, pp. 3127\u20133133 (2015)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Parsia, B., Matentzoglu, N., Gon\u00e7alves, R.S., Glimm, B., Steigmiller, A.: The OWL reasoner evaluation (ORE) 2015 competition report. J. Autom. Reasoning, 1\u201328 (2015)","DOI":"10.1007\/978-3-319-46547-0_17"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-319-11964-9_26","volume-title":"The Semantic Web \u2013 ISWC 2014","author":"EW Patton","year":"2014","unstructured":"Patton, E.W., McGuinness, D.L.: A power consumption benchmark for reasoners on mobile devices. In: Mika, P., et al. (eds.) ISWC 2014. LNCS, vol. 8796, pp. 409\u2013424. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11964-9_26"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Scioscia, F., Ruta, M., Loseto, G., Gramegna, F., Ieva, S., Pinto, A., Di Sciascio, E.: A mobile matchmaker for the ubiquitous semantic web. In: Mobile Computing and Wireless Networks: Concepts, Methodologies, Tools, and Applications, pp. 994\u20131017. IGI Global (2016)","DOI":"10.4018\/978-1-4666-8751-6.ch042"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Sertkaya, B.: The ELepHant reasoner system description. In: Proceedings of the ORE 2013, pp. 87\u201393 (2013)","DOI":"10.1017\/CBO9781107358454.014"},{"issue":"2","key":"6_CR19","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. Web Semant. Sci. Serv. Agents World Wide Web 5(2), 51\u201353 (2007)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.websem.2014.06.003","volume":"27","author":"A Steigmiller","year":"2014","unstructured":"Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. Sci. Serv. Agents World Wide Web 27, 78\u201385 (2014)","journal-title":"J. Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-642-13489-0_38","volume-title":"The Semantic Web: Research and Applications","author":"E Thomas","year":"2010","unstructured":"Thomas, E., Pan, J.Z., Ren, Y.: TrOWL: tractable OWL 2 reasoning infrastructure. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6089, pp. 431\u2013435. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13489-0_38"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: system description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292\u2013297. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_26"},{"key":"6_CR23","unstructured":"Valincius, E., Nguyen, H.H., Pan, J.Z.: A power consumption benchmark framework for ontology reasoning on Android devices. In: Proceedings of the ORE 2015, pp. 80\u201386 (2015)"},{"key":"6_CR24","unstructured":"Yus, R., Pappachan, P.: Are apps going semantic? A systematic review of semantic mobile applications. In: MoDeST@ ISWC, pp. 2\u201313 (2015)"},{"key":"6_CR25","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1613\/jair.4757","volume":"54","author":"Y Zhou","year":"2015","unstructured":"Zhou, Y., Cuenca Grau, B., Nenov, Y., Kaminski, M., Horrocks, I.: PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner. J. Artif. Intell. Res. 54, 309\u2013367 (2015)","journal-title":"J. Artif. Intell. Res."}],"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_6","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_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319706818","9783319706825"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70682-5_6","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"}}]}}