Expressive Description Logic with Instantiation Metamodelling

被引：0
作者：
Kubincova, Petra [1 ]
Kl'uka, Jan [1 ]
Homola, Martin [1 ]
机构：
[1] Comenius Univ, Fac Math Phys & Informat, Bratislava 84248, Slovakia
来源：
FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING | 2016年
关键词：
OWL;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We investigate a higher-order extension of the description logic (DL) SROIQ that provides a fixedly interpreted role semantically coupled with instantiation. It is useful to express interesting meta-level constraints on the modelled ontology. We provide a model-theoretic characterization of the semantics, and we show the decidability by means of reduction.
引用
收藏
页码：569 / 572
页数：4
相关论文
共 11 条
  • [1] HILOG - A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING
    CHEN, WD
    KIFER, M
    WARREN, DS
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (03): : 187 - 230
  • [2] De Giacomo G., 2011, AAAI
  • [3] Glimm B, 2010, ISWC
  • [4] OWL 2: The next step for OWL
    Grau, Bernardo Cuenca
    Horrocks, Ian
    Motik, Boris
    Parsia, Bijan
    Patel-Schneider, Peter
    Sattler, Ulrike
    [J]. JOURNAL OF WEB SEMANTICS, 2008, 6 (04): : 309 - 322
  • [5] Henkin Leon, 1950, J. Symb. Log., V15, P81, DOI [10.2307/2266967, DOI 10.2307/2266967]
  • [6] Homola M, 2014, DL
  • [7] Horrocks Ian, 2006, KR
  • [8] Kazakov S, 2008, NSTI NANOTECH 2008, VOL 2, TECHNICAL PROCEEDINGS, P274
  • [9] On the properties of metamodeling in OWL
    Motik, Boris
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 617 - 637
  • [10] The description logic SHLQ with a flexible meta-modelling hierarchy
    Motz, Regina
    Rohrer, Edelweis
    Severi, Paula
    [J]. JOURNAL OF WEB SEMANTICS, 2015, 35 : 214 - 234
12