{"id":"https://openalex.org/W3080937756","doi":"https://doi.org/10.24963/kr.2020/25","title":"Non-Monotonic Ontology-based Abstractions of Data Services","display_name":"Non-Monotonic Ontology-based Abstractions of Data Services","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3080937756","doi":"https://doi.org/10.24963/kr.2020/25","mag":"3080937756"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/25","pdf_url":"https://proceedings.kr.org/2020/25/kr2020-0025-cima-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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/25/kr2020-0025-cima-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024682936","display_name":"Gianluca Cima","orcid":"https://orcid.org/0000-0003-1783-5605"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Gianluca Cima","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055401331","display_name":"Maurizio Lenzerini","orcid":"https://orcid.org/0000-0003-2875-6187"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurizio Lenzerini","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082399973","display_name":"Antonella Poggi","orcid":"https://orcid.org/0000-0002-4030-3458"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonella Poggi","raw_affiliation_strings":["Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024682936"],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":null,"apc_paid":null,"fwci":0.816,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7928721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"243","last_page":"252"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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.9997000098228455,"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.9976999759674072,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8673197031021118},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.762104868888855},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6580830216407776},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5518395304679871},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5056333541870117},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4483635425567627},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.43234798312187195},{"id":"https://openalex.org/keywords/data-access","display_name":"Data access","score":0.412047415971756},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3476543426513672},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31657952070236206},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08025911450386047}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8673197031021118},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.762104868888855},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6580830216407776},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5518395304679871},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5056333541870117},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4483635425567627},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.43234798312187195},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.412047415971756},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3476543426513672},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31657952070236206},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08025911450386047},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/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/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/25","pdf_url":"https://proceedings.kr.org/2020/25/kr2020-0025-cima-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:iris.uniroma1.it:11573/1457971","is_oa":true,"landing_page_url":"http://hdl.handle.net/11573/1457971","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/25","pdf_url":"https://proceedings.kr.org/2020/25/kr2020-0025-cima-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/G7447735895","display_name":null,"funder_award_id":"RBSI14TQHQ","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"}],"funders":[{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3080937756.pdf","grobid_xml":"https://content.openalex.org/works/W3080937756.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W122027062","https://openalex.org/W321415925","https://openalex.org/W1482134990","https://openalex.org/W1488325354","https://openalex.org/W1489485653","https://openalex.org/W1555563750","https://openalex.org/W1558832481","https://openalex.org/W1683212044","https://openalex.org/W1824207140","https://openalex.org/W1855691010","https://openalex.org/W1870305865","https://openalex.org/W1970000427","https://openalex.org/W1992673035","https://openalex.org/W2021693981","https://openalex.org/W2102729564","https://openalex.org/W2137862151","https://openalex.org/W2154293623","https://openalex.org/W2576018535","https://openalex.org/W2618930547","https://openalex.org/W2752197104","https://openalex.org/W2811446355","https://openalex.org/W2826955697","https://openalex.org/W2838709227","https://openalex.org/W2899483539","https://openalex.org/W2965856957","https://openalex.org/W3146347964","https://openalex.org/W4206031975","https://openalex.org/W4287594799","https://openalex.org/W4300491490","https://openalex.org/W6604884840","https://openalex.org/W6629037440","https://openalex.org/W6629040674","https://openalex.org/W6633513001","https://openalex.org/W6637232493","https://openalex.org/W6639274278","https://openalex.org/W6675529698","https://openalex.org/W6753082791","https://openalex.org/W6753115406","https://openalex.org/W7015712883"],"related_works":["https://openalex.org/W2077314575","https://openalex.org/W4315701745","https://openalex.org/W1990290471","https://openalex.org/W4380682190","https://openalex.org/W2005710836","https://openalex.org/W2102386043","https://openalex.org/W2945307361","https://openalex.org/W2116636209","https://openalex.org/W2053698688","https://openalex.org/W2003031781"],"abstract_inverted_index":{"In":[0,130],"Ontology-Based":[1],"Data":[2],"Access":[3],"(OBDA),":[4],"a":[5,77,138,145,150,216,221],"domain":[6,32,107],"ontology":[7],"is":[8,176,235],"linked":[9],"to":[10,19,177,181,196],"the":[11,26,31,38,42,47,55,62,66,72,81,94,99,106,128,135,168,182,189,193,198,202,231],"data":[12,24,43,88,171,218],"sources":[13,100],"of":[14,30,33,41,50,64,68,83,87,96,103,121,123,137,153,170,184,192,201,233],"an":[15],"organization":[16],"in":[17,52,54,101,119,166,245],"order":[18],"query,":[20],"integrate":[21],"and":[22,28,158,237],"manage":[23],"through":[25],"concepts":[27],"relations":[29],"interest,":[34],"thus":[35],"abstracting":[36],"from":[37],"technical":[39],"details":[40],"layer":[44],"implementation.":[45],"While":[46],"great":[48],"majority":[49],"contributions":[51],"OBDA":[53,203],"last":[56],"decade":[57],"have":[58],"been":[59],"concerned":[60],"with":[61,155],"issue":[63],"computing":[65,242],"answers":[67],"queries":[69,97,104,125],"expressed":[70],"over":[71,98,105,127],"ontology,":[73],"recent":[74],"papers":[75],"address":[76],"different":[78],"problem,":[79],"namely":[80],"one":[82],"providing":[84],"suitable":[85],"abstractions":[86,118,213,234,244],"services,":[89],"i.e.,":[90],"characterizing":[91,167],"or":[92],"explaining":[93],"semantics":[95,169],"terms":[102,120],"ontology.":[108,129],"Current":[109],"works":[110],"on":[111,116,188],"this":[112,131,142],"subject":[113],"are":[114,206],"based":[115],"expressing":[117],"unions":[122],"conjunctive":[124],"(UCQs)":[126],"paper":[132],"we":[133,148,224,238],"advocate":[134],"use":[136],"non-monotonic":[139,156],"language":[140],"for":[141,215,241],"task.":[143],"As":[144,220],"first":[146],"contribution,":[147,223],"present":[149,239],"simple":[151],"extension":[152],"UCQs":[154],"features,":[157],"show":[159],"that":[160],"non-monotonicity":[161],"provides":[162],"more":[163],"expressive":[164,190],"power":[165,191],"services.":[172],"A":[173],"second":[174],"contribution":[175],"prove":[178],"that,":[179],"similarly":[180],"case":[183],"monotonic":[185],"abstractions,":[186],"depending":[187],"languages":[194],"used":[195],"specify":[197],"various":[199],"components":[200],"system,":[204],"there":[205],"cases":[207,229],"where":[208,230],"neither":[209],"perfect":[210],"nor":[211],"approximated":[212],"exist":[214],"given":[217],"service.":[219],"third":[222],"single":[225],"out":[226],"interesting":[227],"special":[228],"existence":[232],"guaranteed,":[236],"algorithms":[240],"such":[243],"these":[246],"cases.":[247]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-05-12T08:28:47.272897","created_date":"2025-10-10T00:00:00"}