{"id":"https://openalex.org/W4289104036","doi":"https://doi.org/10.1007/978-3-031-10769-6_12","title":"Connection-Minimal Abduction in\u00a0$$\\mathcal {EL}$$ via\u00a0Translation to\u00a0FOL","display_name":"Connection-Minimal Abduction in\u00a0$$\\mathcal {EL}$$ via\u00a0Translation to\u00a0FOL","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4289104036","doi":"https://doi.org/10.1007/978-3-031-10769-6_12"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-10769-6_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-10769-6_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_12.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_12.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065762041","display_name":"Fajar Haifani","orcid":"https://orcid.org/0000-0001-5139-4503"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fajar Haifani","raw_affiliation_strings":["Graduate School of Computer Science, Saarbr\u00fccken, Germany","Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Max-Planck-Institut f\u00fcr Informatik"],"raw_orcid":"https://orcid.org/0000-0001-5139-4503","affiliations":[{"raw_affiliation_string":"Graduate School of Computer Science, Saarbr\u00fccken, Germany","institution_ids":[]},{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020877951","display_name":"Patrick Koopmann","orcid":"https://orcid.org/0000-0001-5999-2583"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Patrick Koopmann","raw_affiliation_strings":["TU Dresden, Dresden, Germany","Technische Universit\u00e4t Dresden = Dresden University of Technology"],"raw_orcid":"https://orcid.org/0000-0001-5999-2583","affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Technische Universit\u00e4t Dresden = Dresden University of Technology","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057556247","display_name":"Sophie Tourret","orcid":"https://orcid.org/0000-0002-6070-796X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["AT","DE","FR"],"is_corresponding":false,"raw_author_name":"Sophie Tourret","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France","Modeling and Verification of Distributed Algorithms and Systems"],"raw_orcid":"https://orcid.org/0000-0002-6070-796X","affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210121838","https://openalex.org/I90183372"]},{"raw_affiliation_string":"Modeling and Verification of Distributed Algorithms and Systems","institution_ids":["https://openalex.org/I4210099593"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046034681","display_name":"Christoph Weidenbach","orcid":"https://orcid.org/0000-0001-6002-0458"},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Weidenbach","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","Max-Planck-Institut f\u00fcr Informatik"],"raw_orcid":"https://orcid.org/0000-0001-6002-0458","affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarland Informatics Campus, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210109712"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"188","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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/T10215","display_name":"Semantic Web and Ontologies","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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9955000281333923,"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/computer-science","display_name":"Computer science","score":0.7213772535324097},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.699718713760376},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.6458500623703003},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.525361180305481},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4961436688899994},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4909120202064514},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.48041534423828125},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.46933451294898987},{"id":"https://openalex.org/keywords/occams-razor","display_name":"Occam's razor","score":0.4652465581893921},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4593600928783417},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43582484126091003},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4294527471065521},{"id":"https://openalex.org/keywords/occam","display_name":"occam","score":0.4252042770385742},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.42457157373428345},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4135282635688782},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40749597549438477},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23823261260986328},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22259056568145752},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.20107623934745789},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.08156701922416687}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7213772535324097},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.699718713760376},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.6458500623703003},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.525361180305481},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4961436688899994},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4909120202064514},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.48041534423828125},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.46933451294898987},{"id":"https://openalex.org/C64802038","wikidata":"https://www.wikidata.org/wiki/Q131012","display_name":"Occam's razor","level":2,"score":0.4652465581893921},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4593600928783417},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43582484126091003},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4294527471065521},{"id":"https://openalex.org/C78469957","wikidata":"https://www.wikidata.org/wiki/Q838062","display_name":"occam","level":2,"score":0.4252042770385742},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.42457157373428345},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4135282635688782},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40749597549438477},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23823261260986328},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22259056568145752},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.20107623934745789},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.08156701922416687},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-10769-6_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-10769-6_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_12.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-03826613v1","is_oa":false,"landing_page_url":"https://hal.inria.fr/hal-03826613","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"LNCS, LNAI, IJCAR","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-03937189v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-03937189","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"35th International Workshop on Description Logics (DL 2022), Aug 2022, Haifa, Israel","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-04315455v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04315455","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Aug 2022, Haifa, Israel. pp.188-207, &#x27E8;10.1007/978-3-031-10769-6_12&#x27E9;","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-10769-6_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-10769-6_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-10769-6_12.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.6499999761581421,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4915074102","display_name":null,"funder_award_id":"Grant 389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":"TRR 248: Grundlagen verst\u00e4ndlicher SoftwareSysteme  f\u00fcr eine nachvollziehbare cyberphysische Welt","funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4289104036.pdf","grobid_xml":"https://content.openalex.org/works/W4289104036.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W55962619","https://openalex.org/W286350456","https://openalex.org/W942239141","https://openalex.org/W1513576223","https://openalex.org/W1601038846","https://openalex.org/W1795691572","https://openalex.org/W1968191809","https://openalex.org/W1972956465","https://openalex.org/W2014302401","https://openalex.org/W2069887068","https://openalex.org/W2147729309","https://openalex.org/W2152130571","https://openalex.org/W2167853057","https://openalex.org/W2404056264","https://openalex.org/W2604984276","https://openalex.org/W2810160031","https://openalex.org/W2901699691","https://openalex.org/W3044715687","https://openalex.org/W3049359216","https://openalex.org/W3081444138","https://openalex.org/W3181671299","https://openalex.org/W3192075330","https://openalex.org/W3211190121","https://openalex.org/W4244275182","https://openalex.org/W4280588992","https://openalex.org/W4300129298","https://openalex.org/W4300703193","https://openalex.org/W6894017136"],"related_works":["https://openalex.org/W2949846021","https://openalex.org/W2951568450","https://openalex.org/W3023590748","https://openalex.org/W1731670240","https://openalex.org/W2966907487","https://openalex.org/W2140251433","https://openalex.org/W2020649503","https://openalex.org/W51126094","https://openalex.org/W1718449494","https://openalex.org/W1519727353"],"abstract_inverted_index":{"Abstract":[0],"Abduction":[1],"in":[2,48,147],"description":[3,51],"logics":[4],"finds":[5],"extensions":[6],"of":[7,77,144,175],"a":[8,64,72,75,141,148,158,172],"knowledge":[9,34,70],"base":[10],"to":[11,23,31,37,131,139,160],"make":[12],"it":[13,19],"entail":[14],"an":[15],"observation.":[16],"As":[17],"such,":[18],"can":[20],"be":[21],"used":[22],"explain":[24],"why":[25],"the":[26,49,61,68,92,101,104,132,181],"observation":[27,62],"does":[28],"not":[29],"follow,":[30],"repair":[32],"incomplete":[33],"bases,":[35],"and":[36,67,114,150,163],"provide":[38],"possible":[39],"explanations":[40],"for":[41],"unexpected":[42],"observations.":[43],"We":[44,106,136,170],"consider":[45],"TBox":[46],"abduction":[47],"lightweight":[50],"logic":[52],"$$\\mathcal":[53],"{EL}$$":[54],"<mml:math":[55],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[56],"<mml:mi>EL</mml:mi>":[57],"</mml:math>":[58],",":[59],"where":[60],"is":[63,71,155],"concept":[65,78,128],"inclusion":[66],"background":[69],"TBox,":[73],"i.e.,":[74],"set":[76],"inclusions.":[79],"To":[80],"avoid":[81],"useless":[82],"answers,":[83],"such":[84],"problems":[85],"usually":[86],"come":[87],"with":[88],"further":[89],"restrictions":[90],"on":[91,157,167,178],"solution":[93],"space":[94],"and/or":[95],"minimality":[96,110],"criteria":[97],"that":[98,108,126],"help":[99],"sort":[100],"chaff":[102],"from":[103,180],"grain.":[105],"argue":[107],"existing":[109],"notions":[111],"are":[112],"insufficient,":[113],"introduce":[115],"connection":[116],"minimality.":[117],"This":[118],"criterion":[119],"follows":[120],"Occam\u2019s":[121],"razor":[122],"by":[123],"rejecting":[124],"hypotheses":[125,146,165],"use":[127],"inclusions":[129],"unrelated":[130],"problem":[133],"at":[134],"hand.":[135],"show":[137],"how":[138],"compute":[140],"special":[142],"class":[143],"connection-minimal":[145],"sound":[149],"complete":[151],"way.":[152],"Our":[153],"technique":[154],"based":[156,166],"translation":[159],"first-order":[161],"logic,":[162],"constructs":[164],"prime":[168],"implicates.":[169],"evaluate":[171],"prototype":[173],"implementation":[174],"our":[176],"approach":[177],"ontologies":[179],"medical":[182],"domain.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2022-08-01T00:00:00"}