@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix ws:  <http://www.w3.org/Addressing/schemes#>.
@prefix : <scheme-registry-rules#>.
@prefix inet: <http://www.w3.org/2001/02pd/rfc65#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.

this log:forAll :orig, :trans, :doc, :scheme, :name, :s, :p, :o, :f, :C.

# The blogspace thing is a transcription of the IANA registry.
# I trust Aaron on this cuz I have verified it with my own eyes...
# I could/should move this transcription inside w3.org...
<,regCache.rdf>
  ws:transcribedFrom
    <http://www.iana.org/assignments/uri-schemes>.

# The ws:Registered class includes all objects
# of statements from the IANA registry whose
# predicate is ws:specifies or ws:reserves.
ws:Registered
  :includesObjectsOf ws:specifies, ws:reserves;
  :accordingTo <http://www.iana.org/assignments/uri-schemes>.

# The registry is trusted about certain properties...
<http://www.iana.org/assignments/uri-schemes>
  :trustedAbout dc:description, ws:schemeName, ws:specifies,
                ws:reserves, inet:rfc.


# whatever a (faithful) semantic-transcription says, the original says.
{ :trans ws:transcribedFrom :orig.
  :trans log:semantics :f }
  log:implies { :orig :says :f }.


# :includesObjectsOf/:accordingTo
# Note that this doesn't completely define (the membership of) :C.
{ :C :includesObjectsOf :p; :accordingTo :doc.
  :doc :says [
      log:includes { :s :p :o }
  ]
} log:implies { :o a :C }.


# If a document is trusted about some property, all
# statements whose predicate is that property are lifed
# into this context.
{ :doc :trustedAbout :p.
  :doc :says [
      log:includes { :s :p :o }
    ].
} log:implies { :s :p :o }.