{"id":"https://openalex.org/W2966438007","doi":"https://doi.org/10.24963/ijcai.2019/905","title":"Finding Justifications by Approximating Core for Large-scale Ontologies","display_name":"Finding Justifications by Approximating Core for Large-scale Ontologies","publication_year":2019,"publication_date":"2019-07-28","ids":{"openalex":"https://openalex.org/W2966438007","doi":"https://doi.org/10.24963/ijcai.2019/905","mag":"2966438007"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2019/905","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/905","pdf_url":"https://www.ijcai.org/proceedings/2019/0905.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2019/0905.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011846958","display_name":"Mengyu Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Mengyu Gao","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Changchun 130012"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101821167","display_name":"Yuxin Ye","orcid":"https://orcid.org/0000-0002-0154-0776"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Ye","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Changchun 130012","Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry ofEducation, Changchun 130012","Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]},{"raw_affiliation_string":"Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry ofEducation, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]},{"raw_affiliation_string":"Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049462948","display_name":"Dantong Ouyang","orcid":"https://orcid.org/0000-0003-4504-1423"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dantong Ouyang","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Changchun 130012","Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry ofEducation, Changchun 130012","Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]},{"raw_affiliation_string":"Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry ofEducation, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]},{"raw_affiliation_string":"Key Laboratory of Symbol Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017416079","display_name":"Bin Wang","orcid":"https://orcid.org/0000-0001-9214-2513"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin Wang","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Changchun 130012"],"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Changchun 130012","institution_ids":["https://openalex.org/I194450716"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5011846958"],"corresponding_institution_ids":["https://openalex.org/I194450716"],"apc_list":null,"apc_paid":null,"fwci":0.28,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65237539,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"6432","last_page":"6433"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9940000176429749,"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/heuristic","display_name":"Heuristic","score":0.7316969037055969},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.6892980337142944},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6700929999351501},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6247982382774353},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5743668079376221},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.5609790086746216},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5164587497711182},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5100460648536682},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4820062220096588},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4537830352783203},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.43737849593162537},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.43235594034194946},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.36991947889328003},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3326370120048523},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28519365191459656},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.2582567632198334},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22971120476722717},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13063570857048035},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08394789695739746}],"concepts":[{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.7316969037055969},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.6892980337142944},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6700929999351501},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6247982382774353},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5743668079376221},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.5609790086746216},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5164587497711182},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5100460648536682},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4820062220096588},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4537830352783203},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.43737849593162537},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.43235594034194946},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.36991947889328003},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3326370120048523},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28519365191459656},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.2582567632198334},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22971120476722717},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13063570857048035},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08394789695739746},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2019/905","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/905","pdf_url":"https://www.ijcai.org/proceedings/2019/0905.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2019/905","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2019/905","pdf_url":"https://www.ijcai.org/proceedings/2019/0905.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2966438007.pdf","grobid_xml":"https://content.openalex.org/works/W2966438007.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1540668801","https://openalex.org/W2257581581","https://openalex.org/W2402664197","https://openalex.org/W2739717840","https://openalex.org/W2741804002","https://openalex.org/W4297911590"],"related_works":["https://openalex.org/W2120921192","https://openalex.org/W1576014289","https://openalex.org/W1501276147","https://openalex.org/W4245886362","https://openalex.org/W2115969784","https://openalex.org/W2047847147","https://openalex.org/W117878442","https://openalex.org/W2139894293","https://openalex.org/W2625791717","https://openalex.org/W1604312867"],"abstract_inverted_index":{"Finding":[0],"justifications":[1,21,56,120],"for":[2,110,121],"an":[3,85],"entailment":[4],"is":[5,90,99],"one":[6],"of":[7,14,59],"the":[8,12,23,80,102,119],"major":[9],"missions":[10],"in":[11,101],"field":[13],"ontology":[15],"research.":[16],"Recent":[17],"advances":[18],"on":[19,28,92],"finding":[20,55],"w.r.t.":[22],"light-weight":[24],"description":[25],"logics":[26],"focused":[27],"encoding":[29],"this":[30,64],"problem":[31],"into":[32,54],"a":[33,68,93,108],"propositional":[34],"formula,":[35],"and":[36,95],"using":[37],"SAT-based":[38],"techniques":[39,53],"to":[40,49,78],"enumerate":[41],"all":[42],"MUSes":[43],"(minimally":[44],"unsatisfiable":[45,112],"subformulas).":[46],"It's":[47],"necessary":[48],"import":[50],"more":[51,124],"optimized":[52],"as":[57],"emergence":[58],"large-scale":[60,122],"real-world":[61],"ontologies.":[62],"In":[63],"paper,":[65],"we":[66],"propose":[67],"new":[69],"strategy":[70],"which":[71],"introduce":[72],"local":[73],"search(in":[74],"short,":[75],"LS)":[76],"technique":[77,98],"compute":[79],"approximating":[81],"core":[82],"before":[83],"extracting":[84],"exact":[86],"MUS.":[87],"Although":[88],"it":[89,105],"based":[91],"heuristic":[94],"LS,":[96],"such":[97],"complete":[100],"sense":[103],"that":[104],"always":[106],"delivers":[107],"MUS":[109],"any":[111],"SAT":[113],"instance.":[114],"Our":[115],"method":[116],"will":[117],"find":[118],"ontologies":[123],"effectively.":[125]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}