diff --git a/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala b/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala
index e346e7ce6f..42ed5b9a6c 100644
--- a/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala
+++ b/src/mmt-isabelle/src/info/kwarc/mmt/isabelle/Ontology.scala
@@ -26,7 +26,7 @@ object Ontology
 
   /* namespace */
 
-  val ulo: isabelle.XML.Namespace = isabelle.XML.Namespace("ulo", "https://mathhub.info/ulo")
+  val ulo: isabelle.XML.Namespace = isabelle.XML.Namespace("ulo", "https://mathhub.info/ulo#")
 
   def rdf_document(triples: List[isabelle.RDF.Triple]): isabelle.XML.Elem =
     isabelle.RDF.document(isabelle.RDF.triples(triples),