Reasoning in Basic Description Logics and Description Logics with Modal Operators

@article{MilenkoMosurović2009,
author = {Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić},
journal = {Zbornik Radova},
keywords = {description logic; temporal logic; complexity},
language = {eng},
number = {20},
pages = {113-158},
publisher = {Matematički institut SANU},
title = {Reasoning in Basic Description Logics and Description Logics with Modal Operators},
url = {http://eudml.org/doc/257018},
year = {2009},
}

TY - JOUR
AU - Milenko Mosurović
AU - Tatjana Stojanović
AU - Ana Kaplarević-Mališić
TI - Reasoning in Basic Description Logics and Description Logics with Modal Operators
JO - Zbornik Radova
PY - 2009
PB - Matematički institut SANU
IS - 20
SP - 113
EP - 158
LA - eng
KW - description logic; temporal logic; complexity
UR - http://eudml.org/doc/257018
ER -