{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T14:13:55Z","timestamp":1773152035804,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642102905","type":"print"},{"value":"9783642102912","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10291-2_14","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T08:14:47Z","timestamp":1258359287000},"page":"131-140","source":"Crossref","is-referenced-by-count":11,"title":["Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison"],"prefix":"10.1007","author":[{"given":"S.","family":"Ferilli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Biba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Di Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. M. A.","family":"Basile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Esposito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Agichtein, E., Askew, W., Liu, Y.: Combining lexical, syntactic, and semantic evidence for textual entailment classification. In: Proc. 1st Text Analysis Conference (TAC) (2008)"},{"key":"14_CR2","unstructured":"Budanitsky, A., Hirst, G.: Semantic distance in wordnet: An experimental, application-oriented evaluation of five measures. In: Proc. Workshop on WordNet and Other Lexical Resources, 2nd meeting of the North American Chapter of the Association for Computational Linguistics, Pittsburgh (2001)"},{"key":"14_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottl\u00f6b, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"key":"14_CR4","unstructured":"Clark, P., Harrison, P.: Recognizing textual entailment with logical inference. In: Proc. 1st Text Analysis Conference (TAC) (2008)"},{"issue":"1-2","key":"14_CR5","first-page":"15","volume":"47","author":"F. Esposito","year":"2001","unstructured":"Esposito, F., Fanizzi, N., Ferilli, S., Semeraro, G.: A generalization model based on oi-implication for ideal theory refinement. Fundamenta Informatic\u00e6\u00a047(1-2), 15\u201333 (2001)","journal-title":"Fundamenta Informatic\u00e6"},{"issue":"1-2","key":"14_CR6","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3233\/FI-2009-0004","volume":"90","author":"S. Ferilli","year":"2009","unstructured":"Ferilli, S., Basile, T.M.A., Biba, M., Di Mauro, N., Esposito, F.: A general similarity framework for horn clause logic. Fundamenta Informatic\u00e6\u00a090(1-2), 43\u201346 (2009)","journal-title":"Fundamenta Informatic\u00e6"},{"key":"14_CR7","first-page":"1","volume":"24","author":"N. Ide","year":"1998","unstructured":"Ide, N., Vronis, J.: Word sense disambiguation: The state of the art. Computational Linguistics\u00a024, 1\u201340 (1998)","journal-title":"Computational Linguistics"},{"key":"14_CR8","unstructured":"Inkpen, D., Kipp, D., Nastase, V.: Machine learning experiments for textual entailment. In: Proc. 2nd PASCAL Recognising Textual Entailment Challenge (RTE-2) (2006)"},{"key":"14_CR9","unstructured":"Krovetz, R.: More than one sense per discourse. In: NEC Princeton NJ Labs., Research Memorandum (1998)"},{"key":"14_CR10","first-page":"296","volume-title":"Proc. 15th International Conf. on Machine Learning","author":"D. Lin","year":"1998","unstructured":"Lin, D.: An information-theoretic definition of similarity. In: Proc. 15th International Conf. on Machine Learning, pp. 296\u2013304. Morgan Kaufmann, San Francisco (1998)"},{"key":"14_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"issue":"11","key":"14_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"G.A. Miller","year":"1995","unstructured":"Miller, G.A.: Wordnet: A lexical database for English. Communications of the ACM\u00a038(11), 39\u201341 (1995)","journal-title":"Communications of the ACM"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. New Generation Computing\u00a08(4), 295\u2013318 (1991)","journal-title":"New Generation Computing"},{"key":"14_CR14","unstructured":"Pennacchiotti, M., Zanzotto, F.M.: Learning shallow semantic rules for textual entailment. In: Proc. International Conference on Recent Advances in Natural Language Processing (RANLP 2007) (2007)"},{"key":"14_CR15","first-page":"64","volume-title":"Inductive Logic Programming","author":"C. Rouveirol","year":"1992","unstructured":"Rouveirol, C.: Extensions of inversion of resolution applied to theory completion. In: Inductive Logic Programming, pp. 64\u201390. Academic Press, London (1992)"},{"key":"14_CR16","unstructured":"Vargas-Vera, M., Motta, E.: An ontology-driven similarity algorithm. Tech Report kmi-04-16. Knowledge Media Institute (KMi), The Open University, UK"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2009: Emergent Perspectives in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10291-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T17:33:23Z","timestamp":1590255203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10291-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642102905","9783642102912"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10291-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}