Local view for "formula box [
rdfs:subClassOf
<_:doco#_:Node54>
[
owl:intersectionOf
(<_:doco#_:Node154>,<_:doco#_:Node45>)
[
rdf:rest
(<_:doco#_:Node45>)
[rdf:first <_:doco#_:Node45>]]]]"

No prefix for _:doco#.
PredicateValue (sorted: none)
rdf:type
owl:Restriction
owl:someValuesFrom
?:formula
owl:onProperty
dcterms:has part

All properties reside in the graph doco

The resource appears as object in one triple:

{ (<_:doco#_:Node45>), rdf:first, <_:doco#_:Node45> }

Context graph

The server does not have the graphviz program dot installed in PATH. See http://www.graphviz.org/ for details.