RDFVizler

java -jar rdfvizler.jar --help

<http://rdfvizler.dyreriket.xyz/vocabulary/core> a owl:Ontology ;

  owl:versionIRI <http://rdfvizler.dyreriket.xyz/vocabulary/core-0.1> ;
  owl:versionInfo "0.1" ;
  dc:date "2019-01-03" ;
  
  rdfs:label "RDFVizler vocabulary" ;
  
  rdfs:comment """ 

    The RDFVizler vocabulary describes graphs which can be converted to
    Graphviz dot graphs and visualised with Graphviz' dot software.

    The basic rules of using the RDFVizler vocabulary are:

    - There must be a single rvz:Rootgraph, this graph can also be a
      rvz:StrictGraph and a rvz:DiGraph (directed graph).
    - All rvz:Node-s, rvz:Edge-s and rvz:SubGraph-s must be
      associated with the rvz:Graph to which is belongs, with
      respectively the properties rvz:hasNode, rvz:hasEdge and
      rvz:hasSubGraph.
    - An rvz:Edge must have a rvz:hasSource and rvz:hasTarget
      which are rvz:Node-s.
    - The vocabulary does not specify any resources in the namespaces
      rvz-a, rvz-n and rvz-e, but these are "catch-all" namespaces
      that are used to associate Graphviz attributes to Graphs, Nodes,
      and Edges.  Any property placed in these namespaces are
      interpreted as attributes, e.g., the property rvz-a:label is
      used set labels since label is an attribute in the DOT language.
      The namespace rvz-a is used to associate an attribute to any
      class, i.e, rvz:Node, rvz:Egde or rvz:Graph, while the
      namespaces rvz-n and rvz-e are used to specify default node
      and edge attributes, respectively, to a Graph.
   """ ;
    
    rdfs:seeAlso <http://rdfvizler.dyreriket.xyz> ;
    dc:creator <http://folk.uio.no/martige/foaf#me> ;
    foaf:logo <http://rdfvizler.dyreriket.xyz/rdfvizler.png> . 
   
rvz:Graph a owl:Class.

rvz:RootGraph a owl:Class; 
  rdfs:subClassOf rvz:Graph ;
  rdfs:comment "Every graph must have exactly one RootGraph." .

rvz:DiGraph a owl:Class; 
  rdfs:subClassOf rvz:RootGraph ;
  rdfs:comment "A directed graph, i.e., edges have a direction" .

rvz:StrictGraph a owl:Class;
  rdfs:subClassOf rvz:RootGraph ;
  rdfs:comment """A strict graph "forbids the creation of multi-edges". 
    For more details see https://www.graphviz.org/doc/info/lang.html. """ .

rvz:Node a owl:Class ;
  rdfs:comment "A graph node" .

rvz:Edge a owl:Class ;
  rdfs:comment "A graph edge. An edge must have a source node and a target node." .

rvz:hasID a owl:DatatypeProperty ;
  rdfs:comment "Associates an ID label to a graph, node or edge.".
    
rvz:hasNode a owl:ObjectProperty ;
  rdfs:domain rvz:Graph ;
  rdfs:range rvz:Node ;
  rdfs:comment "Associates a node with the graph to which it belongs." .
  
rvz:hasEdge a owl:ObjectProperty ;
  rdfs:domain rvz:Graph ;
  rdfs:range rvz:Edge ;
  rdfs:comment "Associates an edge with the graph to which it belongs." .
  
rvz:hasSource a owl:ObjectProperty ;
  rdfs:domain rvz:Edge ;
  rdfs:range rvz:Node ;
  rdfs:comment "Associates an edge with its source node." .
  
rvz:hasTarget a owl:ObjectProperty ;
  rdfs:domain rvz:Edge ;
  rdfs:range rvz:Node ;
  rdfs:comment "Associates an edge with its target node." .
  
rvz:hasSubGraph a owl:ObjectProperty ;
  rdfs:domain rvz:Graph ;
  rdfs:range rvz:Graph .

@prefix :      <urn:temp#>


// Set some defaults
[init:
->
   (:graph rdf:type rvz:RootGraph)
   (:graph rdf:type rvz:DiGraph)
   (:graph rvz-a:rankdir "LR")
   (:graph rvz-a:nodesep "0.3")
   (:graph rvz-a:ranksep "0.3")
   (:graph rvz-a:center "true")
   (:graph rvz-a:overlap "false")
   (:graph rvz-a:splines "true")
   // node defaults
   (:graph rvz-n:shape "box")
   (:graph rvz-n:fontname "Arial")
   (:graph rvz-n:fontsize "10px")
   (:graph rvz-n:height "0")
   (:graph rvz-n:width "0")
   // edge defaults
   (:graph rvz-e:fontname "Arial")
   (:graph rvz-e:fontsize "10px")
]

// Add nodes and edges for (almost) all triples.
[Triples2Dot:
  (?xs ?xp ?xo)
  namespace(?xp, ?ns)
  // need this to terminate: do not include rule produced triples
  notEqual(?ns, "urn:temp#")
  notEqual(?ns, "http://rdfvizler.dyreriket.xyz/vocabulary/core#")
  notEqual(?ns, "http://rdfvizler.dyreriket.xyz/vocabulary/attribute#")
  notEqual(?ns, "http://rdfvizler.dyreriket.xyz/vocabulary/attribute-default-node#")
  notEqual(?ns, "http://rdfvizler.dyreriket.xyz/vocabulary/attribute-default-edge#")
  // do not include type relationships
  notEqual(?xp, rdf:type)
  // literals cannot be subjects, so we just skolemise everything to get a usable ID:
  makeSkolem(?s, ?xs)
  makeSkolem(?p, ?xs, ?xp, ?xo)
  makeSkolem(?o, ?xo)
  shortvalue(?xp, ?pname)
->
  (?s rvz:hasID ?xs)
  (?o rvz:hasID ?xo)
  (:graph rvz:hasEdge ?p)
  (:graph rvz:hasNode ?s)
  (:graph rvz:hasNode ?o)
  (?p rvz:hasSource ?s)
  (?p rvz:hasTarget ?o)
  (?p rvz-a:label ?pname)
]

// style URIs
[URIs:
  (:graph rvz:hasNode ?node) (?node rvz:hasID ?id)
  notBNode(?id) notLiteral(?id)
  typedvalue(?id, ?name)
->
  (?node rvz-a:label ?name)
  (?node rvz-a:style "filled")
  (?node rvz-a:fillcolor "lightskyblue")
  (?node rvz-a:URL ?id)
]

// style blank nodes
[Blanks:
  (:graph rvz:hasNode ?node) (?node rvz:hasID ?id)
  isBNode(?id)
  typedvalue(?id, ?name)
->
  (?node rvz-a:label ?name)
  (?node rvz-a:style "filled,dashed")
  (?node rvz-a:fillcolor "gray90")
  (?node rvz-a:height ".3")
  (?node rvz-a:width ".3")
]

// style literals
[Literals:
  (:graph rvz:hasNode ?node) (?node rvz:hasID ?id)
  isLiteral(?id)
  typedvalue(?id, ?name)
->
  (?node rvz-a:label ?name)
  (?node rvz-a:style "rounded,filled")
  (?node rvz-a:fillcolor "lemonchiffon")
  (?node rvz-a:fontname "Times")
]