Geodesic
Reasoning in Basic Description Logics and Description Logics with Modal Operators
Zbornik radova, Tome 12 (2009) no. 20, p. 113

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Description logics are a family of knowledge representation languages constructed for a wide area of application domains. They are based on the notion of concepts and roles, and are mainly characterized by constructors that allow complex concepts and roles to be built from atomic ones. Constructor selection depends on the application domain the representation formalism is designed for. This paper concerns a special type of DLs extended with temporal operators. After.an overview of basic description logics, original results related to the temporal extensions of DLs, precisely venus, which has been modeled with an aim to overcome problems of reasoning over conceptual schemas and queries in temporal databases are given.
Classification : 03B70 68T30 68T27 68T35 03B44 03B45 03B35 03B60 03B80 03F20 
@article{ZR_2009_12_20_a3,
     author = {Milenko Mosurovi\'c and Tatjana Stojanovi\'c and Ana Kaplarevi\'c-Mali\v{s}i\'c},
     title = {Reasoning in {Basic} {Description} {Logics} and {Description} {Logics} with {Modal} {Operators}},
     journal = {Zbornik radova},
     pages = {113 },
     publisher = {mathdoc},
     volume = {12},
     number = {20},
     year = {2009},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a3/}
}
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
SP  - 113 
VL  - 12
IS  - 20
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a3/
LA  - en
ID  - ZR_2009_12_20_a3
ER  - 
%0 Journal Article
%A Milenko Mosurović
%A Tatjana Stojanović
%A Ana Kaplarević-Mališić
%T Reasoning in Basic Description Logics and Description Logics with Modal Operators
%J Zbornik radova
%D 2009
%P 113 
%V 12
%N 20
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a3/
%G en
%F ZR_2009_12_20_a3
Milenko Mosurović; Tatjana Stojanović; Ana Kaplarević-Mališić. Reasoning in Basic Description Logics and Description Logics with Modal Operators. Zbornik radova, Tome 12 (2009) no. 20, p. 113 . http://geodesic.mathdoc.fr/item/ZR_2009_12_20_a3/