Geodesic
Disjunction in Modal Description Logics
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 25 Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Voir la notice de l'article

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 $\neq$ NP, it is not possible to simulate disjunction.
DOI : 10.2298/PIM0796025M
Classification : 03B70 68T27, 68Q17 
@article{10_2298_PIM0796025M,
     author = {Milenko Mosurovi\'c},
     title = {Disjunction in {Modal} {Description} {Logics}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {25 },
     year = {2007},
     volume = {_N_S_82},
     number = {96},
     doi = {10.2298/PIM0796025M},
     zbl = {1164.03006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM0796025M/}
}
TY  - JOUR
AU  - Milenko Mosurović
TI  - Disjunction in Modal Description Logics
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 25 
VL  - _N_S_82
IS  - 96
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0796025M/
DO  - 10.2298/PIM0796025M
LA  - en
ID  - 10_2298_PIM0796025M
ER  - 
%0 Journal Article
%A Milenko Mosurović
%T Disjunction in Modal Description Logics
%J Publications de l'Institut Mathématique
%D 2007
%P 25 
%V _N_S_82
%N 96
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0796025M/
%R 10.2298/PIM0796025M
%G en
%F 10_2298_PIM0796025M
Milenko Mosurović. Disjunction in Modal Description Logics. Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 25 . doi: 10.2298/PIM0796025M

Cité par Sources :