# Sketch of a meta-vocabulary to be provided to vocabulary definers.
# That is, the properties defined here would be shared by many vocabularies.

# Ideally the meta-vocabulary would be provided at the level of a
# Recommendation and used widely.

# See http://www.w3.org/wiki/TagIssue57Proposal27 .

@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#>

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
Where proj1 x = proj2 x and/or lpage is not defined, perhaps F* would act 
as the identity.  ? verify
".

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
Where proj1 x = proj2 x and/or ptopic is not defined, perhaps G* would act 
as the identity.   ? verify
".

# These are for use by processing rules (e.g. inside of Tabulator).

infra:Fstar infra:M owl:sameAs.
infra:Gstar infra:N owl:sameAs.

infra:Fstar rdf:type owl:functionalProperty.
infra:Gstar rdf:type owl:functionalProperty.