Disjunction in modal description logics.
Publications de l 'Institut Mathématique. Nouvelle Série, 82(96) (2007), p. 25.

Voir la notice de l'article dans European Digital Mathematics Library

DOI : 10.2298/PIM0796025M
Classification : 03D15, 68T27, 68Q17, 03B70
Mots-clés : simulation of disjunction, complexity of satisfiability 
@article{10_2298_PIM0796025M,
     author = {Mosurovi\'c, Milenko},
     title = {Disjunction in modal description logics.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {25},
     publisher = {mathdoc},
     volume = {82(96)},
     year = {2007},
     doi = {10.2298/PIM0796025M},
     zbl = {1164.03006},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/articles/10.2298/PIM0796025M/}
}
TY  - JOUR
AU  - Mosurović, Milenko
TI  - Disjunction in modal description logics.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 2007
SP  - 25
VL  - 82(96)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/articles/10.2298/PIM0796025M/
DO  - 10.2298/PIM0796025M
LA  - en
ID  - 10_2298_PIM0796025M
ER  - 
%0 Journal Article
%A Mosurović, Milenko
%T Disjunction in modal description logics.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 2007
%P 25
%V 82(96)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/articles/10.2298/PIM0796025M/
%R 10.2298/PIM0796025M
%G en
%F 10_2298_PIM0796025M
Mosurović, Milenko. Disjunction in modal description logics.. Publications de l 'Institut Mathématique. Nouvelle Série, 82(96) (2007), p. 25. doi : 10.2298/PIM0796025M. https://geodesic-test.mathdoc.fr/articles/10.2298/PIM0796025M/

Cité par Sources :