{"id":"https://openalex.org/W3038935076","doi":"https://doi.org/10.24963/kr.2020/52","title":"Logical Separability of Incomplete Data under Ontologies","display_name":"Logical Separability of Incomplete Data under Ontologies","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3038935076","doi":"https://doi.org/10.24963/kr.2020/52","mag":"3038935076"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/52","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/52","pdf_url":"https://proceedings.kr.org/2020/52/kr2020-0052-jung-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/52/kr2020-0052-jung-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004455641","display_name":"Jean Christoph Jung","orcid":"https://orcid.org/0000-0002-4159-2255"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jean Christoph Jung","raw_affiliation_strings":["University of Bremen","University of Bremen > >"],"affiliations":[{"raw_affiliation_string":"University of Bremen","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"University of Bremen > >","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034616829","display_name":"Carsten Lutz","orcid":"https://orcid.org/0000-0002-8791-6702"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Carsten Lutz","raw_affiliation_strings":["University of Bremen","University of Bremen > >"],"affiliations":[{"raw_affiliation_string":"University of Bremen","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"University of Bremen > >","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078985256","display_name":"Hadrien Pulcini","orcid":null},"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":"Hadrien Pulcini","raw_affiliation_strings":["University of Liverpool","university of liverpool"],"affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"university of liverpool","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","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":"Frank Wolter","raw_affiliation_strings":["University of Liverpool","university of liverpool"],"affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"university of liverpool","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5004455641"],"corresponding_institution_ids":["https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":0.6797,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76577477,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"517","last_page":"528"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980000257492065,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9961000084877014,"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/fragment","display_name":"Fragment (logic)","score":0.7721337080001831},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.6722736954689026},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6190019845962524},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5707795023918152},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5416001677513123},{"id":"https://openalex.org/keywords/ontology-language","display_name":"Ontology language","score":0.505751371383667},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46446627378463745},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4459470510482788},{"id":"https://openalex.org/keywords/ontology-engineering","display_name":"Ontology engineering","score":0.4373130202293396},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3485777974128723},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.33636361360549927},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3061748445034027},{"id":"https://openalex.org/keywords/process-ontology","display_name":"Process ontology","score":0.21210038661956787},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.186143159866333}],"concepts":[{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.7721337080001831},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6722736954689026},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6190019845962524},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5707795023918152},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5416001677513123},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.505751371383667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46446627378463745},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4459470510482788},{"id":"https://openalex.org/C2778820784","wikidata":"https://www.wikidata.org/wiki/Q1027508","display_name":"Ontology engineering","level":4,"score":0.4373130202293396},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3485777974128723},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33636361360549927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3061748445034027},{"id":"https://openalex.org/C137003198","wikidata":"https://www.wikidata.org/wiki/Q7247296","display_name":"Process ontology","level":3,"score":0.21210038661956787},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.186143159866333},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2020/52","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/52","pdf_url":"https://proceedings.kr.org/2020/52/kr2020-0052-jung-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":"mag:3038935076","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2007.01610.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"doi:10.24963/kr.2020/52","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/52","pdf_url":"https://proceedings.kr.org/2020/52/kr2020-0052-jung-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":[{"display_name":"Peace, Justice and strong institutions","score":0.6600000262260437,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G8624711644","display_name":"quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data","funder_award_id":"EP/S032207/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8841539657","display_name":null,"funder_award_id":"EP/S032207/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3038935076.pdf","grobid_xml":"https://content.openalex.org/works/W3038935076.grobid-xml"},"referenced_works_count":77,"referenced_works":["https://openalex.org/W36101191","https://openalex.org/W155661048","https://openalex.org/W1483388050","https://openalex.org/W1483655485","https://openalex.org/W1483892218","https://openalex.org/W1490430258","https://openalex.org/W1536607724","https://openalex.org/W1542417898","https://openalex.org/W1589916435","https://openalex.org/W1590257509","https://openalex.org/W1667574996","https://openalex.org/W1929404437","https://openalex.org/W1936956611","https://openalex.org/W1964193987","https://openalex.org/W1968968780","https://openalex.org/W1971378137","https://openalex.org/W1971428581","https://openalex.org/W1973082955","https://openalex.org/W1975885865","https://openalex.org/W1991981864","https://openalex.org/W1992639096","https://openalex.org/W1997817571","https://openalex.org/W2013167115","https://openalex.org/W2069455883","https://openalex.org/W2092428394","https://openalex.org/W2099239777","https://openalex.org/W2124580444","https://openalex.org/W2125447031","https://openalex.org/W2163231487","https://openalex.org/W2163866595","https://openalex.org/W2170936447","https://openalex.org/W2181502117","https://openalex.org/W2338508724","https://openalex.org/W2347545322","https://openalex.org/W2406653041","https://openalex.org/W2413876084","https://openalex.org/W2470728525","https://openalex.org/W2510506392","https://openalex.org/W2546719177","https://openalex.org/W2588117657","https://openalex.org/W2596674201","https://openalex.org/W2606293658","https://openalex.org/W2613994153","https://openalex.org/W2742945005","https://openalex.org/W2798632440","https://openalex.org/W2798866333","https://openalex.org/W2799061192","https://openalex.org/W2807895649","https://openalex.org/W2898639466","https://openalex.org/W2898936248","https://openalex.org/W2904180944","https://openalex.org/W2921354344","https://openalex.org/W2935254085","https://openalex.org/W2950379689","https://openalex.org/W2963120669","https://openalex.org/W2963131514","https://openalex.org/W2981043377","https://openalex.org/W2991308980","https://openalex.org/W2996508208","https://openalex.org/W2997240502","https://openalex.org/W2998389344","https://openalex.org/W3012562581","https://openalex.org/W3151800208","https://openalex.org/W6628846887","https://openalex.org/W6629462915","https://openalex.org/W6635396731","https://openalex.org/W6639177931","https://openalex.org/W6643626366","https://openalex.org/W6653525151","https://openalex.org/W6675235665","https://openalex.org/W6695404477","https://openalex.org/W6729425725","https://openalex.org/W6737221721","https://openalex.org/W6741921063","https://openalex.org/W6750047965","https://openalex.org/W6755785914","https://openalex.org/W7057139155"],"related_works":["https://openalex.org/W3081052466","https://openalex.org/W1850944545","https://openalex.org/W1699723010","https://openalex.org/W1481369728","https://openalex.org/W1822863177","https://openalex.org/W2143390572","https://openalex.org/W2731165214","https://openalex.org/W1530640326","https://openalex.org/W2054227097","https://openalex.org/W2067642555","https://openalex.org/W2963355213","https://openalex.org/W2809249895","https://openalex.org/W1591290710","https://openalex.org/W149597766","https://openalex.org/W1499193545","https://openalex.org/W2263601254","https://openalex.org/W1986069434","https://openalex.org/W2788012528","https://openalex.org/W2046889985","https://openalex.org/W2174235632"],"abstract_inverted_index":{"Finding":[0],"a":[1,43,119,138],"logical":[2],"formula":[3,45],"that":[4,91],"separates":[5],"positive":[6],"and":[7,31,60,69,81,99,130],"negative":[8,97],"examples":[9,98],"given":[10],"in":[11,20,49,93,100,118],"the":[12,40,50,57,61,74,78,82,94,106,123,127,132],"form":[13],"of":[14,28,42,52,89,96,108,126,135],"labeled":[15],"data":[16,48],"items":[17],"is":[18],"fundamental":[19],"applications":[21],"such":[22],"as":[23,137],"concept":[24],"learning,":[25],"reverse":[26],"engineering":[27],"database":[29],"queries,":[30],"generating":[32],"referring":[33],"expressions.":[34],"In":[35],"this":[36],"paper,":[37],"we":[38,64],"investigate":[39],"existence":[41],"separating":[44,124],"for":[46,56],"incomplete":[47],"presence":[51],"an":[53],"ontology.":[54],"Both":[55],"ontology":[58],"language":[59],"separation":[62],"language,":[63],"concentrate":[65],"on":[66],"first-order":[67],"logic":[68,76],"three":[70],"important":[71],"fragments":[72],"thereof:":[73],"description":[75],"ALCI,":[77],"guarded":[79],"fragment,":[80],"two-variable":[83],"fragment.":[84],"We":[85,115],"consider":[86],"several":[87],"forms":[88],"separability":[90,117,136],"differ":[92],"treatment":[95],"whether":[101],"or":[102],"not":[103],"they":[104],"admit":[105],"use":[107],"additional":[109],"helper":[110],"symbols":[111],"to":[112],"achieve":[113],"separation.":[114],"characterize":[116],"model-theoretic":[120],"way,":[121],"compare":[122],"power":[125],"different":[128],"languages,":[129],"determine":[131],"computational":[133],"complexity":[134],"decision":[139],"problem.":[140]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}