2 search results - page 1 / 1 » Sonic - Non-standard Inferences Go OilEd |
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
DLOG
2004
13 years 11 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...