Sciweavers

DLOG
2003
15 years 3 days ago
Explanation of Terminological Reasoning: A Preliminary Report
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
Stefan Schlobach, Ronald Cornet