DISJUNCTION IN MODAL DESCRIPTION LOGICS

被引：0
|
作者：
Mosurovic, Milenko [1 ]
机构：
[1] Prirodno Matemat Fak, Podgorica 81000, Montenegro
来源：
PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD | 2007年 / 82卷 / 96期
关键词：
D O I：
10.2298/PIM0796025M
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We investigate the complexity of satisfaction problems in modal description logics without disjunction between formulae. It is shown that simulation of disjunction in the class of all models of these logics is possible, so that the complexity remains same no matter the logics is with or without disjunction of formulae. However, the omission of disjunction, in the class of the models based on the universal relation, "turns down" the complexity of satisfaction problem i.e., if P sic NP, it is not possible to simulate disjunction.
引用
收藏
页码：25 / 35
页数：11
相关论文
共 50 条
  • [1] Modal logics, description logics and arithmetic reasoning
    Ohlbach, HJ
    Koehler, J
    ARTIFICIAL INTELLIGENCE, 1999, 109 (1-2) : 1 - 31
  • [2] Unification in modal and description logics
    Baader, Franz
    Ghilardi, Silvio
    LOGIC JOURNAL OF THE IGPL, 2011, 19 (06) : 705 - 730
  • [3] Non-Normal Modal Description Logics
    Dalmonte, Tiziano
    Mazzullo, Andrea
    Ozaki, Ana
    Troquard, Nicolas
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 306 - 321
  • [4] On the relationship between fuzzy description logics and many-valued modal logics
    García-Cerdaña, Àngel (angel@iiia.csic.es), 1600, Elsevier Inc. (93):
  • [5] On the relationship between fuzzy description logics and many-valued modal logics
    Cerami, Marco
    Esteva, Francesc
    Garcia-Cerdana, Angel
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2018, 93 : 372 - 394
  • [6] Undecidability of the unification and admissibility problems for modal and description logics
    Wolter, Frank
    Zakharyaschev, Michael
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (04)
  • [7] Logics with disjunction and proof by cases
    San-min Wang
    Petr Cintula
    Archive for Mathematical Logic, 2008, 47 : 435 - 446
  • [8] Conjunction and Disjunction in Infectious Logics
    Omori, Hitoshi
    Szmuc, Damian
    LOGIC, RATIONALITY, AND INTERACTION, LORI 2017, 2017, 10455 : 268 - 283
  • [9] Logics with disjunction and proof by cases
    Wang, San-min
    Cintula, Petr
    ARCHIVE FOR MATHEMATICAL LOGIC, 2008, 47 (05) : 435 - 446
  • [10] CLASS OF LOGICS WITHOUT DISJUNCTION PROPERTY
    DRUGUSH, JM
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1978, (06): : 9 - 14
12345