• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    International Web Rule Symposium

    International Web Rule Symposium

    Conference

    年发文量

    研究主题

    论文(690)

    排序
    1Reasoning about Ingredient Substitutions with Ontologies and Rules.
    Weronika T. Adrian, Maciej Kutyla,Jedrzej Potoniec,Agnieszka Lawrynowicz
    2023
    引用
    AI阅读
    加入学术空间
    2Towards Techniques for Updating Virtual Knowledge Graphs.
    Romuald Esdras Wandji,Mantas Simkus,Diego Calvanese

    The field of Virtual Knowledge Graphs (VKGs) continues to grow in both academic and applied contexts. Yet, the issue of updates in VKG systems has not yet received adequate attention, although it is crucial to manage data modifications at the data source level through the lens of an ontology. In this paper, we focus on VKGs whose ontology is specified in the lightweight ontology language DL-Lite 𝐴 , and we propose diverse settings and research directions we intend to explore to address the challenge of translating ontology-based updates into updates at the level of data sources. We also pay attention to the important problem of automated analysis of mappings, which plays a major role when it comes to reformulating ontology-based update requests into update requests over the data sources.

    2023
    引用
    AI阅读
    加入学术空间
    3Reasoning over Health Records with Vadalog: a Rule-based Approach to Patient Pathways.
    Owen P. Dwyer,Teodoro Baldazzi,Jim Davies,Emanuel Sallinger,Adriano Vlad
    2023引用:2
    引用
    AI阅读
    加入学术空间
    4Towards Complex Event Processing for Clinical Decision Support Using FHIR.
    Gerhard Kober,Livio Robaldo,Adrian Paschke

    Clinical Decision Support (CDS) is designed to provide medical guidance and decision support based on patient information. More and more patient data is being collected from medical devices and fitness trackers, and some decisions need to be made quickly to allow for timely medical treatment. In our work, we combine a Semantic Web rule-based approach for representing medical guidelines with medical data represented in the “Fast Healthcare Interoperability Resources” (FHIR) standard. We implement a complex event processing strategy to deliver near-real-time decisions for a physician. This is relevant in intensive care and emergency medicine in particular, as medical treatment is time-critical and can decide on life or death of the patients. Different approaches exist for real-time clinical decision support. However, the integration of FHIR and Semantic Web technologies is missing. By integrating FHIR, medical ontologies, and Prova [1] as a semantic rule engine, we can define the medical guideline and include hooks for data extraction and decision points. We describe the entire process, starting with the medical device submitting the FHIR observations, through the data handling and decision points, to the notification of the attending physician. We extend the functionality of the existing rule engine for data handling and decision-making. In this work, we outline a solution that is capable of clinical decision support, including FHIR, and makes use of a semantic rule engine that allows medical guidelines to be expressed in RuleML. With these features, we also include the option of real-time complex event processing.

    2023
    引用
    AI阅读
    加入学术空间
    5Sound Logic Without Paradox.
    David A. Fisher, Stephen Fisher, Donna M. Lambie
    2023
    引用
    AI阅读
    加入学术空间
    立即登录,查看全部 690 篇论文

    高被引作者

    作者引用发文
    Harold Boley95043
    Guido Governatori94727
    David Luckham8871
    Adrian Paschke84037
    Grigorios Antoniou46416
    Nick Bassiliades37616
    Tomás Kliegr31413
    Antonino Rotolo3048
    Benjamin N. Grosof27310
    Giovanni Sartor2492

    高产作者

    作者引用发文
    Harold Boley95043
    Adrian Paschke84037
    Guido Governatori94727
    Nick Bassiliades37616
    Grigorios Antoniou46416
    Davide Sottara17115
    Tomás Kliegr31413
    Tara Athan21913
    Benjamin N. Grosof27310
    Czeslaw Jedrzejek11410

    相关期刊

    Journal on Satisfiability, Boolean Modeling and Computation
    Symposium on Logic Programming
    String Processing and Information Retrieval
    ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
    Italian Conference on Computational Logic
    Frontiers in Algorithmics
    Algorithm Engineering and Experimentation
    Algorithmic Game Theory
    Reasoning Web
    ACM Transactions on Economics and Computation