94
Voted
DLOG
2004
15 years 10 days ago
2004
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...