Reasoning on Context-Dependent Domain Models

被引：0
|
作者：
Boehme, Stephan [1 ]
Kuehn, Thomas [2 ]
机构：
[1] Tech Univ Dresden, Chair Automata Theory, Dresden, Germany
[2] Tech Univ Dresden, Software Technol Grp, Dresden, Germany
来源：
SEMANTIC TECHNOLOGY, JIST 2017 | 2017年 / 10675卷
关键词：
D O I：
10.1007/978-3-319-70682-5_5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Modelling context-dependent domains is hard, as capturing multiple context-dependent concepts and constraints easily leads to inconsistent models or unintended restrictions. However, current semantic technologies not yet support reasoning on context-dependent domains. To remedy this, we introduced ConDL, a set of novel description logics tailored to reason on contextual knowledge, as well as JConHT, a dedicated reasoner for ConDL ontologies. ConDL enables reasoning on the consistency and satisfiability of context-dependent domain models, e.g., Compartment Role Object Models (CROM). We evaluate the suitability and efficiency of our approach by reasoning on a modelled banking application and measuring the performance on randomly generated models.
引用
收藏
页码：69 / 85
页数：17
相关论文
共 50 条
  • [21] CONTEXT-DEPENDENT STUTTERING
    MACKAY, DG
    KYBERNETIK, 1970, 7 (01): : 1 - &
  • [22] CONTEXT-DEPENDENT CRIME
    JACONELLI, J
    CRIMINAL LAW REVIEW, 1995, : 771 - 782
  • [23] Context-dependent voting
    Callander, Steven
    Wilson, Catherine H.
    QUARTERLY JOURNAL OF POLITICAL SCIENCE, 2006, 1 (03) : 227 - 254
  • [24] Context-Dependent Search
    Diehl, Kristin
    ADVANCES IN CONSUMER RESEARCH, VOL XXXVI, 2009, 36 : 150 - 150
  • [25] Exploring Tonal Variations via Context-Dependent Tone Models
    Hu, Yue-Ning
    Chu, Min
    Huang, Chao
    Zhang, Yan-Ning
    INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4, 2007, : 1357 - +
  • [26] Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models
    Vaska, Nathan
    Leahy, Kevin
    Helus, Victoria
    2022 IEEE 18TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2022, : 2020 - 2027
  • [27] Verification of Context-Dependent Channel-Based Service Models
    Kokash, Natallia
    Krause, Christian
    de Vink, Erik P.
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 21 - +
  • [28] Testing models of context-dependent outcome encoding in reinforcement learning
    Hayes, William M.
    Wedell, Douglas H.
    COGNITION, 2023, 230
  • [29] Prosody Boundary Detection through Context-Dependent Position Models
    Hu, Yue-Ning
    Chu, Min
    Huang, Chao
    Zhang, Yan-Ning
    INTERSPEECH 2008: 9TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2008, VOLS 1-5, 2008, : 2142 - +
  • [30] Context-Dependent Domain Adversarial Neural Network for Multimodal Emotion Recognition
    Lian, Zheng
    Tao, Jianhua
    Liu, Bin
    Huang, Jian
    Yang, Zhanlei
    Li, Rongjun
    INTERSPEECH 2020, 2020, : 394 - 398
12345