1285 search results - page 4 / 257 » Description Logic Reasoner: System Description |
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...
DLOG
2007
14 years 1 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
CADE
2009
Springer
14 years 3 months ago
2009
Springer
AI
1999
Springer
13 years 10 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
EWCBR
1998
Springer
14 years 3 months ago
1998
Springer
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...