{"id":"https://openalex.org/W2913902791","doi":"https://doi.org/10.22152/programming-journal.org/2019/3/13","title":"Semantic Query Integration With Reason","display_name":"Semantic Query Integration With Reason","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2913902791","doi":"https://doi.org/10.22152/programming-journal.org/2019/3/13","mag":"2913902791"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2019/3/13","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2019/3/13","pdf_url":"https://arxiv.org/pdf/1902.00545v2","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/1902.00545v2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Philipp Seifer","orcid":null},"institutions":[{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":null,"type":"education","lineage":["https://openalex.org/I4387153937"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Philipp Seifer","raw_affiliation_strings":["University of Koblenz-Landau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Koblenz-Landau, Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I4387153937"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Martin Leinberger","orcid":null},"institutions":[{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":null,"type":"education","lineage":["https://openalex.org/I4387153937"]},{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Leinberger","raw_affiliation_strings":["University of Koblenz-Landau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Koblenz-Landau, Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I4387153937"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ralf L\u00e4mmel","orcid":null},"institutions":[{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]},{"id":"https://openalex.org/I4387153937","display_name":"Universit\u00e4t Koblenz","ror":"https://ror.org/0433e6t24","country_code":null,"type":"education","lineage":["https://openalex.org/I4387153937"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ralf L\u00e4mmel","raw_affiliation_strings":["University of Koblenz-Landau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Koblenz-Landau, Germany","institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I4387153937"]}]},{"author_position":"last","author":{"id":null,"display_name":"Steffen Staab","orcid":null},"institutions":[{"id":"https://openalex.org/I2802076133","display_name":"University of Koblenz and Landau","ror":"https://ror.org/01j9f6752","country_code":"DE","type":"education","lineage":["https://openalex.org/I2802076133"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen Staab","raw_affiliation_strings":["University of Koblenz-Landau and University of Southampton, Germany"],"affiliations":[{"raw_affiliation_string":"University of Koblenz-Landau and University of Southampton, Germany","institution_ids":["https://openalex.org/I2802076133"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I2802076133","https://openalex.org/I4387153937"],"apc_list":null,"apc_paid":null,"fwci":0.578,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74640408,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"3","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.382999986410141,"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.382999986410141,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.26570001244544983,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11986","display_name":"Scientific Computing and Data Management","score":0.08129999786615372,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.5292999744415283},{"id":"https://openalex.org/keywords/semantic-data-model","display_name":"Semantic data model","score":0.5047000050544739},{"id":"https://openalex.org/keywords/scala","display_name":"Scala","score":0.4672999978065491},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.4544000029563904},{"id":"https://openalex.org/keywords/query-language","display_name":"Query language","score":0.44130000472068787},{"id":"https://openalex.org/keywords/data-manipulation-language","display_name":"Data manipulation language","score":0.4348999857902527},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.40610000491142273},{"id":"https://openalex.org/keywords/linked-data","display_name":"Linked data","score":0.39570000767707825},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.382099986076355},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.3732999861240387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8411999940872192},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5741999745368958},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.5292999744415283},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.5047000050544739},{"id":"https://openalex.org/C109701466","wikidata":"https://www.wikidata.org/wiki/Q460584","display_name":"Scala","level":3,"score":0.4672999978065491},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.4544000029563904},{"id":"https://openalex.org/C192028432","wikidata":"https://www.wikidata.org/wiki/Q845739","display_name":"Query language","level":2,"score":0.44130000472068787},{"id":"https://openalex.org/C56288433","wikidata":"https://www.wikidata.org/wiki/Q58673","display_name":"Data manipulation language","level":2,"score":0.4348999857902527},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.40610000491142273},{"id":"https://openalex.org/C69075417","wikidata":"https://www.wikidata.org/wiki/Q515701","display_name":"Linked data","level":3,"score":0.39570000767707825},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.3732999861240387},{"id":"https://openalex.org/C72634772","wikidata":"https://www.wikidata.org/wiki/Q386824","display_name":"Data integration","level":2,"score":0.373199999332428},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.3610000014305115},{"id":"https://openalex.org/C71695816","wikidata":"https://www.wikidata.org/wiki/Q3478367","display_name":"Semantic Web Rule Language","level":5,"score":0.35740000009536743},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.352400004863739},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.3431999981403351},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C196621874","wikidata":"https://www.wikidata.org/wiki/Q385210","display_name":"IDEF1X","level":4,"score":0.30059999227523804},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2915000021457672},{"id":"https://openalex.org/C137314826","wikidata":"https://www.wikidata.org/wiki/Q2330408","display_name":"Data mapping","level":2,"score":0.28780001401901245},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.28630000352859497},{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.28600001335144043},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C100463513","wikidata":"https://www.wikidata.org/wiki/Q5227322","display_name":"Data model (GIS)","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2806999981403351},{"id":"https://openalex.org/C6881194","wikidata":"https://www.wikidata.org/wiki/Q7449091","display_name":"Semantic technology","level":4,"score":0.2800000011920929},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.2736000120639801},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C2778816267","wikidata":"https://www.wikidata.org/wiki/Q21015578","display_name":"Semantic query","level":4,"score":0.2678999900817871},{"id":"https://openalex.org/C2987255567","wikidata":"https://www.wikidata.org/wiki/Q33002955","display_name":"Knowledge graph","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2565000057220459},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2019/3/13","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2019/3/13","pdf_url":"https://arxiv.org/pdf/1902.00545v2","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:eprints.soton.ac.uk:427637","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:arXiv.org:1902.00545","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1902.00545","pdf_url":"https://arxiv.org/pdf/1902.00545","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":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2019/3/13","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2019/3/13","pdf_url":"https://arxiv.org/pdf/1902.00545v2","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5373680259","display_name":null,"funder_award_id":"LA 2672/1-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6052429835","display_name":null,"funder_award_id":"(DFG)","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"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/W2913902791.pdf","grobid_xml":"https://content.openalex.org/works/W2913902791.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W829250722","https://openalex.org/W1511185067","https://openalex.org/W1552311028","https://openalex.org/W1582703274","https://openalex.org/W1601038846","https://openalex.org/W1742825975","https://openalex.org/W1966814918","https://openalex.org/W1978871081","https://openalex.org/W1989009626","https://openalex.org/W1990890881","https://openalex.org/W2026849383","https://openalex.org/W2033229728","https://openalex.org/W2040581748","https://openalex.org/W2053554289","https://openalex.org/W2064829248","https://openalex.org/W2070821087","https://openalex.org/W2080133951","https://openalex.org/W2088675571","https://openalex.org/W2101491706","https://openalex.org/W2106355420","https://openalex.org/W2124117537","https://openalex.org/W2130468043","https://openalex.org/W2136803152","https://openalex.org/W2147778310","https://openalex.org/W2151232706","https://openalex.org/W2159078835","https://openalex.org/W2170486607","https://openalex.org/W2170843621","https://openalex.org/W2191031914","https://openalex.org/W2289066165","https://openalex.org/W2296064069","https://openalex.org/W2495956853","https://openalex.org/W2596769705","https://openalex.org/W3161549246","https://openalex.org/W4205962651","https://openalex.org/W4240226860","https://openalex.org/W4244584261","https://openalex.org/W4244794541","https://openalex.org/W4246688440"],"related_works":[],"abstract_inverted_index":{"Graph-based":[0],"data":[1,6,11,45,53,79,105],"models":[2],"allow":[3],"for":[4,60],"flexible":[5],"representation.":[7],"In":[8,49,68,115],"particular,":[9],"semantic":[10,44,78],"based":[12],"on":[13],"RDF":[14],"and":[15,47,102],"OWL":[16,57],"fuels":[17],"use":[18],"cases":[19],"ranging":[20],"from":[21],"general":[22],"knowledge":[23,28],"graphs":[24],"to":[25,138],"domain":[26],"specific":[27],"in":[29,145,153],"various":[30],"technological":[31],"or":[32],"scientific":[33],"domains.":[34],"The":[35],"flexibility":[36],"of":[37,77,89,96,110,122,147,156],"such":[38,64],"approaches,":[39],"however,":[40],"makes":[41],"programming":[42,100,129],"with":[43],"tedious":[46],"error-prone.":[48],"particular":[50],"the":[51,86,92,111,123,127,154],"logics-based":[52],"descriptions":[54],"employed":[55],"by":[56,125],"are":[58],"problematic":[59],"existing":[61],"error-detecting":[62],"techniques,":[63],"as":[65],"type":[66,93],"systems.":[67],"this":[69],"paper,":[70],"we":[71,117],"present":[72],"DOTSpa,":[73],"an":[74,108],"advanced":[75],"integration":[76],"into":[80,91],"programming.":[81],"We":[82,131],"embed":[83],"description":[84],"logics,":[85],"logical":[87],"foundations":[88],"OWL,":[90],"checking":[94],"process":[95],"a":[97,119,142],"statically":[98],"typed":[99,104],"language":[101,113],"provide":[103],"access":[106],"through":[107],"embedding":[109],"query":[112],"SPARQL.":[114],"addition,":[116],"demonstrate":[118],"concrete":[120],"implementation":[121],"approach,":[124],"extending":[126],"Scala":[128],"language.":[130],"qualitatively":[132],"compare":[133],"programs":[134,140],"using":[135,141],"our":[136],"approach":[137],"equivalent":[139],"state-of-the-art":[143],"library,":[144],"terms":[146],"how":[148],"both":[149],"frameworks":[150],"aid":[151],"users":[152],"handling":[155],"typical":[157],"failure":[158],"scenarios.":[159]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2019-02-21T00:00:00"}