{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:34:01Z","timestamp":1761806041875,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032095268","type":"print"},{"value":"9783032095275","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T00:00:00Z","timestamp":1761696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T00:00:00Z","timestamp":1761696000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-09527-5_17","type":"book-chapter","created":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:30:29Z","timestamp":1761805829000},"page":"309-327","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel Reasoning in\u00a0Sequoia"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Furmston","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David J.","family":"Tena Cucala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jieying","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo","family":"Cuenca Grau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,29]]},"reference":[{"key":"17_CR1","unstructured":"Oxford ontology corpus. https:\/\/www.cs.ox.ac.uk\/isg\/ontologies\/"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Aslani, M., Haarslev, V.: Parallel TBox classification in description logics - first experimental results. In: 19th European Conference on Artificial Intelligence. Frontiers Artificial Intelligence and Applications, vol.\u00a0215, pp. 485\u2013490. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-485"},{"key":"17_CR3","unstructured":"Aslani, M., Haarslev, V.: Concurrent classification of OWL ontologies - an empirical evaluation. In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings, vol.\u00a0846. CEUR-WS.org (2012)"},{"key":"17_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal EL\\it $$ Envelope. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (2005)"},{"key":"17_CR5","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Handbook of Automated Reasoning, vol.\u00a0I, chap.\u00a02. MIT (2001)","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1613\/jair.1.11257","volume":"63","author":"A Bate","year":"2018","unstructured":"Bate, A., Motik, B., Cuenca Grau, B., Tena Cucala, D., Simancik, F., Horrocks, I.: Consequence-based reasoning for description logics with disjunctions and number restrictions. J. Artif. Intell. Res. 63, 625\u2013690 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper Tableaux. In: Fifth European Workshop on Logics in Artificial Intelligence, pp. 1\u201317. No.\u00a01126 in LNAI, Springer, \u00c9vora, Portugal (1996)","DOI":"10.1007\/3-540-61630-6_1"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-60343-3_32","volume-title":"KI-95: Advances in Artificial Intelligence","author":"FW Bergmann","year":"1995","unstructured":"Bergmann, F.W., Quantz, J.J.: Parallelizing description logics. In: Wachsmuth, I., Rollinger, C.-R., Brauer, W. (eds.) KI 1995. LNCS, vol. 981, pp. 137\u2013148. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60343-3_32"},{"key":"17_CR10","unstructured":"Bozzato, L., Homola, M., Serafini, L.: Towards more effective tableaux reasoning for CKR. In: Proceedings of the 2012 International Workshop on Description Logics. CEUR Workshop Proceedings, vol.\u00a0846. CEUR-WS.org (2012)"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-03850-6_7","volume-title":"Principles of Distributed Systems","author":"I Calciu","year":"2013","unstructured":"Calciu, I., et al.: Message passing or shared memory: evaluating the delegation abstraction for multicores. In: Baldoni, R., Nisse, N., van Steen, M. (eds.) OPODIS 2013. LNCS, vol. 8304, pp. 83\u201397. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-03850-6_7"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-30796-7_2","volume-title":"The Semantic Web \u2013 ISWC 2019","author":"D Carral","year":"2019","unstructured":"Carral, D., Dragoste, I., Gonz\u00e1lez, L., Jacobs, C., Kr\u00f6tzsch, M., Urbani, J.: VLog: a rule engine for knowledge graphs. In: Ghidini, C., et al. (eds.) ISWC 2019. LNCS, vol. 11779, pp. 19\u201335. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30796-7_2"},{"key":"17_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103518","volume":"298","author":"DT Cucala","year":"2021","unstructured":"Cucala, D.T., Grau, B.C., Horrocks, I.: Pay-as-you-go consequence-based reasoning for the description logic SROIQ. Artif. Intell. 298, 103518 (2021)","journal-title":"Artif. Intell."},{"issue":"3","key":"17_CR14","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"},{"issue":"3","key":"17_CR15","first-page":"267","volume":"3","author":"V Haarslev","year":"2012","unstructured":"Haarslev, V., Hidde, K., M\u00f6ller, R., Wessel, M.: The RacerPro knowledge representation and reasoning system. Semantic Web 3(3), 267\u2013277 (2012)","journal-title":"Semantic Web"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-35176-1_9","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"N Heino","year":"2012","unstructured":"Heino, N., Pan, J.Z.: RDFS reasoning on massively parallel hardware. In: Cudr\u00e9-Mauroux, P., Heflin, J., Sirin, E., Tudorache, T., Euzenat, J., Hauswirth, M., Parreira, J.X., Hendler, J., Schreiber, G., Bernstein, A., Blomqvist, E. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 133\u2013148. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35176-1_9"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Hitzler, P., Vrandecic, D.: Resolution-based approximate reasoning for OWL DL. In: ISWC, pp. 383\u2013397 (2005)","DOI":"10.1007\/11574620_29"},{"key":"17_CR18","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $$\\cal SROIQ\\it $$. In: Tenth International Conference on Principles of Knowledge Representation and Reasoning (2006)"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Hustadt, U., Schmidt, R.A.: Issues of decidability for description logics in the framework of resolution. In: Automated Deduction in Classical and Non-Classical Logics. LNCS, vol.\u00a01761. Springer (2000)","DOI":"10.1007\/3-540-46508-1_13"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: Concurrent classification of el ontologies. In: The Semantic Web \u2013 ISWC 2011, pp. 305\u2013320. Springer Berlin Heidelberg (2011)","DOI":"10.1007\/978-3-642-25073-6_20"},{"issue":"1","key":"17_CR21","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. Reason. 53(1), 1\u201361 (2014)","journal-title":"J. Autom. Reason."},{"issue":"2\u20133","key":"17_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10817-007-9090-1","volume":"40","author":"Y Kazakov","year":"2008","unstructured":"Kazakov, Y., Motik, B.: A resolution-based decision procedure for $$\\cal{SHOIQ} $$. J. Autom. Reason. 40(2\u20133), 89\u2013116 (2008)","journal-title":"J. Autom. Reason."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Liebig, T., M\u00fcller, F.: Parallelizing tableaux-based description logic reasoning. In: On the Move to Meaningful Internet Systems, pp. 1135\u20131144. Springer Berlin Heidelberg (2007)","DOI":"10.1007\/978-3-540-76890-6_41"},{"key":"17_CR24","unstructured":"Lightbend: Akka - build, operate, and secure distributed applications (2024). https:\/\/akka.io\/"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Meissner, A.: A simple parallel reasoning system for the ALC description logic. In: Semantic Web, Social Networks and Multiagent Systems, First International Conference. Lecture Notes in Computer Science, vol.\u00a05796, pp. 413\u2013424. Springer (2009)","DOI":"10.1007\/978-3-642-04441-0_36"},{"key":"17_CR26","unstructured":"Metke-Jimenez, A., Lawley, M.: Snorocket 2.0: Concrete Domains and Concurrent Classification. In: OWL Reasoner Evaluation Workshop. CEUR, vol.\u00a01015, pp. 32\u201338 (2013)"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory rdf systems. In: Proceedings of the AAAI Conference on Artificial Intelligence vol. 28(1) (2014)","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"17_CR28","doi-asserted-by":"publisher","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":"17_CR29","doi-asserted-by":"crossref","unstructured":"Nenov, Y., Piro, R., Motik, B., Horrocks, I., Wu, Z., Banerjee, J.: Rdfox: a highlyscalable RDF store. In: 14th International Semantic Web Conference. Lecture Notes in Computer Science, vol. 9367, pp. 3\u201320. Springer (2015)","DOI":"10.1007\/978-3-319-25010-6_1"},{"issue":"3","key":"17_CR30","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/jigpal\/8.3.265","volume":"8","author":"H de Nivelle","year":"2000","unstructured":"de Nivelle, H., Schmidt, R.A., Hustadt, U.: Resolution-based methods for modal logics. Logic J. IGPL 8(3), 265\u2013292 (2000)","journal-title":"Logic J. IGPL"},{"key":"17_CR31","unstructured":"Oracle: Virtual threads. https:\/\/docs.oracle.com\/en\/java\/javase\/21\/core\/virtual-threads.html#GUID-BEC799E0-00E9-4386-B220-8839EA6B4F5C"},{"key":"17_CR32","unstructured":"Publications Office of the European Union: Eu cellar document repository. https:\/\/publications.europa.eu\/resource\/cellar\/369859bb-3611-11eb-b27b-01aa75ed71a1.0001.01\/DOC_1"},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Schlicht, A., Stuckenschmidt, H.: Peer-to-peer reasoning for interlinked ontologies. Int. J. Semantic Comput. 04(01), 27\u201358 (2010)","DOI":"10.1142\/S1793351X10000948"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Schlicht, A., Stuckenschmidt, H.: MapResolve. In: Web Reasoning and Rule Systems - 5th International Conference. Lecture Notes in Computer Science, vol.\u00a06902, pp. 294\u2013299. Springer (2011)","DOI":"10.1007\/978-3-642-23580-1_27"},{"key":"17_CR35","unstructured":"Siman\u010d\u00edk, F.: Elimination of complex RIAs without automata. In: 25th International Workshop on Description Logics (2012)"},{"issue":"2","key":"17_CR36","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., Cuenca Grau, B., Kalyanpur, A., Katz, Y.: Pellet: a practical OWL-DL reasoner. J. Web Semantics 5(2), 51\u201353 (2007)","journal-title":"J. Web Semantics"},{"key":"17_CR37","unstructured":"SNOMED International: Snomed ct. https:\/\/www.snomed.org\/"},{"key":"17_CR38","unstructured":"Stanford Center for Biomedical Informatics Research: Prot\u00e9g\u00e9 ontology editor. https:\/\/protege.stanford.edu"},{"key":"17_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-030-77385-4_2","volume-title":"The Semantic Web","author":"A Steigmiller","year":"2021","unstructured":"Steigmiller, A., Glimm, B.: Parallelised ABox reasoning and query answering with expressive description logics. In: Verborgh, R., Hose, K., Paulheim, H., Champin, P.-A., Maleshkova, M., Corcho, O., Ristoski, P., Alam, M. (eds.) ESWC 2021. LNCS, vol. 12731, pp. 23\u201339. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-77385-4_2"},{"key":"17_CR40","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 Semantics 27, 78\u201385 (2014)","journal-title":"J. Web Semantics"},{"key":"17_CR41","unstructured":"Sufrin, B.: Communicating scala objects (2016 revision) (2016). https:\/\/www.cs.ox.ac.uk\/people\/bernard.sufrin\/personal\/CSO\/cpa2008-cso-2016revision.pdf"},{"key":"17_CR42","unstructured":"Tanenbaum, A.S., van Steen, M.: Distributed systems - principles and paradigms, 2nd Edition. Pearson Education (2007)"},{"key":"17_CR43","doi-asserted-by":"crossref","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ Description logic reasoner: system description. In: IJCAR. LNAI, vol.\u00a04130, pp. 292\u2013297. Springer (2016)","DOI":"10.1007\/11814771_26"},{"key":"17_CR44","unstructured":"Vlasenko, J., Daryalal, M., Haarslev, V., Jaumard, B.: A saturation-based algebraic reasoner for $$\\cal{ELQ}$$. In: 5th Workshop on Practical Aspects of Automated Reasoning. CEUR, vol.\u00a01635, pp. 110\u2013124 (2016)"},{"key":"17_CR45","unstructured":"Wikimedia Foundation: Wikidata. https:\/\/www.wikidata.org\/"},{"key":"17_CR46","unstructured":"Wu, K., Haarslev, V.: Exploring parallelization of conjunctive branches in tableau-based description logic reasoning. In: Informal Proceedings of the 26th International Workshop on Description Logics. CEUR Workshop Proceedings, vol.\u00a01014, pp. 1011\u20131023. CEUR-WS.org (2013)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09527-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:30:52Z","timestamp":1761805852000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09527-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,29]]},"ISBN":["9783032095268","9783032095275"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09527-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,29]]},"assertion":[{"value":"29 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nara","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"semweb2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iswc2025.semanticweb.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}