{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:15:10Z","timestamp":1742976910456,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030582845"},{"type":"electronic","value":"9783030582852"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-58285-2_17","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T09:00:01Z","timestamp":1599728401000},"page":"235-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cones, Negation, and All That"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7140-2574","authenticated-orcid":false,"given":"\u00d6zg\u00fcr L\u00fctf\u00fc","family":"\u00d6z\u00e7ep","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1017-8921","authenticated-orcid":false,"given":"Mena","family":"Leemhuis","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9185-0147","authenticated-orcid":false,"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,9]]},"reference":[{"key":"17_CR1","unstructured":"Baader, F.: Description logic terminology. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook, pp. 485\u2013495. Cambridge University Press (2003)"},{"issue":"4","key":"17_CR2","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37(4), 823\u2013843 (1936)","journal-title":"Ann. Math."},{"key":"17_CR3","unstructured":"Bordes, A., Usunier, N., Garc\u00eda-Dur\u00e1n, A., Weston, J., Yakhnenko, O.: Translating embeddings for modeling multi-relational data. In: Burges, C.J.C., Bottou, L., Ghahramani, Z., Weinberger, K.Q. (eds.) Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5\u20138, 2013, Lake Tahoe, Nevada, United States, pp. 2787\u20132795 (2013). http:\/\/papers.nips.cc\/paper\/5071-translating-embeddings-for-modeling-multi-relational-data"},{"key":"17_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441","volume-title":"Convex Optimization","author":"S Boyd","year":"2004","unstructured":"Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)"},{"key":"17_CR5","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2076.001.0001","volume-title":"Conceptual Spaces: The Geometry of Thought","author":"P G\u00e4rdenfors","year":"2000","unstructured":"G\u00e4rdenfors, P.: Conceptual Spaces: The Geometry of Thought. The MIT Press, Cambridge (2000)"},{"key":"17_CR6","unstructured":"Goldberg, Y., Levy, O.: word2vec explained: deriving Mikolov et al.\u2019s negative-sampling word-embedding method. ArXiv e-prints (February 2014)"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"RI Goldblatt","year":"1974","unstructured":"Goldblatt, R.I.: Semantic analysis of orthologic. J. Philos. Logic 3(1), 19\u201335 (1974). https:\/\/doi.org\/10.1007\/BF00652069","journal-title":"J. Philos. Logic"},{"key":"17_CR8","unstructured":"Guti\u00e9rrez-Basulto, V., Schockaert, S.: From knowledge graph embedding to ontology embedding? An analysis of the compatibility between vector space representations and rules. In: Thielscher, M., Toni, F., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pp. 379\u2013388. AAAI Press (2018). https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/18013"},{"key":"17_CR9","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-319-29300-4_14","volume-title":"J. Michael Dunn on Information Based Logics","author":"C Hartonas","year":"2016","unstructured":"Hartonas, C.: Reasoning with incomplete information in generalized galois logics without distribution: the case of negation and modal operators. In: Bimb\u00f3, K. (ed.) J. Michael Dunn on Information Based Logics. OCL, vol. 8, pp. 279\u2013312. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29300-4_14"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Kulmanov, M., Liu-Wei, W., Yan, Y., Hoehndorf, R.: El embeddings: geometric construction of models for the description logic EL++. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-2019) (2019)","DOI":"10.24963\/ijcai.2019\/845"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Leemhuis, M., \u00d6z\u00e7ep, O.L., Wolter, D.: Multi-label learning with a cone-based geometric model. In: Proceedings of the 25th International Conference on Conceptual Structures (ICCS 2020) (2020)","DOI":"10.1007\/978-3-030-57855-8_13"},{"key":"17_CR12","unstructured":"Levy, O., Goldberg, Y.: Neural word embedding as implicit matrix factorization. In: Ghahramani, Z., Welling, M., Cortes, C., Lawrence, N.D., Weinberger, K.Q. (eds.) Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, December 8\u201313 2014, Montreal, Quebec, Canada, pp. 2177\u20132185 (2014). http:\/\/papers.nips.cc\/paper\/5477-neural-word-embedding-as-implicit-matrix-factorization"},{"key":"17_CR13","unstructured":"Kazemi, S.M., Poole, D.: SimpLE embedding for link prediction in knowledge graphs. arXiv e-prints arXiv:1802.04868 (February 2018)"},{"key":"17_CR14","unstructured":"Nickel, M., Tresp, V., Kriegel, H.P.: A three-way model for collective learning on multi-relational data. In: Proceedings of the 28th International Conference on International Conference on Machine Learning, ICML 2011, pp. 809\u2013816. Omnipress, USA (2011). http:\/\/dl.acm.org\/citation.cfm?id=3104482.3104584"},{"key":"17_CR15","unstructured":"\u00d6z\u00e7ep, \u00d6.L., Leemhuis, M., Wolter, D.: Cone semantics for logics with negation. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-2020 (2020)"},{"key":"17_CR16","unstructured":"Pennington, J., Socher, R., Manning, C.D.: Glove: global vectors for word representation. In: EMNLP, vol. 14, pp. 1532\u20131543 (2014). https:\/\/nlp.stanford.edu\/pubs\/glove.pdf"},{"issue":"12","key":"17_CR17","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1109\/TKDE.2017.2754499","volume":"29","author":"Q Wang","year":"2017","unstructured":"Wang, Q., Mao, Z., Wang, B., Guo, L.: Knowledge graph embedding: a survey of approaches and applications. IEEE Trans. Knowl. Data Eng. 29(12), 2724\u20132743 (2017). https:\/\/doi.org\/10.1109\/TKDE.2017.2754499","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Lecture Notes in Computer Science","KI 2020: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58285-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,31]],"date-time":"2021-03-31T16:32:36Z","timestamp":1617208356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-58285-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030582845","9783030582852"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58285-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"9 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bamberg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ki2020.uni-bamberg.de\/","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":"62","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":"16","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":"12","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":"26% - 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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic KI 2020 was held as a virtual event.","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)"}}]}}