------------------------
INTRODUCTION
------------------------
This site containts the source code for RONNY - the ROad Network oNtologY. RONNY is a knowledge base in the Description Logic SHIQ that was developed for the purpose of interpreting complex road intersections based on partial, multimodal sensor data. 
The reasoner used is RacerPro Version 1.9.2, which can be downloaded from http://www.racer-systems.com/. The source code files are of type *.racer. 

The knowledge base is documented in my Phd thesis
"Description Logic for Scene Understanding at the Example of Urban Road Intersections"
which can be downloaded from http://www.mrt.uni-karlsruhe.de/hu_prj1.php . 

The site also contains around a dozen of ABoxes with intersection data for experimentation, and also new ABoxes can be created easily! These intersections are depicted in my thesis, and they can be viewed with Google Maps at: http://tinyurl.com/dx6dao . 

Thanks for downloading. Have fun!

   Britta Hummel

----------------------------
QUICKSTART GUIDE
----------------------------

1. Download RACER from http://www.racer-systems.com/

2. In main.racer, change working directory in the following line:   
(define WORKING_DIR nil "[PATH]/ronny/")
Replace [PATH] by the directory to which you copied RONNY to.

3. Start RacerPorter. Make sure, that when you start RacerPro (you can do it from within RacerPorter), it is running in unsafe mode: Hit the "Edit Profiles"-Button on the "profiles" page and hit check button "Start Racer in unsafe mode".

4. Go to the "Shell" page and type: (time (racer-read-file "[PATH]/main.racer")) 

5. This example runs ABox 4. It terminates on my system after 18seconds. You should get an output with the classification results in the shell. The results are also written to file "classification.txt" (and association.txt if enabled) in directory "ABoxes/4/results". 

6. Play with other ABoxes by replacing the directory in main.racer in line
(define DIR_ABOX nil (concat (WORKING_DIR) '"ABoxes/4/")) 
by one of the other ABoxes in directory "ABoxes/"

...or create your own ABox from any intersection out there! 


------------------------
FILE STRUCTURE
------------------------
main.racer:		Main file, to be evoked from RacerPro. 
			Working directory and ABox directory are specified here.
			Calls KB.racer
queries.racer:		The queries you want to ask for the given intersection.  
KB.racer:		Loads the RONNY KB: Reads in all RONNY TBox files, one ABox, and 				creates a procedural extension. The extended ABox is saved under 				[ABOXPATH]\results\KB.racer .
\RonnyTBox:		Contains all Ronny TBox files
\ABoxes:		Contains a couple of ABoxes. In each ABox directory you will find:

MapData.racer:		Data from the digital map
Videodata_t?.racer:	Data from the video sensor at times t1, t2, and t3.
PositioningData_t?.racer: Data from the positioning sensor at times t1, t2, and t3.
PosAndVideo_t1tot3.racer: Workaround as described in my thesis if the above data leads to a 				performance problem. 
GroundTruth.racer:	An ABox with ground truth data for this intersection.
\results:		The processed KB will be saved here, as well as all query results.


Notes:
----------------------------
- As documented in my thesis, for some ABoxes you will run into computational problems. In particular ABoxes 6, 10, 14, 16 and 17 did not terminate on my system after more than 2 days, or they terminated with a memory overflow. I have posted them here because future RacerPro versions might be able to handle them. 

- RONNY is at present tailored to German road networks. Using intersection data from other countries might result in an inconsistent ABox. To adapt RONNY to your country you can  replace any Germany-specific axiom in \RonnyTBox by an axiom that represents the traffic rules in your country. 

- Due to bug fixes you might be able to achieve better or simply different results than documented in the thesis when using a more recent RacerPro version!