@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 daml: <http://www.daml.org/2001/03/daml+oil.daml#> .
@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#> .

# Some inverses of RDF Schema terms, quite useful
:hasType daml:inverseOf rdf:type .
:superPropertyOf daml:inverseOf rdfs:subPropertyOf .
:superClassOf daml:inverseOf rdfs:subClassOf .

# Terms about people, and names
:Person rdfs:isDefinedBy 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""";
   rdfs:subPropertyOf rdfs:label .
:name rdfs:subPropertyOf :properName;
   :coinedBy :Sean . # rdf:domain :Person/:Animal/:Thing? What is a name?

# Pride of ownership
:coinedBy a rdf:Property; rdfs:comment "Person coining term";
   :coinedBy :Seth; rdfs:range :Person .

# Titles, and authors - Dublin Core-ish
dc:title rdfs:range dc:Title; # @@ ???
   rdfs:subPropertyOf rdfs:label .
:authorOf daml:inverseOf :author; 
   :coinedBy :Seth .
:author rdfs:subPropertyOf dc:creator .

:URI rdfs:subClassOf dc:Identifier .

# Some other useful terms
:asserts = :says; = earl:asserts .

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

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

: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 
        could be referred to using that namespace""" .

:uniqueNamespace a rdf:Property;
   rdfs:comment 
     """A certain piece of code has a particular namespace, and 
        should be referred to using that namespace alone"""; 
   rdfs:subPropertyOf :usesNamespace .

# e.g.
<> :uniqueNamespace "http://purl.org/swag/util#" . # a literal? I think so

:comments a rdf:Property; rdfs:range rdfs:Resource .

# # @@ a cool mecahnism for commenting a document:-
# [ rdfs:comment "this sucks"; a :YellowSticky ] :comments <> .

# 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 } .
# # daml:equivalentTo daml:equivalentTo daml:equivalentTo .