IJCAI
2003
14 years 25 days ago
2003
Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...
DLOG
2004
14 years 26 days ago
2004
We present an application
ICWE
2004
Springer
14 years 4 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...