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 条
  • [41] Context-dependent abduction and relevance
    Gabbay, Dov
    Nossum, Rolf
    Woods, John
    JOURNAL OF PHILOSOPHICAL LOGIC, 2006, 35 (01) : 65 - 81
  • [42] Automata for Context-Dependent Connectors
    Bonsangue, Marcello
    Clarke, Dave
    Silva, Alexandra
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2009, 5521 : 184 - +
  • [43] Context-Dependent Social Mapping
    Charalampous, Konstantinos
    Kostavelis, Ioannis
    Gasteratos, Antonios
    2016 IEEE INTERNATIONAL CONFERENCE ON IMAGING SYSTEMS AND TECHNIQUES (IST), 2016, : 30 - 35
  • [44] Business Collaboration Models and their Business Context-dependent Web Choreography in BPSS
    Hofreiter, Birgit
    Huemer, Christian
    Winiwarter, Werner
    INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2005, 1 (01) : 33 - +
  • [45] Comparative Analysis of Context-Dependent Mutagenesis Using Human and Mouse Models
    Medvedeva, Sofya A.
    Panchin, Alexander Y.
    Alexeevski, Andrey V.
    Spirin, Sergey A.
    Panchin, Yuri V.
    BIOMED RESEARCH INTERNATIONAL, 2013, 2013
  • [46] Context-dependent Abduction and Relevance
    Dov Gabbay
    Rolf Nossum
    John Woods
    Journal of Philosophical Logic, 2006, 35 : 65 - 81
  • [47] Context-dependent cancer risk
    Kent W Hunter
    Nature Genetics, 2006, 38 : 864 - 865
  • [48] Video context-dependent recall
    Steven M. Smith
    Isabel Manzano
    Behavior Research Methods, 2010, 42 : 292 - 301
  • [49] Training Context-Dependent DNN Acoustic Models using Probabilistic Sampling
    Grosz, Tamcis
    Gosztolya, Gcibor
    Toth, Laszlo
    18TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2017), VOLS 1-6: SITUATED INTERACTION, 2017, : 1621 - 1625
  • [50] Context-dependent duration modeling
    Willett, D
    2005 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS 1-5: SPEECH PROCESSING, 2005, : 421 - 424
12345