In my previous blog post RDF Code: Serializing RDF Data as Clojure Code I did outline a first version of what a RDF serialization could look like if it would be serialized using Clojure code. However, after working with this proposal for two weeks, I found a few issues with the initial assumptions that I made that turned out to be bad design decisions in terms of Clojure code.
This blog post will discuss these issues, and I will update the initial set of rules that I defined in my previous blog post. Going forward, I will use the current rules as the way to serialize RDF data as Clojure code.
What Was Wrong
After two weeks of using the previous set of serializations rules and developing all kind of functions that uses that codes in the context of UMBEL graph traversal and analysis I found the following issues:
Keys
andvalues
should beVars
Ontologies
should all be in the same namespace (and not in different namespaces)- The prefix/entity separator for the RDF resources should be a
colon
and not aslash
These are the three serialization rules that changed after working with the previous version of the proposal. Now, let’s see what caused these changes to occur.
Keys and Values as Vars
The major change is that when we serialize RDF data as Clojure map structures, the keys,
and values
that are not strings,
should be Vars
.
There are three things that I didn’t properly evaluated when I first outlined the specification:
- The immutable nature of the Clojure data structures
- The dependency between ontologies
- The non-cyclical namespaces dependency rule imposed by Clojure
In the previous proposal, every RDF property were Clojure functions and they were also the keys of the Clojure maps that were used to serialize the RDF resources. That was working well. However, there was a side effect to this decision: everything was fine until the function’s internal ID changed.
The issue here is that when we work with Clojure maps, we are working with immutable data structures. This means that even if I create a RDF record like this:
[cc lang=’lisp’ line_numbers=’false’]
[raw](def mike {uri “http://foo.com/datasets/people/mike”
rdf/type foaf/+person
iron/pref-label “Mike”
foaf/knows [“http://foo.com/datasets/people/fred”]})[/raw]
[/cc]
And that somehow, in the compilation process the RDF ontology file get re-compiled, then the internal ID of the rdf/type
property (function) will change. That means that if I create another record like this:
[cc lang=’lisp’ line_numbers=’false’]
[raw](def mike-2 {uri “http://foo.com/datasets/people/mike”
rdf/type foaf/+person
iron/pref-label “Mike”
foaf/knows [“http://foo.com/datasets/people/fred”]})[/raw]
[/cc]
that uses the same rdf/type
function, then these two records would refer to different rdf/type
functions since it changed between the time I created the mike
and the mike-2
resources. That may not look like an issue since both functions does exactly the same thing. However, this is an issue since for multiple tasks to manipulate and query RDF data rely on comparing these keys (so, these functions). That means that unexpected behaviors can happen and may even looks like random.
The issue here was that we were not referring to the Var
that point to the function, but the function itself. By using the Var
as the keys
and values
of the map
, then we fix this inconsistency issue. What happens is that all the immutable data structure we are creating are referring to the Var
which point to the function. That way, when we evaluate the Var
, we will get reference to the same function whatever when it got created (before or after the creation of mike
and/or mike-2
). Here is what the mike
records looks like with this modification:
[cc lang=’lisp’ line_numbers=’false’]
[raw](def mike {#’uri “http://foo.com/datasets/people/mike”
#’rdf/type #’foaf:+person
#’iron/pref-label “Mike”
#’foaf/knows [“http://foo.com/datasets/people/fred”]})[/raw]
[/cc]
We use the #'
macro reader to specify that we use the Var
as the key
and values
of the map
and not the actual functions or other values referenced by that Var
.
The second and third issues I mentioned are tightly related. In a RDF & OWL world, there are multiple examples of ontologies that re-use external ontologies to describe their own semantic. There are cases where an ontology A use classes and properties from an ontology B and where the ontology B use classes and properties from an ontology A. They cross-use each other. Such usage cycles exists in RDF & OWL and are not that uncommon neither.
The problem with that is that at first, I was considering that each OWL ontologies that were to be defined as Clojure code would be in their own Clojure namespace. However, if you are a Clojure coder, you can envision the issue that is coming: if two ontologies cross-use each other, then it means that you have to create a namespace dependency cycles in your Clojure code… and you know that this is not possible because this is restricted by the compiler. This means that everything works fine until this happens.
To overcome that issue, we have to consider that all the ontologies belong to the same namespace (like clojure.core
). However, in my next blog post that will focus on these ontologies description I will show how we can split the ontologies in multiple files while keeping them in the same namespace.
Now that we should have all the ontologies in the same namespace, and that we cannot use the namespaced symbols of Clojure anymore, I made the decision to use the more conventional way to write namespaced properties and classes in other RDF serializations which is to delimit the ontology’s prefix
with a colon
like that:
[cc lang=’lisp’ line_numbers=’false’]
[raw](def mike {#’uri “http://foo.com/datasets/people/mike”
#’rdf:type #’foaf:+person
#’iron:pref-label “Mike”
#’foaf:knows [“http://foo.com/datasets/people/fred”]})[/raw]
[/cc]
Revision of the RDF Code Rules
Now let’s revise the set of rules that I defined in the previous blog post:
- A RDF
resource
is defined as a Clojuremap
where:- Every
key
is aVar
that point to afunction
- Every
value
is a:string
- A
string
is considered aliteral
if thekey
is aowl:DatatypeProperty
- A
string
is considered aURI
if thekey
is aowl:ObjectProperty
- A
map
- A
map
represent aliteral
if thevalue
key is present - A
map
represent a reference to anotherresource
if theuri
key is present - A
map
is invalid if it doesn’t have auri
nor avalue
key
- A
vector
- A
vector
refer to multiple values. Values of a vector can bestrings
,maps, symbols
orVars
- A
symbol
- A
symbol
can be created to simplify the serialization. However, these symbols have to reference astring
or avar
object
- A
var
- A
var
reference another entity
- A
- Every
In addition to these rules, there are some more specific rules such as:
- The value of a
uri
key is always astring
- If the #’
rdf:type
key is not defined for aresource
, then theresource
is considered to be of type #’owl:+thing
(since everything is at least an instance of theowl:Thing
class inOWL
)
Finally, there are two additional classes
and datatypes
creation conventions:
- The name of the
classes
starts with a+
sign, like: #’owl:+thing
- The name of the
datatypes
starts with a*
sign, like: #’xsd:*string
As you can see, the rules that govern the serialization of RDF data as Clojure code are minimal and should be simple to understand for someone who is used to Clojure code and that tried to write a few resource examples using this format. Now, let’s apply these rules with a series of examples.
Note 1: in the examples of this blog post, I am referring to Vars like #’uri
, #’value
, #’lang
, #’datatype
, etc. To make the rules simpler to read and understand, consider that these Vars are defined in the user
‘s namespace. However, they are vars that are defined in the rdf.core
namespace that will be made publicly available later.
Note 2: All the properties and classes resource Vars have been defined in the same namespace. They should be included with :require
or :use
like (:use [ontologies.core])
from the ns
function of the Clojure source code file that define this RDF resource. We will discuss about these namespaces in a subsequent blog post.
Revision of Serializing RDF Code in N-Triples
The serialize-ntriples
function got modified to comply with the new set of rules:
[cc lang=’lisp’ line_numbers=’false’]
[raw](declare serialize-ntriples-map-value serialize-ntriples-string-value is-datatype-property?)
(defn serialize-ntriples
[resource]
(let [n3 (atom “”)
iri (get resource #’rdf.core/uri)]
(doseq [[property prop-vals] resource]
(let [property-uri (get (meta property) #’rdf.core/uri)]
; Don’t do anything with the “uri” key
(if (not= property #’rdf.core/uri)
(if (vector? prop-vals)
; Here the value is a vector of maps or values
(doseq [v prop-vals]
(let [val (if (var? v) @v v)]
(if (map? val)
; The value of the vector is a map
(reset! n3 (str @n3 (serialize-ntriples-map-value val iri property-uri)))
(if (string? val)
; The value of the vector is a string
(reset! n3 (str @n3 (serialize-ntriples-string-value val iri property-uri property)))))))
(let [vals (if (var? prop-vals) @prop-vals prop-vals)]
(if (map? vals)
; The value of the property is a map
(reset! n3 (str @n3 (serialize-ntriples-map-value vals iri property-uri)))
(if (string? vals)
; The value of the property is some kind of literal
(reset! n3 (str @n3 (serialize-ntriples-string-value vals iri property-uri property))))))))))
@n3))
(defn- serialize-ntriples-map-value
[m iri property-uri]
(if (not (nil? (get m #’rdf.core/uri)))
; The value is a reference to another resource
(format “<%s> <%s> <%s> .\n” iri property-uri (get m #’rdf.core/uri))
(if (not (nil? (get m #’rdf.core/value)))
; The value is some kind of literal
(let [value (get m #’rdf.core/value)
lang (if (get m #’rdf.core/lang) (str “@” (get m #’rdf.core/lang)) “”)
datatype (if (get m #’rdf.core/datatype) (str “^^<” (get (deref (get m #’rdf.core/datatype)) #’rdf.core/uri) “>”) “”)]
(format “<%s> <%s> \”\”\”%s\”\”\”%s%s .\n” iri property-uri value lang datatype))
(if (string? m)
; The value of the sector is some kind of literal
(format “<%s> <%s> \”\”\”%s\”\”\” .\n” iri property-uri m)))))
(defn- serialize-ntriples-string-value
[s iri property-uri property]
; The value of the vector is a string
(if (true? (is-datatype-property? property))
; The property referring to this value is a owl:DatatypeProperty
(format “<%s> <%s> \”\”\”%s\”\”\” .\n” iri property-uri s)
; The property referring to this value is a owl:ObjectProperty
(format “<%s> <%s> <%s> .\n” iri property-uri s)))
(defn is-datatype-property?
[property]
(if (= (-> property
meta
(get #’ontologies.core/rdf:type)
deref
(get #’rdf.core/uri))
(-> #’ontologies.core/owl:+datatype-property
deref
(get #’rdf.core/uri)))
(eval true)
(eval false)))
[/raw]
[/cc]
Serializing a RDF Resource
Now let’s serialize a new RDF resource using the new set of rules:
[cc lang=’lisp’ line_numbers=’false’]
[raw](def fred {#’uri “http://foo.com/datasets/people/fred”
#’rdf:type [#’foaf:+person #’owl:+thing]
#’iron:pref-label “Fred”
#’iron:alt-label {#’value “Frederick”
#’lang “en”}
#’foaf:skypeID {#’value “frederick.giasson”
#’datatype #’xsd/*string}
#’foaf:knows [{#’uri “http://foo.com/datasets/people/bob”}
mike
“http://foo.com/datasets/people/teo”]})[/raw]
[/cc]
One drawback with these new rules (even if essential) is that they complexify the writing of the RDF resources because of the (heavy) usage of the #'
macro.
However, on the other hand, they may looks like more familiar to people used to RDF serializations because of the usage of the colon
instead of the slash
to split the ontology prefix with the ending of the URI.
What we have above, is how the RDF data is represented in Clojure. However, there is a possibility to make this serialization less compact by creating a macro that would change the input map and automatically inject the usage of the #'
reader macro into the map structures that define the RDF resources.
Here is the r
macro (“r” stands for Resource) that does exactly this:
[cc lang=’lisp’ line_numbers=’false’]
[raw](defmacro r
[form]
(-> (walk/postwalk
(fn [x]
(if (and (symbol? x) (-> x
eval
string?
not))
`(var ~x)
x))
form)))[/raw]
[/cc]
Then you can use it to define all the RDF resources you want to create:
[cc lang=’lisp’ line_numbers=’false’]
[raw](def fred (r {uri “http://foo.com/datasets/people/fred”
rdf:type [foaf:+person owl:+thing]
iron:pref-label “Fred”
iron:alt-label {value “Frederick”
lang “en”}
foaf:skypeID {value “frederick.giasson”
datatype xsd/*string}
foaf:knows [{uri “http://foo.com/datasets/people/bob”}
mike
“http://foo.com/datasets/people/teo”]})[/raw]
[/cc]
That structure is equivalent to the other one because the r
macro will add the #'
reader macro calls to change the input map before creating the resource’s Var
.
By using the r
macro, we can see that the serialization is made much simpler, and that at the end, it is more natural to people used to other RDF serializations.
Conclusion
I used the initial specification in the context of creating a new series of web services for the UMBEL project. This heavy usage of this kind of RDF data leaded to discover the issues I covered in this blog post. Now that these issues are resolved, I am confident that we can move forward in the series of blog posts that covers how (and why!) using Clojure code to serialize RDF data.
The next blog post will cover how to manage the ontologies used to instantiate these RDF resources.