1071 search results - page 6 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
CADE
1998
Springer
13 years 12 months ago
1998
Springer
CADE
2006
Springer
13 years 11 months ago
2006
Springer
ER
2007
Springer
13 years 11 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
DLOG
2003
13 years 9 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...