{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:25Z","timestamp":1742913865906,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030798758"},{"type":"electronic","value":"9783030798765"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,5]],"date-time":"2021-07-05T00:00:00Z","timestamp":1625443200000},"content-version":"vor","delay-in-days":185,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Fusemate is a logic programming system that implements the possible model semantics for disjunctive logic programs. Its input language is centered around a weak notion of stratification with comprehension and aggregation operators on top of it. Fusemate is implemented as a shallow embedding in the Scala programming language. This enables using Scala data types natively as terms, a tight interface with external systems, and it makes model computation available as an ordinary container data structure constructor. The paper describes the above features and implementation aspects. It also demonstrates them with a non-trivial use-case, the embedding of the description logic <jats:inline-formula><jats:alternatives><jats:tex-math>$$\\mathcal ALCIF$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                    <mml:mrow>\n                      <mml:mi>A<\/mml:mi>\n                      <mml:mi>L<\/mml:mi>\n                      <mml:mi>C<\/mml:mi>\n                      <mml:mi>I<\/mml:mi>\n                      <mml:mi>F<\/mml:mi>\n                    <\/mml:mrow>\n                  <\/mml:math><\/jats:alternatives><\/jats:inline-formula> into Fusemate\u2019s input language.<\/jats:p>","DOI":"10.1007\/978-3-030-79876-5_34","type":"book-chapter","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T09:20:19Z","timestamp":1625649619000},"page":"589-601","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Fusemate Logic Programming System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6559-9654","authenticated-orcid":false,"given":"Peter","family":"Baumgartner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,5]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Alviano, M., Faber, W., Leone, N., Perri, S., Pfeifer, G., Terracina, G.: The Disjunctive Datalog System DLV. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A.J. (eds.) Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Lecture Notes in Computer Science, vol. 6702, pp. 282\u2013301. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-24206-9_17","key":"34_CR1","DOI":"10.1007\/978-3-642-24206-9_17"},{"issue":"4","key":"34_CR2","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1017\/S0269888912000264","volume":"27","author":"A Artikis","year":"2012","unstructured":"Artikis, A., Skarlatidis, A., Portet, F., Paliouras, G.: Logic-Based Event Recognition. Knowledge Engineering Review 27(4), 469\u2013506 (2012). https:\/\/doi.org\/10.1017\/S0269888912000264","journal-title":"Knowledge Engineering Review"},{"unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook. Cambridge University Press (2002)","key":"34_CR3"},{"doi-asserted-by":"publisher","unstructured":"Baader, F., Bauer, A., Baumgartner, P., Cregan, A., Gabaldon, A., Ji, K., Lee, K., Rajaratnam, D., Schwitter, R.: A Novel Architecture for Situation Awareness Systems. In: Giese, M., Waaler, A. (eds.) Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009). LNAI, vol. 5607, pp. 77\u201392. Springer (July 2009). https:\/\/doi.org\/10.1007\/978-3-642-02716-1_7","key":"34_CR4","DOI":"10.1007\/978-3-642-02716-1_7"},{"doi-asserted-by":"publisher","unstructured":"Baader, F., Borgwardt, S., Lippmann, M.: Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. In: Pfahringer, B., Renz, J. (eds.) AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9457, pp. 21\u201333. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-26350-2_3","key":"34_CR5","DOI":"10.1007\/978-3-319-26350-2_3"},{"doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press (2017)","key":"34_CR6","DOI":"10.1017\/9781139025355"},{"doi-asserted-by":"publisher","unstructured":"Baumgartner, P.: Possible Models Computation and Revision \u2013 A Practical Approach. In: Peltier, N., Sofronie-Stokkermans, V. (eds.) International Joint Conference on Automated Reasoning. LNAI, vol. 12166, pp. 337\u2013355. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51074-9_19","key":"34_CR7","DOI":"10.1007\/978-3-030-51074-9_19"},{"doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper Tableaux. In: Logics in Artificial Intelligence (JELIA \u201996). Lecture Notes in Artificial Intelligence, vol. 1126. Springer (1996)","key":"34_CR8","DOI":"10.1007\/3-540-61630-6_1"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.artint.2018.04.003","volume":"261","author":"H Beck","year":"2018","unstructured":"Beck, H., Dao-Tran, M., Eiter, T.: LARS: A Logic-based framework for Analytic Reasoning over Streams. Artificial Intelligence 261, 16\u201370 (2018). https:\/\/doi.org\/10.1016\/j.artint.2018.04.003","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"publisher","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Annals of Mathematics and Artificial Intelligence 50, 333\u2013361 (08 2007). https:\/\/doi.org\/10.1007\/s10472-007-9076-z","key":"34_CR10","DOI":"10.1007\/s10472-007-9076-z"},{"doi-asserted-by":"publisher","unstructured":"Carral, D., Kr\u00f6tzsch, M.: Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules. In: Bessiere, C. (ed.) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. pp. 1777\u20131783. ijcai.org (2020). https:\/\/doi.org\/10.24963\/ijcai.2020\/246","key":"34_CR11","DOI":"10.24963\/ijcai.2020\/246"},{"doi-asserted-by":"publisher","unstructured":"Cat, B.D., Bogaerts, B., Bruynooghe, M., Janssens, G., Denecker, M.: Predicate logic as a modeling language: the IDP system. In: Michael Kifer and Yanhong Annie Liu (ed.) Declarative Logic Programming: Theory, Systems, and Applications, pp. 279\u2013323. ACM \/ Morgan & Claypool (2018). https:\/\/doi.org\/10.1145\/3191315.3191321","key":"34_CR12","DOI":"10.1145\/3191315.3191321"},{"unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + Control: Preliminary Report. CoRR abs\/1405.3694 (2014), http:\/\/arxiv.org\/abs\/1405.3694","key":"34_CR13"},{"doi-asserted-by":"publisher","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Hencsey, G., White, B., Chen, Y.R., Kov\u00e1cs, L., Lawrence, S. (eds.) Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003. pp. 48\u201357. ACM (2003). https:\/\/doi.org\/10.1145\/775152.775160","key":"34_CR14","DOI":"10.1145\/775152.775160"},{"doi-asserted-by":"publisher","unstructured":"Kowalski, R.A., Sergot, M.J.: A Logic-based Calculus of Events. New Generation Computing 4(1), 67\u201395 (1986). https:\/\/doi.org\/10.1007\/BF03037383","key":"34_CR15","DOI":"10.1007\/BF03037383"},{"doi-asserted-by":"publisher","unstructured":"Kozlenkov, A., Pe\u00f1aloza, R., Nigam, V., Royer, L., Dawelbait, G., Schroeder, M.: Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. In: EDBT Workshops. LNCS, vol. 4254, pp. 899\u2013908. Springer (2006). https:\/\/doi.org\/10.1007\/11896548_68","key":"34_CR16","DOI":"10.1007\/11896548_68"},{"issue":"3","key":"34_CR17","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1017\/S1471068409003792","volume":"9","author":"G Luk\u00e1csy","year":"2009","unstructured":"Luk\u00e1csy, G., Szeredi, P.: Efficient description logic reasoning in Prolog: The DLog system. Theory and Practice of Logic Programming 9(3), 343\u2013414 (2009). https:\/\/doi.org\/10.1017\/S1471068409003792","journal-title":"Theory and Practice of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Manthey, R., Bry, F.: SATCHMO: a theorem prover implemented in Prolog. In: Lusk, E., Overbeek, R. (eds.) Proceedings of the 9$$^{th}$$ Conference on Automated Deduction, Argonne, Illinois, May 1988. Lecture Notes in Computer Science, vol. 310, pp. 415\u2013434. Springer (1988)","key":"34_CR18","DOI":"10.1007\/BFb0012847"},{"doi-asserted-by":"crossref","unstructured":"Motik, B., Sattler, U., Studer, R.: Query Answering for OWL-DL with Rules. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) The Semantic Web \u2013 ISWC 2004, pp. 549\u2013563. Springer, Berlin Heidelberg, Berlin, Heidelberg (2004)","key":"34_CR19","DOI":"10.1007\/978-3-540-30475-3_38"},{"key":"34_CR20","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. Journal of Artificial Intelligence Research 36, 165\u2013228 (2009). https:\/\/doi.org\/10.1613\/jair.2811","journal-title":"Journal of Artificial Intelligence Research"},{"doi-asserted-by":"publisher","unstructured":"Przymusinski, T.C.: On the Declarative Semantics of Deductive Databases and Logic Programs. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193\u2013216. Morgan Kaufmann (1988). https:\/\/doi.org\/10.1016\/B978-0-934613-40-8.50009-9","key":"34_CR21","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"doi-asserted-by":"publisher","unstructured":"Redl, C.: The DLVHEX System for Knowledge Representation: Recent Advances (System Description). Theory and Practice of Logic Programming 16 (07 2016). https:\/\/doi.org\/10.1017\/S1471068416000211","key":"34_CR22","DOI":"10.1017\/S1471068416000211"},{"doi-asserted-by":"crossref","unstructured":"Sakama, C.: Possible Model Semantics for Disjunctive Databases. In: Kim, W., Nicholas, J.M., Nishio, S. (eds.) Proceedings First International Conference on Deductive and Object-Oriented Databases (DOOD-89). pp. 337\u2013351. Elsevier Science Publishers B.V. (North-Holland) Amsterdam (1990)","key":"34_CR23","DOI":"10.1016\/B978-0-444-88433-6.50028-9"},{"key":"34_CR24","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/BF00881915","volume":"13","author":"C Sakama","year":"1994","unstructured":"Sakama, C., Inoue, K.: An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. Journal of Automated Reasoning 13, 145\u2013172 (1994)","journal-title":"Journal of Automated Reasoning"},{"unstructured":"The Scala Programming Language, https:\/\/www.scala-lang.org","key":"34_CR25"},{"doi-asserted-by":"publisher","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The Smodels System. In: Eiter, T., Faber, W., Truszczynski, M. (eds.) Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Lecture Notes in Computer Science, vol. 2173, pp. 434\u2013438. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-45402-0_38","key":"34_CR26","DOI":"10.1007\/3-540-45402-0_38"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE 28"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-79876-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T09:37:10Z","timestamp":1625650630000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-79876-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030798758","9783030798765"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-79876-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"5 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CADE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Automated Deduction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cade2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cs.cmu.edu\/~mheule\/CADE28\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"76","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2 invited papers and 7 system descriptions are also included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}