53,57c53
<   
< // include namespace definitions for semantic web
<   if (file_exists('semanticweb/includes/namespaces.php'))
< 	require('semanticweb/includes/namespaces.php');
<   
---
> 
306d301
< $navigation = new navigationHistory;