{"id":"https://openalex.org/W1971433298","doi":"https://doi.org/10.1007/s10817-010-9177-y","title":"The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling","display_name":"The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling","publication_year":2010,"publication_date":"2010-05-12","ids":{"openalex":"https://openalex.org/W1971433298","doi":"https://doi.org/10.1007/s10817-010-9177-y","mag":"1971433298"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-010-9177-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-010-9177-y","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040721287","display_name":"Louise A. Dennis","orcid":"https://orcid.org/0000-0003-1426-1896"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Louise Abigail Dennis","raw_affiliation_strings":["School of Computer Science, University of Liverpool, Liverpool, L69 3BX, UK","School of Computer Science, University of Liverpool, Liverpool, UK L69 3BX#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of Liverpool, Liverpool, L69 3BX, UK","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"School of Computer Science, University of Liverpool, Liverpool, UK L69 3BX#TAB#","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071849648","display_name":"Ian Green","orcid":"https://orcid.org/0000-0001-7130-6195"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ian Green","raw_affiliation_strings":["Edinburgh Development Laboratory, IBM, 21 St. Andrew Square, Edinburgh, EH2 1AY, UK","Edinburgh Development Laboratory, IBM, Edinburgh, UK EH2 1AY#TAB#"],"affiliations":[{"raw_affiliation_string":"Edinburgh Development Laboratory, IBM, 21 St. Andrew Square, Edinburgh, EH2 1AY, UK","institution_ids":[]},{"raw_affiliation_string":"Edinburgh Development Laboratory, IBM, Edinburgh, UK EH2 1AY#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103554937","display_name":"Alan Smaill","orcid":null},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alan Smaill","raw_affiliation_strings":["Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Appleton Tower, Edinburgh, UK","Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Edinburgh, UK"],"affiliations":[{"raw_affiliation_string":"Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Appleton Tower, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Centre for Intelligent Systems and their Applications, Division of Informatics, University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040721287"],"corresponding_institution_ids":["https://openalex.org/I146655781"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.4692,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71861851,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"47","issue":"1","first_page":"57","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rippling","display_name":"Rippling","score":0.9349079132080078},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.775749683380127},{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.7247129678726196},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6702519655227661},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6480581760406494},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.632779598236084},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.6006740927696228},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5160707831382751},{"id":"https://openalex.org/keywords/mathematical-induction","display_name":"Mathematical induction","score":0.5046621561050415},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45270416140556335},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.43502891063690186},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42178672552108765},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3887684941291809},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3610720932483673},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2318217158317566}],"concepts":[{"id":"https://openalex.org/C31314021","wikidata":"https://www.wikidata.org/wiki/Q7335736","display_name":"Rippling","level":2,"score":0.9349079132080078},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.775749683380127},{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.7247129678726196},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6702519655227661},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6480581760406494},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.632779598236084},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6006740927696228},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5160707831382751},{"id":"https://openalex.org/C206743973","wikidata":"https://www.wikidata.org/wiki/Q178377","display_name":"Mathematical induction","level":2,"score":0.5046621561050415},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45270416140556335},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.43502891063690186},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42178672552108765},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3887684941291809},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3610720932483673},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2318217158317566},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s10817-010-9177-y","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-010-9177-y","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/2be2b0c5-001c-42dc-9177-d4739d0924cd","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/2be2b0c5-001c-42dc-9177-d4739d0924cd","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Dennis, L A, Green, I & Smaill, A 2010, 'The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling', J Autom Reasoning, vol. 47, pp. 57-105. https://doi.org/10.1007/s10817-010-9177-y","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/2be2b0c5-001c-42dc-9177-d4739d0924cd","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/the-use-of-embeddings-to-provide-a-clean-separation-of-term-and-annotation-for-higher-order-rippling(2be2b0c5-001c-42dc-9177-d4739d0924cd).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dennis, L A, Green, I & Smaill, A 2010, 'The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling', J Autom Reasoning, vol. 47, pp. 57-105. https://doi.org/10.1007/s10817-010-9177-y","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5}],"awards":[{"id":"https://openalex.org/G2534065589","display_name":null,"funder_award_id":"EP/E005713/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W1480487311","https://openalex.org/W1507899410","https://openalex.org/W1517036610","https://openalex.org/W1532420827","https://openalex.org/W1555093324","https://openalex.org/W1571277216","https://openalex.org/W1580479543","https://openalex.org/W1586167239","https://openalex.org/W1589439023","https://openalex.org/W1590056785","https://openalex.org/W1602983059","https://openalex.org/W1878027524","https://openalex.org/W1992696924","https://openalex.org/W2001774285","https://openalex.org/W2067540169","https://openalex.org/W2087028873","https://openalex.org/W2096757332","https://openalex.org/W2102816938","https://openalex.org/W2107634101","https://openalex.org/W2107850390","https://openalex.org/W2122595168","https://openalex.org/W2126017433","https://openalex.org/W2126018011","https://openalex.org/W2161640000","https://openalex.org/W2486882506","https://openalex.org/W2499354155","https://openalex.org/W2561675875","https://openalex.org/W2625331203","https://openalex.org/W2804971928","https://openalex.org/W4212808947","https://openalex.org/W4232202664","https://openalex.org/W4234528212","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1541587797","https://openalex.org/W1507899410","https://openalex.org/W2181583560","https://openalex.org/W2467659804","https://openalex.org/W1992696924","https://openalex.org/W1543228540","https://openalex.org/W1971433298","https://openalex.org/W4386746881","https://openalex.org/W1574261129","https://openalex.org/W2921114217"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}