3244 search results - page 35 / 649 » Extensions to Description Logics |
CADE
2006
Springer
14 years 8 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
ICWE
2004
Springer
14 years 1 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...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
AAAI
1994
13 years 9 months ago
1994
IJAR
2010
13 years 7 months ago
2010