{"id":"https://openalex.org/W2900717185","doi":"https://doi.org/10.1609/aaai.v33i01.33013116","title":"Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach","display_name":"Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach","publication_year":2019,"publication_date":"2019-07-17","ids":{"openalex":"https://openalex.org/W2900717185","doi":"https://doi.org/10.1609/aaai.v33i01.33013116","mag":"2900717185"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v33i01.33013116","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33013116","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4172/4050","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4172/4050","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103764224","display_name":"Yizheng Zhao","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Yizheng Zhao","raw_affiliation_strings":["The University of Manchester"],"affiliations":[{"raw_affiliation_string":"The University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060950642","display_name":"Ghadah Alghamdi","orcid":"https://orcid.org/0000-0003-3836-1824"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ghadah Alghamdi","raw_affiliation_strings":["The University of Manchester"],"affiliations":[{"raw_affiliation_string":"The University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037583341","display_name":"Renate A. Schmidt","orcid":"https://orcid.org/0000-0002-6673-3333"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Renate A. Schmidt","raw_affiliation_strings":["The University of Manchester"],"affiliations":[{"raw_affiliation_string":"The University of Manchester","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068201443","display_name":"Hao Feng","orcid":"https://orcid.org/0000-0001-8127-6639"},"institutions":[{"id":"https://openalex.org/I137506752","display_name":"North China University of Science and Technology","ror":"https://ror.org/04z4wmb81","country_code":"CN","type":"education","lineage":["https://openalex.org/I137506752"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Feng","raw_affiliation_strings":["North China University of Science and Technology"],"affiliations":[{"raw_affiliation_string":"North China University of Science and Technology","institution_ids":["https://openalex.org/I137506752"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049201950","display_name":"Giorgos Stoilos","orcid":"https://orcid.org/0000-0002-9633-347X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giorgos Stoilos","raw_affiliation_strings":["Babylon Health Ltd"],"affiliations":[{"raw_affiliation_string":"Babylon Health Ltd","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009517063","display_name":"Damir Juri\u0107","orcid":"https://orcid.org/0000-0003-3703-0601"},"institutions":[{"id":"https://openalex.org/I4210134914","display_name":"Babylon Health","ror":"https://ror.org/036q44x34","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I4210134914"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Damir Juric","raw_affiliation_strings":["Babylon Health"],"affiliations":[{"raw_affiliation_string":"Babylon Health","institution_ids":["https://openalex.org/I4210134914"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036408214","display_name":"Mohammad Khodadadi","orcid":"https://orcid.org/0009-0003-9783-6663"},"institutions":[{"id":"https://openalex.org/I4210134914","display_name":"Babylon Health","ror":"https://ror.org/036q44x34","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I4210134914"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Mohammad Khodadadi","raw_affiliation_strings":["Babylon Health"],"affiliations":[{"raw_affiliation_string":"Babylon Health","institution_ids":["https://openalex.org/I4210134914"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5103764224"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":1.33,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.85075131,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"33","issue":"01","first_page":"3116","last_page":"3124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9998000264167786,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9998000264167786,"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.9997000098228455,"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/T10028","display_name":"Topic Modeling","score":0.9970999956130981,"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/snomed-ct","display_name":"SNOMED CT","score":0.8004474639892578},{"id":"https://openalex.org/keywords/forgetting","display_name":"Forgetting","score":0.7945316433906555},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.7920109033584595},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7219892144203186},{"id":"https://openalex.org/keywords/interpolation","display_name":"Interpolation (computer graphics)","score":0.5285065770149231},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5058505535125732},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4934064447879791},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.4897477626800537},{"id":"https://openalex.org/keywords/open-biomedical-ontologies","display_name":"Open Biomedical Ontologies","score":0.45159077644348145},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.4178021550178528},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4138012230396271},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.350055456161499},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32083025574684143},{"id":"https://openalex.org/keywords/process-ontology","display_name":"Process ontology","score":0.2897644639015198},{"id":"https://openalex.org/keywords/ontology-alignment","display_name":"Ontology alignment","score":0.23485538363456726},{"id":"https://openalex.org/keywords/terminology","display_name":"Terminology","score":0.13420364260673523},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.12427306175231934},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.10956883430480957}],"concepts":[{"id":"https://openalex.org/C206497026","wikidata":"https://www.wikidata.org/wiki/Q1753883","display_name":"SNOMED CT","level":3,"score":0.8004474639892578},{"id":"https://openalex.org/C7149132","wikidata":"https://www.wikidata.org/wiki/Q1377840","display_name":"Forgetting","level":2,"score":0.7945316433906555},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.7920109033584595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7219892144203186},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.5285065770149231},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5058505535125732},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4934064447879791},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4897477626800537},{"id":"https://openalex.org/C137982476","wikidata":"https://www.wikidata.org/wiki/Q7072326","display_name":"Open Biomedical Ontologies","level":5,"score":0.45159077644348145},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.4178021550178528},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4138012230396271},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.350055456161499},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32083025574684143},{"id":"https://openalex.org/C137003198","wikidata":"https://www.wikidata.org/wiki/Q7247296","display_name":"Process ontology","level":3,"score":0.2897644639015198},{"id":"https://openalex.org/C98893333","wikidata":"https://www.wikidata.org/wiki/Q4339878","display_name":"Ontology alignment","level":4,"score":0.23485538363456726},{"id":"https://openalex.org/C547195049","wikidata":"https://www.wikidata.org/wiki/Q1725664","display_name":"Terminology","level":2,"score":0.13420364260673523},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.12427306175231934},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.10956883430480957},{"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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1609/aaai.v33i01.33013116","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33013116","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4172/4050","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/0ae59415-60d4-41ef-87b5-7f5881a547e5","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/0ae59415-60d4-41ef-87b5-7f5881a547e5","pdf_url":"https://pure.manchester.ac.uk/ws/files/84885496/paper_444.pdf","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zhao, Y, Alghamdi, G, Schmidt, R, Feng, H, Stoilos, G, Juric, D & Khodadadi, M 2019, Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. in Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-2019). Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press. https://doi.org/10.1609/aaai.v33i01.33013116","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:publications/0ae59415-60d4-41ef-87b5-7f5881a547e5","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/tracking-logical-difference-in-largescale-ontologies-a-forgettingbased-approach(0ae59415-60d4-41ef-87b5-7f5881a547e5).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":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1609/aaai.v33i01.33013116","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v33i01.33013116","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/4172/4050","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4699999988079071,"display_name":"Reduced inequalities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2900717185.pdf","grobid_xml":"https://content.openalex.org/works/W2900717185.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W53707990","https://openalex.org/W179428513","https://openalex.org/W1490659351","https://openalex.org/W1527893314","https://openalex.org/W1560455220","https://openalex.org/W1560984185","https://openalex.org/W1567108904","https://openalex.org/W1576306152","https://openalex.org/W2034829824","https://openalex.org/W2035707461","https://openalex.org/W2049292276","https://openalex.org/W2094689321","https://openalex.org/W2144831006","https://openalex.org/W2157867633","https://openalex.org/W2238081133","https://openalex.org/W2311665881","https://openalex.org/W2507211235","https://openalex.org/W2782780878","https://openalex.org/W2807125531","https://openalex.org/W2808614959","https://openalex.org/W2811418878","https://openalex.org/W2892874013","https://openalex.org/W2914654071","https://openalex.org/W3104143976","https://openalex.org/W3211190121","https://openalex.org/W3216772212","https://openalex.org/W4297161157","https://openalex.org/W6633568071","https://openalex.org/W6684723639","https://openalex.org/W6693375307"],"related_works":["https://openalex.org/W181545316","https://openalex.org/W2556907653","https://openalex.org/W2787565797","https://openalex.org/W2507623806","https://openalex.org/W1597785952","https://openalex.org/W2094689321","https://openalex.org/W2754588369","https://openalex.org/W2136803152","https://openalex.org/W3015733372","https://openalex.org/W4298304116"],"abstract_inverted_index":{"This":[0],"paper":[1],"explores":[2],"how":[3],"the":[4,36,45,51,72,76,109,125],"logical":[5,77,126],"difference":[6,78,127],"between":[7,79],"two":[8],"ontologies":[9,143],"can":[10,92,111],"be":[11,41],"tracked":[12],"using":[13],"a":[14,66,120,132],"forgetting-based":[15],"or":[16],"uniform":[17,94],"interpolation":[18,62],"(UI)-based":[19],"approach.":[20],"The":[21,85],"idea":[22],"is":[23,87],"that":[24,108],"rather":[25],"than":[26],"computing":[27,75,124],"all":[28],"entailments":[29,47],"of":[30,59,74,82,138],"one":[31],"ontology":[32,53],"not":[33,48],"entailed":[34,49],"by":[35],"other":[37,52],"ontology,":[38],"which":[39],"would":[40],"computationally":[42],"infeasible,":[43],"only":[44],"strongest":[46],"in":[50,128],"are":[54],"computed.":[55],"To":[56],"overcome":[57],"drawbacks":[58],"existing":[60],"forgetting/uniform":[61],"tools":[63],"we":[64],"introduce":[65],"new":[67],"forgetting":[68],"method":[69,86,110],"designed":[70],"for":[71,96],"task":[73],"different":[80,136],"versions":[81,137],"large-scale":[83,129],"ontologies.":[84],"sound":[88],"and":[89,91,103,118,141],"terminating,":[90],"compute":[93],"interpolants":[95],"ALC-ontologies":[97],"as":[98,100,131],"large":[99],"SNOMED":[101,139],"CT":[102,140],"NCIt.":[104],"Our":[105],"evaluation":[106],"shows":[107],"achieve":[112],"considerably":[113],"better":[114],"success":[115],"rates":[116],"(>90%)":[117],"provides":[119],"feasible":[121],"approach":[122],"to":[123],"ontologies,":[130],"case":[133],"study":[134],"on":[135],"NCIt":[142],"shows.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}