421 search results - page 2 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
CAEPIA
2003
Springer
13 years 9 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
JSW
2008
13 years 5 months ago
2008
Increasing traffic density enforces development of Advanced Driver Assistance Systems to cope with safety aspects. Such systems require serious amount of sensor data to deduce spat...
DLOG
2009
13 years 3 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
DLOG
2004
13 years 7 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...
KR
2004
Springer
13 years 11 months ago
2004
Springer
