{"id":"https://openalex.org/W2088059677","doi":"https://doi.org/10.1093/logcom/exm007","title":"A Logic for Concepts and Similarity","display_name":"A Logic for Concepts and Similarity","publication_year":2007,"publication_date":"2007-03-21","ids":{"openalex":"https://openalex.org/W2088059677","doi":"https://doi.org/10.1093/logcom/exm007","mag":"2088059677"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exm007","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exm007","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5038299010","display_name":"Mikhail Sheremet","orcid":"https://orcid.org/0000-0003-0879-4282"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"M. Sheremet","raw_affiliation_strings":["School of Computer Science and Information Systems, Birkbeck College, Malet Street, London WC1E 7HX, UK. E-mail:","Birkbeck,\u2002University of London"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Systems, Birkbeck College, Malet Street, London WC1E 7HX, UK. E-mail:","institution_ids":["https://openalex.org/I98259816"]},{"raw_affiliation_string":"Birkbeck,\u2002University of London","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088235073","display_name":"Dmitry Tishkovsky","orcid":null},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]},{"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":false,"raw_author_name":"D. Tishkovsky","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. E-mail: ;","Birkbeck,\u2002University of London"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. E-mail: ;","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"Birkbeck,\u2002University of London","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010967150","display_name":"Frank Wolter","orcid":"https://orcid.org/0000-0002-4470-606X"},"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":false,"raw_author_name":"F. Wolter","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. E-mail: ;","#N##TAB##TAB##TAB##TAB# University of Liverpool#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK. E-mail: ;","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# University of Liverpool#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001878365","display_name":"Michael Zakharyaschev","orcid":"https://orcid.org/0000-0002-2210-5183"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]},{"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":false,"raw_author_name":"M. Zakharyaschev","raw_affiliation_strings":["School of Computer Science and Information Systems, Birkbeck College, Malet Street, London WC1E 7HX, UK. E-mail:","#N##TAB##TAB##TAB##TAB# University of Liverpool#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Systems, Birkbeck College, Malet Street, London WC1E 7HX, UK. E-mail:","institution_ids":["https://openalex.org/I98259816"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# University of Liverpool#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5038299010"],"corresponding_institution_ids":["https://openalex.org/I98259816"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":3.8691,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.93574109,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"17","issue":"3","first_page":"415","last_page":"452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/library-science","display_name":"Library science","score":0.6074516773223877},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49124258756637573},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.36888203024864197},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.33791154623031616},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.33218833804130554}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.6074516773223877},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49124258756637573},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.36888203024864197},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.33791154623031616},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.33218833804130554}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1093/logcom/exm007","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exm007","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/125f9d0a-7860-490f-9cc9-aad442bca559","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/125f9d0a-7860-490f-9cc9-aad442bca559","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":"Sheremet, M, Tishkovsky, D, Wolter, F & Zakharyaschev, M 2007, 'A logic for concepts and similarity', Journal of Logic and Computation, vol. 17, no. 3, pp. 415-452. https://doi.org/10.1093/logcom/exm007","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.101.890","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dcs.bbk.ac.uk/~michael/DLsimilarity_JLC.pdf","raw_type":"text"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:46475","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/46475/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:pure.atira.dk:publications/125f9d0a-7860-490f-9cc9-aad442bca559","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/a-logic-for-concepts-and-similarity(125f9d0a-7860-490f-9cc9-aad442bca559).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":"Sheremet, M, Tishkovsky, D, Wolter, F & Zakharyaschev, M 2007, 'A logic for concepts and similarity', Journal of Logic and Computation, vol. 17, no. 3, pp. 415-452. https://doi.org/10.1093/logcom/exm007","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7300000190734863}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W58140099","https://openalex.org/W184802582","https://openalex.org/W204327816","https://openalex.org/W207823858","https://openalex.org/W597276475","https://openalex.org/W1528334223","https://openalex.org/W1542417898","https://openalex.org/W1545538620","https://openalex.org/W1548115571","https://openalex.org/W1555563750","https://openalex.org/W1560050980","https://openalex.org/W1578007245","https://openalex.org/W1583171028","https://openalex.org/W1592232227","https://openalex.org/W1592711411","https://openalex.org/W1659833910","https://openalex.org/W1670748022","https://openalex.org/W1798667612","https://openalex.org/W1860690667","https://openalex.org/W1871668702","https://openalex.org/W1997817571","https://openalex.org/W2033071128","https://openalex.org/W2037744768","https://openalex.org/W2055256635","https://openalex.org/W2059975159","https://openalex.org/W2066949643","https://openalex.org/W2101694047","https://openalex.org/W2112476716","https://openalex.org/W2115539205","https://openalex.org/W2122368812","https://openalex.org/W2141917917","https://openalex.org/W2164389533","https://openalex.org/W2970205057","https://openalex.org/W3099593821","https://openalex.org/W3105686525"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Categorisation":[0],"of":[1,38,84,111,116,149,167,170,178,182,233,288],"objects":[2,75],"into":[3,80,248],"classes":[4,81],"is":[5,300],"currently":[6],"supported":[7,221],"by":[8,67,82,127,165,222,236],"(at":[9],"least)":[10],"two":[11,105,151],"\u2018orthogonal\u2019":[12],"methods.":[13,153],"In":[14,61,93,141,188],"logic-based":[15],"approaches,":[16,63],"classifications":[17,64,216],"are":[18,65,118,204,220,275],"defined":[19],"through":[20],"ontologies":[21],"or":[22,101],"knowledge":[23,46,191],"bases":[24],"which":[25,175],"describe":[26],"the":[27,39,122,128,150,161,168,171,189,193,197,201,231,249],"existing":[28],"relationships":[29],"among":[30],"terms.":[31],"Description":[32],"logic":[33,173,219],"(DL)":[34],"has":[35,138],"become":[36],"one":[37],"most":[40],"successful":[41],"formalisms":[42],"for":[43,230,241,252,277,290],"representing":[44],"such":[45,96,234],"bases,":[47],"in":[48,180,264,296],"particular":[49],"because":[50],"theoretically":[51],"well-founded":[52],"and":[53,76,185,256,266,270,283],"efficient":[54],"reasoning":[55,224,239,263,273,295],"tools":[56,235],"have":[57,107],"been":[58,108,139],"readily":[59],"available.":[60],"numerical":[62],"obtained":[66],"first":[68],"computing":[69],"similarity":[70,172,198,257],"(or":[71],"proximity)":[72],"measures":[73],"between":[74],"then":[77],"categorising":[78],"them":[79,117],"means":[83,166],"Voronoi":[85],"tessellations,":[86],"clustering":[87],"algorithms,":[88],"nearest":[89],"neighbour":[90],"computations,":[91],"etc.":[92],"many":[94,271],"areas":[95],"as":[97],"bioinformatics,":[98],"computational":[99],"linguistics":[100],"medical":[102],"informatics,":[103],"these":[104],"methods":[106],"used":[109],"independently":[110],"each":[112],"other:":[113],"although":[114],"both":[115,183],"often":[119],"applied":[120],"to":[121,132],"same":[123,129],"domain":[124],"(and":[125],"even":[126],"researcher),":[130],"up":[131],"now":[133],"no":[134],"formal":[135],"interaction":[136],"mechanism":[137],"developed.":[140],"this":[142,218,278,281],"paper,":[143],"we":[144,261,292],"propose":[145],"a":[146,284],"DL-based":[147],"integration":[148],"classification":[152],"Our":[154],"formalism,":[155],"called":[156],"SL":[157,174,208,242,265,297],"+":[158,209,243,298],"ALCQIO,":[159,291],"extends":[160],"expressive":[162],"DL":[163],"ALCQIO":[164,210,244,255,299],"constructors":[169],"allow":[176],"definitions":[177],"concepts":[179],"terms":[181],"comparative":[184],"absolute":[186],"similarity.":[187],"combined":[190],"base":[192],"user":[194],"should":[195],"declare":[196],"spaces":[199],"where":[200],"new":[202],"operators":[203],"interpreted.":[205],"Of":[206],"course,":[207],"can":[211,245],"only":[212],"be":[213,246],"useful":[214],"if":[215],"with":[217],"automated":[223],"tools.":[225],"We":[226],"lay":[227],"theoretical":[228],"foundations":[229],"development":[232],"showing":[237],"that":[238,268,294],"problems":[240,251,274],"decomposed":[247],"corresponding":[250],"its":[253],"DL-part":[254],"part":[258],"SL.":[259],"Then":[260],"investigate":[262],"prove":[267,293],"consistency":[269],"other":[272],"ExpTime-complete":[276],"logic.":[279],"Using":[280],"result":[282,287],"recent":[285],"complexity":[286],"Pratt-Hartmann":[289]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":5},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}