# Sample landing page / file created by someone in "publisher" role.
# See http://www.w3.org/wiki/TagIssue57Proposal27 .

# e: = disputed URIs (hashless)
# f: = undisputed URIs (hash)

@prefix e: <http://www.w3.org/2001/tag/2012/09/issue57/>
@prefix f: <http://www.w3.org/2001/tag/2012/09/issue57/U#>
@prefix voc: <http://www.w3.org/2001/tag/2012/09/issue57/vocab#>
@prefix infra: <http://www.w3.org/2001/tag/2012/09/issue57/infra#>

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
@prefix owl: <http://www.w3.org/2002/07/owl#>
@prefix dct: <http://purl.org/dc/terms/>

# The undisputed URIs are:
#   e:U200-lp f:omf f:lp e:U303
#     and anything else beginning f:
#   i.e., all except e:U200-omf 

#    (e:U200-omf is a.k.a. http://example/mutual)

# Undisputed statements:

f:T foaf:name "C. Tomlinson".
f:D foaf:name "C. Dickens".

f:lp dct:creator f:T.
f:omf dct:creator f:D.

f:lp f:ptopic f:omf.
f:omf f:lpage f:lp.

# The following is agreed by community I1/I2 consensus (because of
#  the 303 compromise), but may be disputed by some parties:
#
# e:U303 owl:sameAs f:omf.

# The following is agreed under I1 and I2, but is not compatible with I3:
#
# e:U200-lp owl:sameAs f:lp.
#
# from which follows e.g. e:U200-lp dct:creator f:T.


# The primary objective is for the following to be undisputed as well:

e:U200-omf voc:Q f:T.
e:U200-omf voc:R f:D.

# i.e. it is recommended that data publishers who are interested in
#  interoperabiity use voc:Q and voc:R instead of dct:creator.


#---- Authors of interoperable vocabularies (who might be the same as
#      data publishers) should write this:
# (copied from vocab.ttl for convenient reference)

voc:Q infra:M dct:creator.
voc:R infra:N dct:creator.


#---- Meta-vocabulary authors (schema infrastructure providers) write this:
# (copied from infra.ttl for convenient reference)

infra:M rdfs:comment
 "... the lhs is the rhs composed with F*, where F* is as follows depending on your interpretation:
    I1: identity
    I2: lpage
    I3: proj1
".

infra:N rdfs:comment
 "... the lhs is the rhs composed with G*, where G* is as follows depending on your interpretation:
    I1: ptopic
    I2: identity
    I3: proj2
".

# JAR notes Theorem: if the URI of F* is infra:Fstar, then
#  infra:Fstar infra:M owl:sameAs.
# similarly
#  infra:Gstar infra:N owl:sameAs.
# by the normative semantics of owl:sameAs.


#------ I1

# I1 adherents would say the following, but are asked not to write it:
#
# e:U200-omf owl:differentFrom f:omf.

# The following is incompatible with I3, so is also discouraged:
#
# e:U200-lp owl:sameAs f:lp.

#------ I2

# I2 adherents would say the following, but are asked not to write it:
#
# e:U200-omf owl:sameAs f:omf.
#
# The following is incompatible with I3:
#
# e:U200-omf owl:differentFrom f:omf