{"id":"https://openalex.org/W2045951621","doi":"https://doi.org/10.1109/is.2012.6335146","title":"Verification of clinical guidelines encoded into knowledge-based DSSs","display_name":"Verification of clinical guidelines encoded into knowledge-based DSSs","publication_year":2012,"publication_date":"2012-09-01","ids":{"openalex":"https://openalex.org/W2045951621","doi":"https://doi.org/10.1109/is.2012.6335146","mag":"2045951621"},"language":"en","primary_location":{"id":"doi:10.1109/is.2012.6335146","is_oa":false,"landing_page_url":"https://doi.org/10.1109/is.2012.6335146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 6th IEEE INTERNATIONAL CONFERENCE INTELLIGENT SYSTEMS","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.openaccessrepository.it/record/22096","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055163091","display_name":"Eugenio Cesario","orcid":"https://orcid.org/0000-0002-4987-0459"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Eugenio Cesario","raw_affiliation_strings":["Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086794713","display_name":"Massimo Esposito","orcid":"https://orcid.org/0000-0002-7196-7994"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Massimo Esposito","raw_affiliation_strings":["Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025157025","display_name":"Giuseppe De Pietro","orcid":"https://orcid.org/0000-0002-4675-5957"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe De Pietro","raw_affiliation_strings":["Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028177734","display_name":"Domenico Talia","orcid":"https://orcid.org/0000-0003-1910-9236"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Domenico Talia","raw_affiliation_strings":["Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council, Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"raw_affiliation_string":"Institute for High Performance Computing and Networking (ICAR), National Research Council of Italy (CNR), Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":null,"first_page":"264","last_page":"269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12664","display_name":"Clinical practice guidelines implementation","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/2739","display_name":"Public Health, Environmental and Occupational Health"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T12664","display_name":"Clinical practice guidelines implementation","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/2739","display_name":"Public Health, Environmental and Occupational Health"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10350","display_name":"Electronic Health Records Systems","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/3605","display_name":"Health Information Management"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6536098718643188},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.6449692249298096},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.5797573328018188},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.532317578792572},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4930553138256073},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.4337718188762665},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.41958338022232056},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3558844327926636},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33928248286247253},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.24339789152145386},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2423590123653412},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19320252537727356}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6536098718643188},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.6449692249298096},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.5797573328018188},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.532317578792572},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4930553138256073},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.4337718188762665},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41958338022232056},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3558844327926636},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33928248286247253},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.24339789152145386},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2423590123653412},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19320252537727356},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/is.2012.6335146","is_oa":false,"landing_page_url":"https://doi.org/10.1109/is.2012.6335146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 6th IEEE INTERNATIONAL CONFERENCE INTELLIGENT SYSTEMS","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:22096","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/22096","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"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/conferencePaper"},{"id":"pmh:oai:zenodo.org:3444539","is_oa":true,"landing_page_url":"https://zenodo.org/record/3444539","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:22096","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/22096","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"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/conferencePaper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1525226656","https://openalex.org/W1570856740","https://openalex.org/W1830870749","https://openalex.org/W1966736499","https://openalex.org/W1976479780","https://openalex.org/W1983261114","https://openalex.org/W1994307831","https://openalex.org/W2008598810","https://openalex.org/W2022803440","https://openalex.org/W2053691766","https://openalex.org/W2102389036","https://openalex.org/W2108259544","https://openalex.org/W2124081583","https://openalex.org/W2126648624","https://openalex.org/W2142314212","https://openalex.org/W2158965883","https://openalex.org/W2171697358","https://openalex.org/W2487377689","https://openalex.org/W4243711164"],"related_works":["https://openalex.org/W2007959507","https://openalex.org/W2391411398","https://openalex.org/W2183751629","https://openalex.org/W2358220905","https://openalex.org/W2082919941","https://openalex.org/W2389560791","https://openalex.org/W3016520653","https://openalex.org/W1971428118","https://openalex.org/W4233757488","https://openalex.org/W2028566484"],"abstract_inverted_index":{"The":[0,113],"empowerment":[1],"of":[2,7,21,40,44,53,85,98,136,142],"medical":[3],"practices,":[4],"in":[5,25,59,106,166],"terms":[6],"consistency,":[8],"effectiveness":[9],"and":[10,15,46,63,110,164],"efficiency,":[11],"is":[12,37,94],"being":[13],"more":[14,16],"pushed":[17],"by":[18],"the":[19,38,60,83,119,133],"encoding":[20],"clinical":[22,86,143],"practice":[23],"guidelines":[24,62,87],"advanced":[26],"decision":[27],"support":[28],"systems":[29],"(DSSs).":[30],"A":[31,139],"prerequisite":[32],"for":[33,130,157],"their":[34,66],"wide":[35],"application":[36],"guarantee":[39],"a":[41,72,77,107,127,146,167],"high":[42],"level":[43],"maintainability":[45],"reliability,":[47],"with":[48],"respect":[49],"to":[50,81,125],"different":[51],"kinds":[52],"structural":[54,100],"anomalies":[55],"which":[56],"can":[57],"occur":[58],"encoded":[61,88],"could":[64],"compromise":[65],"practical":[67],"value.":[68],"This":[69],"paper":[70],"presents":[71],"verification":[73],"approach,":[74],"based":[75],"on":[76],"formal":[78],"taxonomy,":[79],"devised":[80],"check":[82],"reliability":[84],"as":[89],"rules.":[90],"Its":[91],"final":[92],"goal":[93],"determining":[95],"two":[96],"categories":[97],"potential":[99],"anomalies,":[101],"i.e.":[102,150],"inconsistency":[103],"or":[104],"redundancy,":[105],"very":[108],"general":[109],"understandable":[111],"fashion.":[112],"approach":[114],"has":[115,154],"been":[116,155],"developed":[117],"within":[118],"EU":[120],"IST":[121],"CHRONIOUS":[122],"Project,":[123],"devoted":[124],"define":[126],"generic":[128],"platform":[129],"remotely":[131],"monitoring":[132],"health":[134],"status":[135],"chronic":[137,148],"patients.":[138],"sample":[140],"set":[141],"rules":[144],"pertaining":[145],"specific":[147],"pathology,":[149],"Chronic":[151],"Kidney":[152],"Disease,":[153],"considered":[156],"its":[158,162],"initial":[159],"validation,":[160],"showing":[161],"feasibility":[163],"efficacy":[165],"real":[168],"healthcare":[169],"case.":[170]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}