{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T15:56:31Z","timestamp":1757778991363,"version":"3.37.3"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"MUR"},{"name":"Department of Informatics, Systems and Communication of the University of Milano-Bicocca, Italy"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Fuzzy Syst."],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1109\/tfuzz.2024.3362897","type":"journal-article","created":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T19:32:18Z","timestamp":1707247938000},"page":"2797-2810","source":"Crossref","is-referenced-by-count":2,"title":["Similarity-Based Reasoning With Order-Sorted Feature Logic"],"prefix":"10.1109","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1757-0152","authenticated-orcid":false,"given":"Gian Carlo","family":"Milanese","sequence":"first","affiliation":[{"name":"Information and Knowledge Representation, Retrieval and Reasoning Lab, Department of Informatics, Systems and Communication, University of Milano-Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6080-8170","authenticated-orcid":false,"given":"Gabriella","family":"Pasi","sequence":"additional","affiliation":[{"name":"Information and Knowledge Representation, Retrieval and Reasoning Lab, Department of Informatics, Systems and Communication, University of Milano-Bicocca, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.2307\/2275910"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-1-4615-5261-1_2"},{"issue":"4","key":"ref3","doi-asserted-by":"crossref","first-page":"393","DOI":"10.3233\/FI-2000-41402","article-title":"Similarity-based unification","volume":"41","author":"Formato","year":"2000","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1002\/int.10067"},{"issue":"1","key":"ref5","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","article-title":"Approximate reasoning by similarity-based SLD resolution","volume":"275","author":"Sessa","year":"2002","journal-title":"Theor. Comput. Sci."},{"key":"ref6","first-page":"30:130:19","article-title":"Constraint solving over multiple similarity relations","volume-title":"Proc. 5th Int. Conf. Formal Struct. Computation Deduction","author":"Dundua","year":"2020"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.fss.2014.07.006","article-title":"Proximity-based unification theory","volume":"262","author":"Julin-Iranzo","year":"2015","journal-title":"Fuzzy Sets Syst"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TFUZZ.2020.2973129"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-030-45260-5_7"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-031-10769-6_34"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-030-98479-3_16"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.ijar.2020.06.002"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.entcs.2009.07.064","article-title":"Bousi$\\sim$Prolog: A prolog extension language for flexible query answering","volume":"248","author":"Julin-Iranzo","year":"2009","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref14","article-title":"Bousi$\\sim$Prolog: Design and implementation of a proximity-based fuzzy logic programming language","volume":"213","author":"Julin-Iranzo","year":"2023","journal-title":"Expert Syst. Appl."},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/s10579-012-9203-2"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-030-74970-5_18"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.ijhcs.2016.07.002"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.5220\/0008397503670374"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/ccwc47524.2020.9031187"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.3233\/IFS-151645"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2019.03.019","article-title":"Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach","volume":"391","author":"At-Kaci","year":"2020","journal-title":"Fuzzy Sets Syst."},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/FUZZ45933.2021.9494438"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/fuzz-ieee.2018.8491514"},{"issue":"3","key":"ref24","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","article-title":"Towards a meaning of life","volume":"16","author":"At-Kaci","year":"1993","journal-title":"J. Log. Prog."},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1017\/CBO9780511530098"},{"issue":"3","key":"ref26","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","article-title":"Login: A logic programming language with built-in inheritance","volume":"3","author":"At-Kaci","year":"1986","journal-title":"J. Log. Prog.."},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1007\/BF00128778"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/s10844-015-0383-2"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1007\/s10844-016-0435-2"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1016\/j.fss.2023.108800","article-title":"Fuzzy order-sorted feature logic","volume":"477","author":"Milanese","year":"2024","journal-title":"Fuzzy Sets Syst."},{"year":"1984","author":"At-Kaci","article-title":"A lattice theoretic approach to computation based on a calculus of partially ordered type structures","key":"ref31"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S1574-6526(07)03003-9","article-title":"Description logics","volume-title":"Handbook of Knowledge Representation","volume":"3","author":"Baader","year":"2008"},{"key":"ref33","first-page":"33","article-title":"Data models as constraint systems: A key to the semantic web","volume":"1","author":"At-Kaci","year":"2007","journal-title":"Constraint Process. Lett."},{"year":"1988","author":"Smolka","article-title":"A feature logic with subsorts","key":"ref34"},{"year":"1987","author":"Mukai","article-title":"Anadic tuples in prolog","key":"ref35"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/3-540-52337-6_21"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1007\/3-540-54594-8_74"},{"key":"ref38","first-page":"588","article-title":"DL meet FL: A bidirectional mapping between ontologies and linguistic knowledge","volume-title":"Proc. Int. Conf. Comput. Linguistics","author":"Krieger","year":"2010"},{"key":"ref39","doi-asserted-by":"crossref","DOI":"10.1016\/S0076-5392(09)60133-8","volume-title":"Fuzzy Sets and Systems. Theory and Applications","volume":"144","author":"Dubois","year":"1980"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1201\/b15460"},{"doi-asserted-by":"publisher","key":"ref41","DOI":"10.1007\/978-3-319-67582-4_3"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1109\/fuzz45933.2021.9494474"},{"key":"ref43","article-title":"Classifying and querying very large taxonomies","volume-title":"Dpartement dInformatique","author":"At-Kaci","year":"2013"},{"doi-asserted-by":"publisher","key":"ref44","DOI":"10.1145\/59287.59293"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0165-0114(99)80006-2","article-title":"Proximity relations in the fuzzy relational database model","volume":"100","author":"Shenoi","year":"1999","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"ref46","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0165-0114(02)00243-9","article-title":"Should fuzzy equality and similarity satisfy transitivity? Comments on the paper by M. de Cock and E. Kerre","volume":"133","author":"Klawonn","year":"2003","journal-title":"Fuzzy Sets Syst."},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.3233\/IFS-130834"},{"issue":"4","key":"ref48","first-page":"361","article-title":"Fuzzy partial order relations and fuzzy lattices","volume":"17","author":"Chon","year":"2009","journal-title":"Korean J. Math."},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1109\/IFSA-NAFIPS.2013.6608391"},{"key":"ref50","first-page":"775","article-title":"On fuzzy $\\alpha$-lattices","volume-title":"Proc. IEEE Int. Conf. Fuzzy Syst.","author":"Mezzomo","year":"2016"}],"container-title":["IEEE Transactions on Fuzzy Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/91\/10517720\/10423239.pdf?arnumber=10423239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T19:20:46Z","timestamp":1714764046000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10423239\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5]]},"references-count":50,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tfuzz.2024.3362897","relation":{},"ISSN":["1063-6706","1941-0034"],"issn-type":[{"type":"print","value":"1063-6706"},{"type":"electronic","value":"1941-0034"}],"subject":[],"published":{"date-parts":[[2024,5]]}}}