{"id":"https://openalex.org/W4385818417","doi":"https://doi.org/10.1504/ijwet.2023.132875","title":"Complex quantified formulas in SPARQL 1.1: formalisation, translation, and partial verbalisation","display_name":"Complex quantified formulas in SPARQL 1.1: formalisation, translation, and partial verbalisation","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4385818417","doi":"https://doi.org/10.1504/ijwet.2023.132875"},"language":"en","primary_location":{"id":"doi:10.1504/ijwet.2023.132875","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijwet.2023.132875","pdf_url":null,"source":{"id":"https://openalex.org/S86586338","display_name":"International Journal of Web Engineering and Technology","issn_l":"1476-1289","issn":["1476-1289","1741-9212"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Web Engineering and Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039919297","display_name":"Anastasia Analyti","orcid":"https://orcid.org/0000-0002-6563-1896"},"institutions":[{"id":"https://openalex.org/I4210121775","display_name":"FORTH Institute of Computer Science","ror":"https://ror.org/02tf48g55","country_code":"GR","type":"facility","lineage":["https://openalex.org/I4210121775","https://openalex.org/I8901234"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Anastasia Analyti","raw_affiliation_strings":["Institute of Computer Science, FORTH-ICS, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, FORTH-ICS, Greece","institution_ids":["https://openalex.org/I4210121775"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5039919297"],"corresponding_institution_ids":["https://openalex.org/I4210121775"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09596541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"2","first_page":"84","last_page":"103"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.979200005531311,"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.979200005531311,"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.7935152053833008},{"id":"https://openalex.org/keywords/sparql","display_name":"SPARQL","score":0.6996681690216064},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5414124131202698},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.388912171125412},{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.19546657800674438},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.1849442720413208},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.09194141626358032}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7935152053833008},{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.6996681690216064},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5414124131202698},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.388912171125412},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.19546657800674438},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.1849442720413208},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.09194141626358032},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijwet.2023.132875","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijwet.2023.132875","pdf_url":null,"source":{"id":"https://openalex.org/S86586338","display_name":"International Journal of Web Engineering and Technology","issn_l":"1476-1289","issn":["1476-1289","1741-9212"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Web Engineering and Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2038821533","https://openalex.org/W2295889387","https://openalex.org/W76044956","https://openalex.org/W129667569","https://openalex.org/W3142934089","https://openalex.org/W2528665947","https://openalex.org/W2764264137","https://openalex.org/W4297737180","https://openalex.org/W2226235235"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,57,62,120],"propose":[4],"quantified":[5,83],"SPARQL":[6,42],"1.1":[7,43],"filter":[8,13,35,44,70,79,104,124],"expressions,":[9,125],"called":[10],"also":[11,32,89],"q-SPARQL":[12,65,69,78,123],"expressions":[14,36,45,80,105],"for":[15],"short,":[16],"based":[17],"on":[18],"a":[19,38,49],"specific":[20],"grammar":[21],"that":[22],"uses":[23],"not":[24],"only":[25],"EXISTS":[26,29,103],"and":[27,84],"NOT":[28,102],"keywords":[30],"but":[31],"FORALL-IMPLIES.":[33],"These":[34],"is":[37,111],"syntactic":[39],"sugar":[40],"to":[41,51],"since":[46],"they":[47],"have":[48],"translation":[50],"them.":[52],"However":[53],"through":[54],"various":[55],"examples,":[56],"demonstrate":[58],"their":[59,128],"user-friendliness.":[60],"Additionally,":[61],"formally":[63],"define":[64],"queries":[66],"which":[67,75,85],"use":[68],"expressions.":[71],"We":[72,88,98],"further":[73],"analyse":[74],"variables":[76,95],"of":[77,116],"are":[81,86],"universally":[82],"existential.":[87],"indicate":[90],"the":[91,117,131],"places":[92],"where":[93],"these":[94],"can":[96],"appear.":[97],"translate":[99],"two":[100],"nested":[101],"into":[106],"FORALL-IMPLIES":[107],"form,":[108],"when":[109],"it":[110],"possible,":[112],"improving":[113],"user":[114],"friendliness":[115],"query.":[118],"Finally,":[119],"partially":[121],"verbalise":[122],"making":[126],"easier":[127],"understanding":[129],"from":[130],"user.":[132]},"counts_by_year":[],"updated_date":"2025-12-19T19:40:27.379048","created_date":"2025-10-10T00:00:00"}