{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:34:28Z","timestamp":1742992468302,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030898106"},{"type":"electronic","value":"9783030898113"}],"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:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89811-3_8","type":"book-chapter","created":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T06:24:53Z","timestamp":1637907893000},"page":"106-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study Integrating Knowledge Graphs and Intuitionistic Logic"],"prefix":"10.1007","author":[{"given":"Bernardo","family":"Alkmim","sequence":"first","affiliation":[]},{"given":"Edward","family":"Haeusler","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Schwabe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,27]]},"reference":[{"key":"8_CR1","unstructured":"Alkmim, B., Haeusler, E.H., Rademaker, A.: Utilizing iALC to Formalize the Brazilian OAB Exam. In: Nalepa, G.J., Atzmueller, M., Araszkiewicz, M., Novais, P. (eds.) Proceedings of the EXplainable AI in Law Workshop Co-located with the 31st International Conference on Legal Knowledge and Information Systems, (XAILA@JURIX 2018), Groningen, The Netherlands, December 12, 2018. CEUR Workshop Proceedings, vol. 2381, pp. 42\u201350. CEUR-WS.org (2018). http:\/\/ceur-ws.org\/Vol-2381\/xaila2018_paper_2.pdf"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., Mcguinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn, Cambridge University Press, Cambridge, January 2007. ISBN: 978-0-521-15011-8","DOI":"10.1017\/CBO9780511711787"},{"key":"8_CR3","unstructured":"Bobbio, N., dos Santos, M.: Theory of Legal Order, Ed Universidade de Bras\u00edlia. (1995). ISBN: 9788523002763"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bondy, J., Murty, U.: Graph Theory. 1st edn, Springer Publishing Company, Incorporated (2008). https:\/\/dl.acm.org\/doi\/10.5555\/1481153","DOI":"10.1007\/978-1-84628-970-5"},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Buchanan, B.G., Feigenbaum, E.A.: Dendral and meta-dendral: their applications dimension. Artif. Intell. 11(1), 5\u201324 (1978). https:\/\/doi.org\/10.1016\/0004-3702(78)90010-3","DOI":"10.1016\/0004-3702(78)90010-3"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Condoravdi, C., Crouch, D., de Paiva, V., Stolle, R., Bobrow, D.G.: Entailment, intensionality and text understanding. In: Proceedings of the HLT-NAACL 2003 Workshop on Text Meaning (HLT-NAACL-TEXTMEANING 2003) - Vol. 9. pp. 38\u201345. Association for Computational Linguistics, Stroudsburg, PA, USA (2003), https:\/\/doi.org\/10.3115\/1119239.1119245","DOI":"10.3115\/1119239.1119245"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"de Paiva, V., Haeusler, E.H., Rademaker, A.: Constructive Description Logics Hybrid-Style. Electr. Notes Theor. Comput. Sci. 273, 21\u201331 (2011). https:\/\/doi.org\/10.1016\/j.entcs.2011.06.010, International Workshop on Hybrid Logic and Applications 2010 (HyLo 2010)","DOI":"10.1016\/j.entcs.2011.06.010"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Delfino, P., Cuconato, B., Haeusler, E.H., Rademaker, A.: Passing the Brazilian OAB exam: data preparation and some experiments. In: Wyner, A.Z., Casini, G. (eds.) Legal Knowledge and Information Systems - JURIX 2017: The Thirtieth Annual Conference, Luxembourg, 13\u201315 December 2017. Frontiers in Artificial Intelligence and Applications, vol. 302, pp. 89\u201394. IOS Press (2017). https:\/\/doi.org\/10.3233\/978-1-61499-838-9-89","DOI":"10.3233\/978-1-61499-838-9-89"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Falcone, R., Castelfranchi, C.: Social trust: a cognitive approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and deception in virtual societies, pp. 55\u201390. Springer, Netherlands, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-017-3614-5_3","DOI":"10.1007\/978-94-017-3614-5_3"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Groth, P., Gibson, A., Velterop, J.: The Anatomy of a Nano-publication. Information Services and Use, vol. 30, January 2010. https:\/\/doi.org\/10.3233\/ISU-2010-0613","DOI":"10.3233\/ISU-2010-0613"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Gutierrez, C., Sequeda, J.F.: Knowledge Graphs. Commun. ACM 64(3), 96\u2013104 (2021). https:\/\/doi.org\/10.1145\/3418294","DOI":"10.1145\/3418294"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Haeusler, E., De Paiva, V., Rademaker, A.: Intuitionistic Logic and Legal Ontologies. In: Legal Knowledge and Information Systems - JURIX 2010, Frontiers in Artificial Intelligence and Applications, vol. 223, pp. 155\u2013158. IOS Press (2010). https:\/\/doi.org\/10.3233\/978-1-60750-682-9-155","DOI":"10.3233\/978-1-60750-682-9-155"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Haeusler, E.H., Paiva, V.d., Rademaker, A.: Intuitionistic description logic and legal reasoning. In: 2011 22nd International Workshop on Database and Expert Systems Applications, pp. 345\u2013349 (2011), https:\/\/doi.org\/10.1109\/DEXA.2011.46","DOI":"10.1109\/DEXA.2011.46"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Haeusler, E.H., Rademaker, A.: On How Kelsenian jurisprudence and intuitionistic logic help to avoid contrary-to-duty paradoxes in Legal Ontologies. In: L\u00f3gica no Avi\u00e3o Seminars, vol. 1, pp. 44\u201359. Univeristy of Bras\u00edlia (2019), http:\/\/doi.org\/c768","DOI":"10.21452\/LnA_serie_n_v01_book_seminario-logica-no-aviao-2013-2018_hauesler-reademaker_p.44-59"},{"key":"8_CR15","unstructured":"Hayes-Roth, F., Waterman, D.A., Lenat, D.B.: Building Expert Systems. Addison-Wesley Longman Publishing Co., Inc, Boston (1983). https:\/\/dl.acm.org\/doi\/book\/10.5555\/6123"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Heyting, A.: Intuitionism: An Introduction, 3rd edn. North-Holland Publishing, Amsterdam (1956), https:\/\/doi.org\/10.2307\/3609219","DOI":"10.2307\/3609219"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Jarke, M., Neumann, B., Vassiliou, Y., Wahlster, W.: KBMS Requirements of Knowledge-Based Systems, pp. 381\u2013394. Springer-Verlag, Berlin, Heidelberg (1989). https:\/\/doi.org\/10.1007\/978-3-642-83397-7_17","DOI":"10.1007\/978-3-642-83397-7_17"},{"key":"8_CR18","unstructured":"Kelsen, H.: Pure Theory of Law. Lawbook Exchange (2005). ISBN: 9781584775782"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Nickel, M., Murphy, K., Tresp, V., Gabrilovich, E.: A review of relational machine learning for knowledge graphs. In: Proceedings of the IEEE 104, December 2015. https:\/\/doi.org\/10.1109\/JPROC.2015.2483592","DOI":"10.1109\/JPROC.2015.2483592"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Prawitz, D.: Natural deduction: a proof-theoretical study. Ph.D. thesis, Almqvist & Wiksell (1965). https:\/\/doi.org\/10.2307\/2271676","DOI":"10.2307\/2271676"},{"key":"8_CR21","doi-asserted-by":"publisher","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980). https:\/\/doi.org\/10.1016\/0004-3702(80)90014-4","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Schneider, E.W., Human Resources Research Organization, Alexandria, V.: Course modularization applied [microform] :The interface system and its implications for sequence control and data analysis \/ E.W. Schneider. Distributed by ERIC Clearinghouse [Washington, D.C.] (1973). https:\/\/eric.ed.gov\/?id=ED088424","DOI":"10.1037\/e436252004-001"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Schwabe, D.: Trust and privacy in knowledge graphs. In: Companion Proceedings of The 2019 World Wide Web Conference (WWW 2019), pp. 722\u2013728. Association for Computing Machinery, New York, NY, USA (2019). https:\/\/doi.org\/10.1145\/3308560.3317705","DOI":"10.1145\/3308560.3317705"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Seufert, S., Ernst, P., Bedathur, S.J., Kondreddi, S.K., Berberich, K., Weikum, G.: Instant espresso: interactive analysis of relationships in knowledge graphs. In: Bourdeau, J., Hendler, J., Nkambou, R., Horrocks, I., Zhao, B.Y. (eds.) Proceedings of the 25th International Conference on World Wide Web (WWW 2016), Montreal, Canada, April 11\u201315, 2016, Companion vol. pp. 251\u2013254. ACM (2016). https:\/\/doi.org\/10.1145\/2872518.2890528","DOI":"10.1145\/2872518.2890528"},{"key":"8_CR25","unstructured":"Valente, A., Breuker, J.: A model-based approach to legal knowledge engineering. In: Legal Knowledge Based Systems JURIX 92: Information Technology and Law, The Foundation for Legal Knowledge Systems. pp. 123\u2013134. JURIX 1992 (The Hague, Netherlands), Koninklijke Vermande (1994). ISBN: 905-458-0313"}],"container-title":["Lecture Notes in Computer Science","AI Approaches to the Complexity of Legal Systems XI-XII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89811-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T06:26:06Z","timestamp":1637907966000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89811-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030898106","9783030898113"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89811-3_8","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":"27 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"XAILA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Explainable and Responsible AI and Law","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"xaila2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.geist.re\/xaila:xaila2020","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}