{"id":"https://openalex.org/W2531470661","doi":"https://doi.org/10.1145/2933575.2935306","title":"Querying Visible and Invisible Information","display_name":"Querying Visible and Invisible Information","publication_year":2016,"publication_date":"2016-07-05","ids":{"openalex":"https://openalex.org/W2531470661","doi":"https://doi.org/10.1145/2933575.2935306","mag":"2531470661"},"language":"en","primary_location":{"id":"doi:10.1145/2933575.2935306","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2933575.2935306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11390/1174096","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037774973","display_name":"Michael Benedikt","orcid":"https://orcid.org/0000-0003-2964-0880"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Benedikt","raw_affiliation_strings":["","Computing Science Laboratory - Oxford University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Computing Science Laboratory - Oxford University","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078941176","display_name":"Pierre Bourhis","orcid":"https://orcid.org/0000-0001-5699-0320"},"institutions":[{"id":"https://openalex.org/I4210101253","display_name":"Dynamic Imaging (United Kingdom)","ror":"https://ror.org/016xf4y16","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210101253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Pierre Bourhis","raw_affiliation_strings":["","Linking Dynamic Data"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Linking Dynamic Data","institution_ids":["https://openalex.org/I4210101253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080220262","display_name":"Balder ten Cate","orcid":"https://orcid.org/0000-0002-2538-5846"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Balder ten Cate","raw_affiliation_strings":["","University of California [Santa Cruz]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"University of California [Santa Cruz]","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105824253","display_name":"Gabriele Puppis","orcid":"https://orcid.org/0000-0001-9831-3264"},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gabriele Puppis","raw_affiliation_strings":["","Laboratoire Bordelais de Recherche en Informatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"","institution_ids":[]},{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique","institution_ids":["https://openalex.org/I4210142254"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"297","last_page":"306"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9990000128746033,"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.9990000128746033,"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.9976000189781189,"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.9940999746322632,"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/falsity","display_name":"Falsity","score":0.792281448841095},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.769921600818634},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.732934296131134},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.727475643157959},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.5405101180076599},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.44738155603408813},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.42643940448760986},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3691680431365967},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28551143407821655},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13610133528709412},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.08703669905662537}],"concepts":[{"id":"https://openalex.org/C2777685122","wikidata":"https://www.wikidata.org/wiki/Q170028","display_name":"Falsity","level":2,"score":0.792281448841095},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.769921600818634},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.732934296131134},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.727475643157959},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.5405101180076599},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.44738155603408813},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.42643940448760986},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3691680431365967},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28551143407821655},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13610133528709412},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.08703669905662537},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2933575.2935306","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2933575.2935306","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01411118v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01411118","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":"LICS 2016 - 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York City, United States. pp.297-306 ⟨10.1145/2933575.2935306⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:air.uniud.it:11390/1174096","is_oa":true,"landing_page_url":"http://hdl.handle.net/11390/1174096","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:lilloa.univ-lille.fr:20.500.12210/24493","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12210/24493","pdf_url":null,"source":{"id":"https://openalex.org/S4306402203","display_name":"LillOA (Universit\u00e9 de Lille (University Of Lille))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210123514","host_organization_name":"Centre d'Etudes en Civilisations, Langues et Litt\u00e9ratures Etrang\u00e8res","host_organization_lineage":["https://openalex.org/I4210123514"],"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":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:air.uniud.it:11390/1174096","is_oa":true,"landing_page_url":"http://hdl.handle.net/11390/1174096","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2156944202","display_name":null,"funder_award_id":"EP/M005852/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3196088967","display_name":null,"funder_award_id":"EP/M005852/1,EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3207713938","display_name":"Aggregation Queries","funder_award_id":"ANR-14-CE25-0017","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3958398022","display_name":"DBOnto: Bridging Databases and Ontologies","funder_award_id":"EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6199875308","display_name":"PDQ: Proof-driven Query Planning","funder_award_id":"EP/M005852/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6988580151","display_name":null,"funder_award_id":"EP/H017690/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7429578012","display_name":null,"funder_award_id":"EP/M005852/1 and EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8238292487","display_name":null,"funder_award_id":"14-CE25","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8521439554","display_name":null,"funder_award_id":"EP/L012138/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W300076026","https://openalex.org/W1508622259","https://openalex.org/W1551807230","https://openalex.org/W1558832481","https://openalex.org/W1566071135","https://openalex.org/W1589124617","https://openalex.org/W1824207140","https://openalex.org/W1854293932","https://openalex.org/W1968968780","https://openalex.org/W2005032394","https://openalex.org/W2050480346","https://openalex.org/W2057069578","https://openalex.org/W2073845305","https://openalex.org/W2085489403","https://openalex.org/W2087154854","https://openalex.org/W2103738827","https://openalex.org/W2123817118","https://openalex.org/W2140859480","https://openalex.org/W2160983447","https://openalex.org/W2168402580","https://openalex.org/W2223602757","https://openalex.org/W2283238855","https://openalex.org/W2403479679","https://openalex.org/W2799061192","https://openalex.org/W2914576081","https://openalex.org/W3023186102","https://openalex.org/W4206031975","https://openalex.org/W6633513001","https://openalex.org/W6633647713","https://openalex.org/W6696049007","https://openalex.org/W6750047965"],"related_works":["https://openalex.org/W2154861596","https://openalex.org/W1967783975","https://openalex.org/W3036866103","https://openalex.org/W4256102004","https://openalex.org/W3095738906","https://openalex.org/W304347063","https://openalex.org/W217482537","https://openalex.org/W99555467","https://openalex.org/W4206538313","https://openalex.org/W2103953657"],"abstract_inverted_index":{"We":[0,34,54,77,94],"provide":[1],"a":[2,9,61],"wide-ranging":[3],"study":[4],"of":[5,11,99,127,136],"the":[6,12,15,29,47,51,71,75,88,96,100,104,107,115,128,137],"scenario":[7],"where":[8,102,118],"subset":[10],"relations":[13,31,49],"in":[14,133],"schema":[16],"are":[17,25,32,110],"visible":[18,48,72,108],"---":[19,27],"that":[20,85],"is,":[21,86],"their":[22],"complete":[23],"contents":[24],"known":[26],"while":[28],"remaining":[30],"invisible.":[33],"also":[35],"have":[36],"integrity":[37],"constraints":[38],"(invariants":[39],"given":[40],"by":[41],"logical":[42],"sentences)":[43],"which":[44,58],"may":[45],"relate":[46],"to":[50,56,121],"invisible":[52],"ones.":[53],"want":[55,120],"determine":[57],"information":[59],"about":[60],"query":[62,83,89,105,129],"(a":[63],"positive":[64,80],"existential":[65],"sentence)":[66],"can":[67,130],"be":[68,131],"inferred":[69,132],"from":[70],"instance":[73,109,135],"and":[74,81,106],"constraints.":[76],"consider":[78,95],"both":[79,103],"negative":[82],"information,":[84],"whether":[87,123],"or":[90,125],"its":[91],"negation":[92],"holds.":[93],"instance-level":[97],"version":[98],"problem,":[101],"given,":[111],"as":[112,114],"well":[113],"schema-level":[116],"version,":[117],"we":[119],"know":[122],"truth":[124],"falsity":[126],"some":[134],"schema.":[138]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-10-21T00:00:00"}