{"id":"https://openalex.org/W2626951892","doi":"https://doi.org/10.1080/24751839.2017.1295664","title":"Query\u2013subquery nets for Horn knowledge bases in first-order logic","display_name":"Query\u2013subquery nets for Horn knowledge bases in first-order logic","publication_year":2017,"publication_date":"2017-01-02","ids":{"openalex":"https://openalex.org/W2626951892","doi":"https://doi.org/10.1080/24751839.2017.1295664","mag":"2626951892"},"language":"en","primary_location":{"id":"doi:10.1080/24751839.2017.1295664","is_oa":true,"landing_page_url":"https://doi.org/10.1080/24751839.2017.1295664","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/24751839.2017.1295664?needAccess=true","source":{"id":"https://openalex.org/S4210226961","display_name":"Journal of Information and Telecommunication","issn_l":"2475-1839","issn":["2475-1839","2475-1847"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Information and Telecommunication","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.tandfonline.com/doi/pdf/10.1080/24751839.2017.1295664?needAccess=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017165753","display_name":"Son Thanh Cao","orcid":"https://orcid.org/0000-0002-4771-7856"},"institutions":[{"id":"https://openalex.org/I1315456113","display_name":"Vinh University","ror":"https://ror.org/0244cgm12","country_code":"VN","type":"education","lineage":["https://openalex.org/I1315456113"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Son Thanh Cao","raw_affiliation_strings":["Faculty of Information Technology, Vinh University, Vinh, Nghe An, Vietnam"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Vinh University, Vinh, Nghe An, Vietnam","institution_ids":["https://openalex.org/I1315456113"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055424683","display_name":"Linh Anh Nguyen","orcid":"https://orcid.org/0000-0002-8109-0567"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]},{"id":"https://openalex.org/I141445968","display_name":"Ton Duc Thang University","ror":"https://ror.org/01drq0835","country_code":"VN","type":"education","lineage":["https://openalex.org/I141445968"]}],"countries":["PL","VN"],"is_corresponding":true,"raw_author_name":"Linh Anh Nguyen","raw_affiliation_strings":["Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam","Institute of Informatics, University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam","institution_ids":["https://openalex.org/I141445968"]},{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5055424683"],"corresponding_institution_ids":["https://openalex.org/I141445968","https://openalex.org/I4654613"],"apc_list":{"value":925,"currency":"GBP","value_usd":1134},"apc_paid":{"value":925,"currency":"GBP","value_usd":1134},"fwci":0.9751,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.81677666,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"1","issue":"1","first_page":"79","last_page":"99"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9965999722480774,"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/tuple","display_name":"Tuple","score":0.8686577081680298},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7527397871017456},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5946682691574097},{"id":"https://openalex.org/keywords/french-horn","display_name":"French horn","score":0.5635843873023987},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5328999161720276},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.521697461605072},{"id":"https://openalex.org/keywords/query-optimization","display_name":"Query optimization","score":0.4903240501880646},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.4362662136554718},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43483391404151917},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.42539167404174805},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4127506613731384},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4019823670387268},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3368579149246216},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.26047801971435547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2028607726097107},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18784555792808533},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.10283368825912476}],"concepts":[{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.8686577081680298},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7527397871017456},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5946682691574097},{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.5635843873023987},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5328999161720276},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.521697461605072},{"id":"https://openalex.org/C157692150","wikidata":"https://www.wikidata.org/wiki/Q2919848","display_name":"Query optimization","level":2,"score":0.4903240501880646},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4362662136554718},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43483391404151917},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.42539167404174805},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4127506613731384},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4019823670387268},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3368579149246216},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.26047801971435547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2028607726097107},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18784555792808533},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.10283368825912476},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/24751839.2017.1295664","is_oa":true,"landing_page_url":"https://doi.org/10.1080/24751839.2017.1295664","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/24751839.2017.1295664?needAccess=true","source":{"id":"https://openalex.org/S4210226961","display_name":"Journal of Information and Telecommunication","issn_l":"2475-1839","issn":["2475-1839","2475-1847"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Information and Telecommunication","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1080/24751839.2017.1295664","is_oa":true,"landing_page_url":"https://doi.org/10.1080/24751839.2017.1295664","pdf_url":"https://www.tandfonline.com/doi/pdf/10.1080/24751839.2017.1295664?needAccess=true","source":{"id":"https://openalex.org/S4210226961","display_name":"Journal of Information and Telecommunication","issn_l":"2475-1839","issn":["2475-1839","2475-1847"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Information and Telecommunication","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.44999998807907104,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2626951892.pdf","grobid_xml":"https://content.openalex.org/works/W2626951892.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W31561947","https://openalex.org/W1558832481","https://openalex.org/W1570025952","https://openalex.org/W1971962972","https://openalex.org/W1978108034","https://openalex.org/W2036240164","https://openalex.org/W2042416159","https://openalex.org/W2044701300","https://openalex.org/W2081543021","https://openalex.org/W2100264125","https://openalex.org/W2115303419","https://openalex.org/W2128410420","https://openalex.org/W2164475654","https://openalex.org/W4206031975","https://openalex.org/W4206370914"],"related_works":["https://openalex.org/W2001027846","https://openalex.org/W2086035554","https://openalex.org/W2022937548","https://openalex.org/W1999702466","https://openalex.org/W2388232299","https://openalex.org/W4367190606","https://openalex.org/W1607887046","https://openalex.org/W4232524643","https://openalex.org/W2327931696","https://openalex.org/W1514277208"],"abstract_inverted_index":{"We":[0],"formulate":[1],"query\u2013subquery":[2],"nets":[3],"and":[4,36,50,79,102,135,137,155],"use":[5,103],"them":[6],"to":[7,18,60,85,105],"create":[8],"the":[9,23,26,81,86,144,153],"first":[10],"framework":[11,124],"for":[12,15],"developing":[13],"algorithms":[14],"evaluating":[16],"queries":[17],"Horn":[19],"knowledge":[20],"bases":[21],"with":[22],"properties":[24],"that:":[25],"approach":[27],"is":[28,32,42,59,133,147],"goal-directed;":[29],"each":[30,37,117],"subquery":[31],"processed":[33],"only":[34,44],"once":[35],"supplement":[38],"tuple,":[39],"if":[40],"desired,":[41],"transferred":[43],"once;":[45],"operations":[46],"are":[47],"done":[48],"set-at-a-time;":[49],"any":[51],"control":[52,77],"strategy":[53],"can":[54],"be":[55,114],"used.":[56],"Our":[57],"intention":[58],"increase":[61],"efficiency":[62,154],"of":[63,83,109,157],"query":[64],"processing":[65],"by":[66],"eliminating":[67],"redundant":[68],"computation,":[69],"increasing":[70],"adjustability":[71],"(i.e.":[72],"easiness":[73],"in":[74,119],"adopting":[75],"advanced":[76],"strategies)":[78],"reducing":[80],"number":[82],"accesses":[84],"secondary":[87],"storage.":[88],"For":[89],"this":[90,158],"purpose,":[91],"we":[92],"transform":[93],"a":[94,126],"logic":[95],"program":[96],"into":[97],"an":[98,120],"equivalent":[99],"net":[100],"structure":[101],"it":[104],"determine":[106],"which":[107,132],"set":[108],"tuples":[110],"or":[111],"subqueries":[112],"should":[113],"evaluated":[115],"at":[116],"step,":[118],"efficient":[121],"way.":[122],"The":[123,149],"forms":[125],"generic":[127],"evaluation":[128],"method":[129],"called":[130],"QSQN,":[131],"sound":[134],"complete":[136],"has":[138],"polynomial":[139],"time":[140],"data":[141],"complexity":[142],"when":[143],"term-depth":[145],"bound":[146],"fixed.":[148],"experimental":[150],"results":[151],"confirm":[152],"usefulness":[156],"method.":[159]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}