{"id":"https://openalex.org/W3081444138","doi":"https://doi.org/10.24963/kr.2020/59","title":"Signature-Based Abduction for Expressive Description Logics","display_name":"Signature-Based Abduction for Expressive Description Logics","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081444138","doi":"https://doi.org/10.24963/kr.2020/59","mag":"3081444138"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/59","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/59","pdf_url":"https://proceedings.kr.org/2020/59/kr2020-0059-koopmann-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/59/kr2020-0059-koopmann-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Patrick Koopmann","raw_affiliation_strings":["Institute for Theoretical Computer Science, Technische Universit\u00e3t Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Theoretical Computer Science, Technische Universit\u00e3t Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042970208","display_name":"Warren Del-Pinto","orcid":"https://orcid.org/0000-0003-3307-9432"},"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":"Warren Del-Pinto","raw_affiliation_strings":["Department of Computer Science, The University of Manchester, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]},{"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/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/I4210099593","display_name":"Computer Algorithms for Medicine","ror":"https://ror.org/00zky6d38","country_code":"AT","type":"facility","lineage":["https://openalex.org/I4210099593"]}],"countries":["AT","DE"],"is_corresponding":false,"raw_author_name":"Sophie Tourret","raw_affiliation_strings":["Automation of Logic Group, Max Planck Institut Informatik, Germany","Modeling and Verification of Distributed Algorithms and Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automation of Logic Group, Max Planck Institut Informatik, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"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/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":["Department of Computer Science, The University of Manchester, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Manchester, United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5020877951"],"corresponding_institution_ids":["https://openalex.org/I78650965"],"apc_list":null,"apc_paid":null,"fwci":1.4959,"has_fulltext":true,"cited_by_count":17,"citation_normalized_percentile":{"value":0.86501956,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"592","last_page":"602"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9987000226974487,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.6567562818527222},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.5591647624969482},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35127848386764526},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24111491441726685},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.11303350329399109}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6567562818527222},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.5591647624969482},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35127848386764526},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24111491441726685},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.11303350329399109}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.24963/kr.2020/59","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/59","pdf_url":"https://proceedings.kr.org/2020/59/kr2020-0059-koopmann-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire/f9eded1a-69e7-45ea-9d5d-9616d3bfdfbd","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/f9eded1a-69e7-45ea-9d5d-9616d3bfdfbd","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Koopmann, P, Del-Pinto, W, Tourret, S & Schmidt, R A 2020, Signature-Based Abduction for Expressive Description Logics. in D Calvanese & E Erdem (eds), Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization, pp. 592\u2013602. https://doi.org/10.24963/kr.2020/59","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-03141064v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03141064","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":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}, Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.atira.dk:publications/f9eded1a-69e7-45ea-9d5d-9616d3bfdfbd","is_oa":false,"landing_page_url":null,"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.24963/kr.2020/59","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/59","pdf_url":"https://proceedings.kr.org/2020/59/kr2020-0059-koopmann-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"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/G5894970208","display_name":null,"funder_award_id":"389793660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320240","display_name":"Research Councils UK","ror":"https://ror.org/00dq2kk65"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3081444138.pdf","grobid_xml":"https://content.openalex.org/works/W3081444138.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W5650064","https://openalex.org/W59439889","https://openalex.org/W286350456","https://openalex.org/W340492912","https://openalex.org/W1505052967","https://openalex.org/W1520527482","https://openalex.org/W1522802449","https://openalex.org/W1527210396","https://openalex.org/W1542417898","https://openalex.org/W1551503011","https://openalex.org/W1555563750","https://openalex.org/W1560984185","https://openalex.org/W1987005090","https://openalex.org/W2009605580","https://openalex.org/W2057503265","https://openalex.org/W2069887068","https://openalex.org/W2151908737","https://openalex.org/W2154166545","https://openalex.org/W2158937425","https://openalex.org/W2163866595","https://openalex.org/W2167853057","https://openalex.org/W2175655382","https://openalex.org/W2404056264","https://openalex.org/W2604984276","https://openalex.org/W2612797815","https://openalex.org/W2741487684","https://openalex.org/W2810160031","https://openalex.org/W2899322793","https://openalex.org/W2899453148","https://openalex.org/W2901699691","https://openalex.org/W2953377882","https://openalex.org/W2985144581","https://openalex.org/W3016651193","https://openalex.org/W3040605954","https://openalex.org/W3098952310","https://openalex.org/W4297161157","https://openalex.org/W4300828955","https://openalex.org/W6605003669","https://openalex.org/W6630315745","https://openalex.org/W6638396678","https://openalex.org/W6652845300","https://openalex.org/W6691677574","https://openalex.org/W6713624133","https://openalex.org/W6737445167","https://openalex.org/W6756417701"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Signature-based":[0],"abduction":[1,26,59],"aims":[2],"at":[3],"building":[4],"hypotheses":[5],"over":[6],"a":[7,82,93],"specified":[8],"set":[9,86,94],"of":[10,25,87,95],"names,":[11],"the":[12,35,44,53,64],"signature,":[13],"that":[14],"explain":[15,48],"an":[16],"observation":[17],"relative":[18],"to":[19,47,80],"some":[20],"background":[21],"knowledge.":[22],"This":[23],"type":[24],"is":[27,78,90],"useful":[28],"for":[29,39,60],"tasks":[30],"such":[31],"as":[32],"diagnosis,":[33],"where":[34],"vocab-":[36],"ulary":[37],"used":[38],"observed":[40],"symptoms":[41],"differs":[42],"from":[43],"vocabulary":[45],"expected":[46],"those":[49],"symptoms.":[50],"We":[51],"present":[52],"first":[54],"complete":[55,85],"method":[56,77],"solving":[57],"signature-based":[58],"observations":[61],"expressed":[62],"in":[63],"expressive":[65],"description":[66],"logic":[67],"ALC,":[68],"which":[69],"can":[70],"include":[71],"TBox":[72],"and":[73,84,89],"ABox":[74],"axioms.":[75],"The":[76],"guaranteed":[79],"compute":[81],"finite":[83],"hypotheses,":[88],"evaluated":[91],"on":[92],"realistic":[96],"knowledge":[97],"bases.":[98]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":6}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2020-09-01T00:00:00"}