{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T06:39:49Z","timestamp":1757572789164,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031194320"},{"type":"electronic","value":"9783031194337"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,10,16]],"date-time":"2022-10-16T00:00:00Z","timestamp":1665878400000},"content-version":"vor","delay-in-days":288,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing ontology management approaches fully merge knowledge perspectives, which may require weakening in order to maintain consistency; others represent the distinct views in an entirely detached way.<\/jats:p><jats:p>As an alternative, we propose<jats:italic>Standpoint Logic<\/jats:italic>, a simple, yet versatile multi-modal logic \u201cadd-on\u201d for existing KR languages intended for the integrated representation of domain knowledge relative to diverse, possibly conflicting<jats:italic>standpoints<\/jats:italic>, which can be hierarchically organised, combined, and put in relation with each other.<\/jats:p><jats:p>Starting from the generic framework of<jats:italic>First-Order Standpoint Logic<\/jats:italic>(FOSL), we subsequently focus our attention on the fragment of<jats:italic>sentential<\/jats:italic>formulas, for which we provide a polytime translation into the standpoint-free version. This result yields decidability and favourable complexities for a variety of highly expressive decidable fragments of first-order logic. Using some elaborate encoding tricks, we then establish a similar translation for the very expressive description logic<jats:inline-formula><jats:alternatives><jats:tex-math>$$\\mathcal {SROIQ}b_s$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mrow><mml:mi>SROIQ<\/mml:mi><mml:msub><mml:mi>b<\/mml:mi><mml:mi>s<\/mml:mi><\/mml:msub><\/mml:mrow><\/mml:math><\/jats:alternatives><\/jats:inline-formula>underlying the OWL 2 DL ontology language. By virtue of this result, existing highly optimised OWL reasoners can be used to provide practical reasoning support for ontology languages extended by standpoint modelling.<\/jats:p>","DOI":"10.1007\/978-3-031-19433-7_8","type":"book-chapter","created":{"date-parts":[[2022,10,16]],"date-time":"2022-10-16T06:20:33Z","timestamp":1665901233000},"page":"125-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["How to Agree to Disagree"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2525-8839","authenticated-orcid":false,"given":"Luc\u00eda G\u00f3mez","family":"\u00c1lvarez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1609-2080","authenticated-orcid":false,"given":"Sebastian","family":"Rudolph","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6180-6452","authenticated-orcid":false,"given":"Hannes","family":"Strass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,16]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Arp, R., Smith, B., Spear, A.D.: Building ontologies with basic formal ontology. MIT Press (2015)","DOI":"10.7551\/mitpress\/9780262527811.001.0001"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1017\/jsl.2018.64","volume":"83","author":"V B\u00e1r\u00e1ny","year":"2018","unstructured":"B\u00e1r\u00e1ny, V., Benedikt, M., ten Cate, B.: Some model theory of guarded negation. Journal of Symbolic Logic 83(4), 1307\u20131344 (2018)","journal-title":"Journal of Symbolic Logic"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny, V., ten Cate, B., Segoufin, L.: Guarded negation. Journal of the ACM 62(3) (2015)","DOI":"10.1145\/2701414"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Benslimane, D., Arara, A., Falquet, G., Maamar, Z., Thiran, P., Gargouri, F.: Contextual ontologies. Motivations, challenges, and solutions. In: Procs. of the 4th Int. Conf. on Advances in Information Systems. pp. 168\u2013176. Springer (2006)","DOI":"10.1007\/11890393_18"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","volume":"2800","author":"A Borgida","year":"2003","unstructured":"Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating information from peer sources. Journal on Data Semantics 2800, 153\u2013184 (2003)","journal-title":"Journal on Data Semantics"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Euzenat, J., Mocan, A., Scharffe, F.: Ontology alignments. In: Hepp, M., Leenheer, P.D., Moor, A.D., Sure, Y. (eds.) Ontology Management. Computing for Human Experience, vol. 7, pp. 177\u2013206. Springer (2008)","DOI":"10.1007\/978-0-387-69900-4_6"},{"issue":"3\u20134","key":"8_CR7","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00485047","volume":"30","author":"K Fine","year":"1975","unstructured":"Fine, K.: Vagueness, truth and logic. Synthese 30(3\u20134), 265\u2013300 (1975)","journal-title":"Synthese"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"G\u00f3mez \u00c1lvarez, L., Rudolph, S.: Standpoint logic: Multi-perspective knowledge representation. In: Neuhaus, F., Brodaric, B. (eds.) Procs. of the 12th Int. Conf. on Formal Ontology in Information Systems. FAIA, vol. 344, pp. 3\u201317. IOS Press (2021)","DOI":"10.3233\/FAIA210367"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Gorshkov, S., Kralin, S., Miroshnichenko, M.: Multi-viewpoint ontologies for decision-making support. In: Ngonga Ngomo, A.C., K\u0159emen, P. (eds.) Knowledge Engineering and Semantic Web. pp. 3\u201317. Springer (2016)","DOI":"10.1007\/978-3-319-45880-9_1"},{"key":"8_CR10","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Two-variable logic with counting is decidable. In: Procs. of the 12th Annual IEEE Symposium on Logic in Computer Science. pp. 306\u2013317. IEEE (1997)"},{"issue":"3","key":"8_CR11","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1504\/IJAIP.2018.090789","volume":"10","author":"M Hemam","year":"2018","unstructured":"Hemam, M.: An extension of the ontology web language with multi-viewpoints and probabilistic reasoning. Int. Journal of Advanced Intelligence Paradigms 10(3), 247\u2013265 (2018)","journal-title":"Int. Journal of Advanced Intelligence Paradigms"},{"issue":"3\u20134","key":"8_CR12","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1504\/IJRIS.2011.043539","volume":"3","author":"M Hemam","year":"2011","unstructured":"Hemam, M., Boufa\u00efda, Z.: MVP-OWL: A multi-viewpoints ontology language for the Semantic Web. Int. Journal of Reasoning-based Intelligent Systems 3(3\u20134), 147\u2013155 (2011)","journal-title":"Int. Journal of Reasoning-based Intelligent Systems"},{"key":"8_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Procs. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning. pp. 57\u201367. AAAI Press (2006)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Kieronski, E., Rudolph, S.: Finite model theory of the triguarded fragment and related logics. In: Procs. of the 36th Annual ACM\/IEEE Symposium on Logic in Computer Science. pp. 1\u201313. IEEE (2021)","DOI":"10.1109\/LICS52264.2021.9470734"},{"issue":"3","key":"8_CR15","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1093\/logcom\/ext011","volume":"26","author":"S Klarman","year":"2013","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Description logics of context. Journal of Logic and Computation 26(3), 817\u2013854 (2013)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR16","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"A Kurucz","year":"2003","unstructured":"Kurucz, A., Wolter, F., Zakharyaschev, M., Gabbay, D.M.: Many-Dimensional Modal Logics: Theory and Applications, 1st edn. Studies in Logics and the Foundations of Mathematics, Elsevier (2003)","edition":"1"},{"key":"8_CR17","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of description logics. Description Logics Workshop 81 (2003)"},{"issue":"1","key":"8_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial intelligence 156(1), 1\u201373 (2004)","journal-title":"Artificial intelligence"},{"key":"8_CR19","first-page":"13","volume":"81","author":"J McCarthy","year":"1998","unstructured":"McCarthy, J., Buvac, S.: Formalizing context (expanded notes). CSLI Lecture Notes 81, 13\u201350 (1998)","journal-title":"CSLI Lecture Notes"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.inffus.2021.01.007","volume":"71","author":"I Osman","year":"2021","unstructured":"Osman, I., Ben Yahia, S., Diallo, G.: Ontology Integration: Approaches and Challenging Issues. Information Fusion 71, 38\u201363 (2021)","journal-title":"Information Fusion"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Otero-Cerdeira, L., Rodr\u00edguez-Mart\u00ednez, F.J., G\u00f3mez-Rodr\u00edguez, A.: Ontology matching: A literature review. Expert Systems with Applications 42(2) (2015)","DOI":"10.1016\/j.eswa.2014.08.032"},{"key":"8_CR22","unstructured":"Pesquita, C., Faria, D., Santos, E., Couto, F.M.: To repair or not to repair: Reconciling correctness and coherence in ontology reference alignments. In: Procs. of the 8th Int. Conf. on Ontology Matching. vol. 1111, pp. 13\u201324. CEUR (2013)"},{"issue":"3\/4","key":"8_CR23","first-page":"163","volume":"38","author":"A Pietruszczak","year":"2009","unstructured":"Pietruszczak, A.: Simplified Kripke style semantics for modal logics K45, KB4 and KD45. Bulletin of the Section of Logic 38(3\/4), 163\u2013171 (2009)","journal-title":"Bulletin of the Section of Logic"},{"issue":"3","key":"8_CR24","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10849-005-5791-1","volume":"14","author":"I Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language, and Information 14(3), 369\u2013395 (2005)","journal-title":"Journal of Logic, Language, and Information"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Ribi\u00e8re, M., Dieng-Kuntz, R.: A viewpoint model for cooperative building of an Ontology. In: Procs. of the 10th Int. Conf. on Conceptual Structures. pp. 220\u2013234. Springer (2002)","DOI":"10.1007\/3-540-45483-7_17"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Cheap Boolean role constructors for description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) Procs. of the 11th European Conf. on Logics in Artificial Intelligence. vol. 5293, pp. 362\u2013374. Springer (2008)","DOI":"10.1007\/978-3-540-87803-2_30"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Rudolph, S., Simkus, M.: The triguarded fragment of first-order logic. In: Barthe, G., Sutcliffe, G., Veanes, M. (eds.) Procs. of the 22nd Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning. EPiC Series in Computing, vol. 57, pp. 604\u2013619 (2018)","DOI":"10.29007\/m8ts"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Solimando, A., Jim\u00e9nez-Ruiz, E., Guerrini, G.: Minimizing conservativity violations in ontology alignments. Knowledge and Information Systems 51(3) (2017)","DOI":"10.1007\/s10115-016-0983-3"},{"key":"8_CR29","unstructured":"Wolter, F., Zakharyaschev, M.: On the decidability of description logics with modal operators. In: Cohn, A.G., Schubert, L.K., Shapiro, S.C. (eds.) Procs. of the Sixth Int. Conf. on Principles of Knowledge Representation and Reasoning. pp. 512\u2013523. Morgan Kaufmann (1998)"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"\u00c1lvarez, L.G., Rudolph, S., Strass, H.: How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. Tech. rep., https:\/\/arXiv.org\/abs\/2206.06793 (2022)","DOI":"10.1007\/978-3-031-19433-7_8"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19433-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,5]],"date-time":"2024-10-05T21:43:11Z","timestamp":1728164591000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19433-7_8"}},"subtitle":["Managing Ontological Perspectives using Standpoint Logic"],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031194320","9783031194337"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19433-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"16 October 2022","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"semweb2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iswc2022.semanticweb.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"239","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":"48","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":"20% - 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.5","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}