421 search results - page 2 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
86
Voted
CAEPIA
2003
Springer
15 years 2 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...
92
Voted
JSW
2008
14 years 11 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
14 years 8 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...
86
Voted
DLOG
2004
15 years 10 days 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...
70
Voted
KR
2004
Springer
15 years 4 months ago
2004
Springer
