# HG changeset patch
# User drewp@bigasterisk.com
# Date 1632766172 25200
# Node ID 37710d28890b57e96fc1b542f69ef7a883bbfd62
# Parent  0d7635335616e1190990cff3de9268f452e4fa55
more debug uri compression

diff -r 0d7635335616 -r 37710d28890b service/mqtt_to_rdf/rdflib_debug_patches.py
--- a/service/mqtt_to_rdf/rdflib_debug_patches.py	Mon Sep 27 23:21:19 2021 -0700
+++ b/service/mqtt_to_rdf/rdflib_debug_patches.py	Mon Sep 27 11:09:32 2021 -0700
@@ -5,10 +5,15 @@
 import rdflib
 import rdflib.plugins.parsers.notation3
 import rdflib.term
-from rdflib import BNode
+from rdflib import BNode, RDF
 
 ROOM = rdflib.Namespace('http://projects.bigasterisk.com/room/')
 
+ABBREVIATE = {
+    '': ROOM,
+    'rdf': RDF,
+}
+
 
 def patchSlimReprs():
     """From: rdflib.term.URIRef('foo')
@@ -18,8 +23,11 @@
     def ur(self):
         clsName = "U" if self.__class__ is rdflib.term.URIRef else self.__class__.__name__
         s = super(rdflib.term.URIRef, self).__str__()
-        if s.startswith(str(ROOM)):
-            s = ':' + s[len(ROOM):]
+        for short, long in ABBREVIATE.items():
+            if s.startswith(str(long)):
+                s = short + ':' + s[len(str(long)):]
+                break
+
         return """%s(%s)""" % (clsName, s)
 
     rdflib.term.URIRef.__repr__ = ur