SHACL

SHACL
  • 文章类型: Journal Article
    当前生命科学中开放科学和可重复性的兴起需要创造丰富的,机器可操作的元数据,以便更好地共享和重用生物数字资源,如数据集,生物信息学工具,培训材料,等。为此,已经为数据和元数据定义了公平原则,并被大型社区采用,导致特定指标的定义。然而,自动公平评估仍然很困难,因为计算评估经常需要技术专长,并且可能很耗时。作为解决这些问题的第一步,我们建议公平检查,一种基于网络的工具,用于评估数字资源呈现的元数据的公平性。FAIR-Checker提供两个主要方面:一个“检查”模块,提供全面的元数据评估和建议,和一个“检查”模块,该模块可帮助用户提高元数据质量,从而提高其资源的公平性。FAIR-Checker利用语义Web标准和技术(如SPARQL查询和SHACL约束)来自动评估FAIR指标。通知用户失踪,必要的,或各种资源类别的推荐元数据。我们在提高个人资源的公平性的背景下评估FAIR-Checker,通过更好的元数据,以及分析超过2.5万个生物信息学软件描述的公平性。
    The current rise of Open Science and Reproducibility in the Life Sciences requires the creation of rich, machine-actionable metadata in order to better share and reuse biological digital resources such as datasets, bioinformatics tools, training materials, etc. For this purpose, FAIR principles have been defined for both data and metadata and adopted by large communities, leading to the definition of specific metrics. However, automatic FAIRness assessment is still difficult because computational evaluations frequently require technical expertise and can be time-consuming. As a first step to address these issues, we propose FAIR-Checker, a web-based tool to assess the FAIRness of metadata presented by digital resources. FAIR-Checker offers two main facets: a \"Check\" module providing a thorough metadata evaluation and recommendations, and an \"Inspect\" module which assists users in improving metadata quality and therefore the FAIRness of their resource. FAIR-Checker leverages Semantic Web standards and technologies such as SPARQL queries and SHACL constraints to automatically assess FAIR metrics. Users are notified of missing, necessary, or recommended metadata for various resource categories. We evaluate FAIR-Checker in the context of improving the FAIRification of individual resources, through better metadata, as well as analyzing the FAIRness of more than 25 thousand bioinformatics software descriptions.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Pubmed)

  • 文章类型: Journal Article
    基于语义AI解决方案支持的所谓医疗指南的决策对于临床前环境和内部临床环境中的医务人员来说都是一项重要而重要的任务。使用语义Web技术的医疗指南和快速医疗保健互操作性资源(FHIR)的语义表示,即,资源描述框架(RDF)规则(RuleML和Prova),和形状约束语言(SHACL),为决策过程提供语义知识库,简化技术实现和自动化任务。当前的医疗决策支持系统缺乏使用FHIR-RDF表示作为数据源的语义Web集成。在本文中,我们使用两种不同的方法实施特定的医学指南:Prova[8]和SHACL[13].我们为选定的指南生成一系列原始FHIR数据,ABCDE方法,并比较实施的两个程序(Prova和SHACL)的结果。两种方法在内容方面提供相同的结果。根据组织的需要,两者都可以在分布式医疗环境中使用。
    Decision-making based on so-called medical guidelines supported by semantic AI solutions is an essential and significant task for medical personnel in both a pre-clinical setting and an inner-clinical environment. Semantic representations of medical guidelines and Fast Healthcare Interoperability Resources (FHIR) using Semantic Web technologies, i.e., Resource Description Framework (RDF), rules (RuleML and Prova), and Shape Constraint Language (SHACL), provide a semantic knowledge base for the decision-making process and ease technical implementation and automation tasks. Current medical decision support systems lack Semantic Web integration using FHIR-RDF representations as a data source. In this paper, we implement a particular medical guideline using two different approaches: Prova [8] and SHACL [13]. We generate a series of raw FHIR-data for a selected guideline, the ABCDE approach, and compare the implemented two programs\' (Prova and SHACL) results. Both approaches deliver the same results in terms of content. Both may be used within a distributed medical environment depending on the need of organizations.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

    求助全文

  • 文章类型: Journal Article
    抗生素在临床领域的过度使用正在导致细菌耐药性的惊人增加,从而危及其在治疗高度复发的严重传染病方面的有效性。虽然临床指南(CGs)以叙事形式关注抗生素的正确处方,临床决策支持系统(CDSS)在护理点以规则的形式操作CG中包含的知识。尽管努力将CG计算机化,CG与可用于在真实临床环境中实施CDS的无数规则技术(基于不同的逻辑形式)之间仍然存在差距.
    为了帮助CDSS设计人员确定最合适的基于规则的技术(面向医学的规则,生产规则和语义网络规则),用于对来自CG的抗生素处方知识进行建模。我们为此提出了一个标准框架,该框架可扩展到更通用的CG。
    我们的建议是基于从文献中提取的核心技术要求的识别和抗生素的CGs分析,建立三个维度进行分析:语言表达,互操作性和工业方面。我们提出了一个关于约翰·霍普金斯医院(JHH)尿路感染(UTI)抗生素指南的案例研究,高度复发的医院获得性感染。我们采用了我们的标准框架,以便使用各种规则技术分析和实施这些CG:HL7Arden语法,通用生产规则系统(Drools),HL7标准规则交换格式(RIF),语义Web规则语言(SWRL)和SParql推理符号(SPIN)规则扩展(实现我们自己的UTI本体)。
    我们已经确定了为CG获得可维护且成本可承受的可计算知识表示所需的主要标准。我们在总共12个Arden语法MLM中代表了JHHUTICG知识,81个Drools规则和154个本体类,属性和个人。我们的实验证实了所提出的标准集的相关性,并显示了不同规则技术与JHHUTICG知识表示的合规性水平。
    拟议的标准框架可能有助于临床机构选择最合适的规则技术来表示一般的CG,特别是抗生素处方领域,描绘导致计算机可解释指南(CIG)的主要方面,如逻辑表现力(开放/封闭世界假设,否定即失败),与现有HIS和临床工作流程的时间推理和互操作性。未来的工作将集中于为临床医生提供关于CG新的潜在步骤的建议。考虑流程挖掘方法和CG流程工作流,HL7FHIR用于HIS互操作性和服务知识(KaaS)的表示。
    The over-use of antibiotics in clinical domains is causing an alarming increase in bacterial resistance, thus endangering their effectiveness as regards the treatment of highly recurring severe infectious diseases. Whilst Clinical Guidelines (CGs) focus on the correct prescription of antibiotics in a narrative form, Clinical Decision Support Systems (CDSS) operationalize the knowledge contained in CGs in the form of rules at the point of care. Despite the efforts made to computerize CGs, there is still a gap between CGs and the myriad of rule technologies (based on different logic formalisms) that are available to implement CDSSs in real clinical settings.
    To helpCDSS designers to determine the most suitable rule-based technology (medical-oriented rules, production rules and semantic web rules) with which to model knowledge from CGs for the prescription of antibiotics. We propose a framework of criteria for this purpose that is extensible to more generic CGs.
    Our proposal is based on the identification of core technical requirements extracted from both literature and the analysis of CGs for antibiotics, establishing three dimensions for analysis: language expressivity, interoperability and industrial aspects. We present a case study regarding the John Hopkins Hospital (JHH) Antibiotic Guidelines for Urinary Tract Infection (UTI), a highly recurring hospital acquired infection. We have adopted our framework of criteria in order to analyse and implement these CGs using various rule technologies: HL7 Arden Syntax, general-purpose Production Rules System (Drools), HL7 standard Rule Interchange Format (RIF), Semantic Web Rule Language (SWRL) and SParql Inference Notation (SPIN) rule extensions (implementing our own ontology for UTI).
    We have identified the main criteria required to attain a maintainable and cost-affordable computable knowledge representation for CGs. We have represented the JHH UTI CGs knowledge in a total of 12 Arden Syntax MLMs, 81 Drools rules and 154 ontology classes, properties and individuals. Our experiments confirm the relevance of the proposed set of criteria and show the level of compliance of the different rule technologies with the JHH UTI CGs knowledge representation.
    The proposed framework of criteria may help clinical institutions to select the most suitable rule technology for the representation of CGs in general, and for the antibiotic prescription domain in particular, depicting the main aspects that lead to Computer Interpretable Guidelines (CIGs), such as Logic expressivity (Open/Closed World Assumption, Negation-As-Failure), Temporal Reasoning and Interoperability with existing HIS and clinical workflow. Future work will focus on providing clinicians with suggestions regarding new potential steps for CGs, considering process mining approaches and CGs Process Workflows, the use of HL7 FHIR for HIS interoperability and the representation of Knowledge-as- a-Service (KaaS).
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Sci-hub)

  • 文章类型: Journal Article
    临床模型是指定如何在电子健康记录(EHR)中构造信息的人工制品。然而,除了语义模糊的信息模型外,临床模型的组成不受任何形式约束的指导。我们通过倡导本体设计模式作为一种使临床模型的语义明确的机制来解决这一差距。本文演示了本体设计模式如何使用SHACL验证现有的临床模型。基于临床信息建模倡议(CIMI),我们展示了本体模式如何检测CIMI模型中的建模和术语绑定错误。SHACL,用于验证RDF图的W3C约束语言,建立在“形状”的概念上,根据预期基数对数据的描述,数据类型和其他限制。SHACL,而不是猫头鹰,订阅封闭世界假设(CWA),因此更适合临床模型的验证。我们已经通过手动描述RDF中表示的sixCIMI临床模型与两个SHACL本体设计模式之间的对应关系来证明该方法的可行性。使用基于Java的SHACL实现,我们在这些CIMI模型中发现了至少11个建模和绑定错误。这证明了本体设计模式不仅作为建模工具而且作为验证工具的有用性。
    Clinical models are artefacts that specify how information is structured in electronic health records (EHRs). However, the makeup of clinical models is not guided by any formal constraint beyond a semantically vague information model. We address this gap by advocating ontology design patterns as a mechanism that makes the semantics of clinical models explicit. This paper demonstrates how ontology design patterns can validate existing clinical models using SHACL. Based on the Clinical Information Modelling Initiative (CIMI), we show how ontology patterns detect both modeling and terminology binding errors in CIMI models. SHACL, a W3C constraint language for the validation of RDF graphs, builds on the concept of \"Shape\", a description of data in terms of expected cardinalities, datatypes and other restrictions. SHACL, as opposed to OWL, subscribes to the Closed World Assumption (CWA) and is therefore more suitable for the validation of clinical models. We have demonstrated the feasibility of the approach by manually describing the correspondences between six CIMI clinical models represented in RDF and two SHACL ontology design patterns. Using a Java-based SHACL implementation, we found at least eleven modeling and binding errors within these CIMI models. This demonstrates the usefulness of ontology design patterns not only as a modeling tool but also as a tool for validation.
    导出

    更多引用

    收藏

    翻译标题摘要

    我要上传

       PDF(Sci-hub)

公众号