@prefix : <#> .
@prefix util: <http://purl.org/swag/util#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix swag: <http://purl.org/swag/termsplayground#> .
@prefix swaguri: <http://purl.org/swag/uriterms#> .
@prefix wn: <http://xmlns.com/wordnet/1.6/> .
@prefix earl: <http://www.w3.org/2001/03/earl/0.9#> .

:hasType daml:inverseOf rdf:type .
:superPropertyOf daml:inverseOf rdfs:subPropertyOf .
:superClassOf daml:inverseOf rdfs:subClassOf .

:Person = wn:Person; a rdfs:Class .
:properName a rdf:Property; :coinedBy :Seth; 
   rdfs:comment """The full proper name of anything that would be 
     capitalized if used in natural language""" .
:name rdfs:subPropertyOf :properName;
   :coinedBy :Sean .

:coinedBy a rdf:Property; rdfs:comment "Person coining term";
   :coinedBy :Seth .

dc:title rdfs:range :Title; 
   rdfs:subClassOf rdfs:label .
:authorOf daml:inverseOf :author; 
   :coinedBy :Seth .

:asserts = :says; = earl:asserts .

:definesConcept a rdf:Property; 
   rdfs:domain :URI; rdfs:range rdfs:Resource;
    rdfs:comment """For definesConcept(a,b) the URI a defines the concept 
                    of b. No statement is made about time variance""" .

:kindaLike a rdf:Property; = swag:kindLike . # ; = aaron:kindaLike . namespace?

:URIof a rdf:Property; rdfs:range rdfs:Literal; # = log:URIof?
   :kindaLike [ daml:inverseOf swaguri:networkEntityOf ] .

:startsWith a rdf:Property . # = log:startsWith? aboutEachPrefix? Useful

:usesNamespace a rdf:Property; = swaguri:hasNamespace; # ; = log:usesNamespace?
   rdfs:comment 
     """A certain piece of code has a particular namespace, and 
        should be referred to using that namespace alone""" .

# Other junk
<> :author [ :name "Sean B. Palmer"; :email <mailto:sean@mysterylights.com>;
             :homepage <http://purl.org/net/sbp/> ] .

# Rules for equivalence:-
# 
# <> log:forAll :p , :q , :x1 , :y1 , :z1 , :p1 , :x2 , :y2 , :z2 , :p2 , 
# :x3 , :y3 , :z3 , :p3 .
# { :p = :q } log:implies { :q = :p } .
# { :x1 :y1 :z1 . :p1 = :x1 } log:implies { :p1 :y1 :z1 } .
# { :x2 :y2 :z2 . :p2 = :y2 } log:implies { :x2 :p2 :z2 } .
# { :x3 :y3 :z3 . :p3 = :z3 } log:implies { :x3 :y3 :p3 } .