{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T22:30:38Z","timestamp":1784845838702,"version":"3.55.0"},"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":3,"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":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2307\/2275910"},{"key":"ref2","doi-asserted-by":"publisher","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"},{"key":"ref4","doi-asserted-by":"publisher","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"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.2973129"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45260-5_7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-10769-6_34"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-98479-3_16"},{"key":"ref12","doi-asserted-by":"publisher","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."},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10579-012-9203-2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-74970-5_18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2016.07.002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.5220\/0008397503670374"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ccwc47524.2020.9031187"},{"key":"ref20","doi-asserted-by":"publisher","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."},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ45933.2021.9494438"},{"key":"ref23","doi-asserted-by":"publisher","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."},{"key":"ref25","doi-asserted-by":"publisher","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.."},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF00128778"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-015-0383-2"},{"key":"ref29","doi-asserted-by":"publisher","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."},{"key":"ref31","article-title":"A lattice theoretic approach to computation based on a calculus of partially ordered type structures","author":"At-Kaci","year":"1984"},{"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."},{"key":"ref34","article-title":"A feature logic with subsorts","author":"Smolka","year":"1988"},{"key":"ref35","article-title":"Anadic tuples in prolog","author":"Mukai","year":"1987"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52337-6_21"},{"key":"ref37","doi-asserted-by":"publisher","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"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1201\/b15460"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67582-4_3"},{"key":"ref42","doi-asserted-by":"publisher","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"},{"key":"ref44","doi-asserted-by":"publisher","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."},{"key":"ref47","doi-asserted-by":"publisher","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."},{"key":"ref49","doi-asserted-by":"publisher","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":[{"value":"1063-6706","type":"print"},{"value":"1941-0034","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5]]}}}