@prefix : <#> .
@prefix infr: <http://webns.net/infr/> .
@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#> .

infr:InferenceProperty rdfs:subClassOf rdf:Property; 
   rdfs:comment """The class of all properties that aid inference""" .

infr:uniquelyDefinedBy rdfs:subPropertyOf rdfs:isDefinedBy; 
   rdfs:comment """For uniquelyDefinedBy(x, y), read that x is fully defined by 
                   resource y and is the only normative definition""" .
infr:primarilyDefinedBy rdfs:subPropertyOf rdfs:isDefinedBy; 
   rdfs:comment """For primarilyDefinedBy(x, y), read that x is primarily 
                   defined by resource y, viz. that y is the single largest 
                   factor in defining x. Using this definition, one can assume 
                   that for all x y in uniquelyDefinedBy(x, y) implies that 
                   primarilyDefinedBy(x, y), but not vice versa""" .
infr:secondarilyDefinedBy rdfs:subPropertyOf rdfs:isDefinedBy; 
   rdfs:comment """For secondarilyDefinedBy(x, y), read that x is primarily 
                   defined by resource y, viz. that y is the secons largest 
                   factor in defining x. Implies that for all x y in
                   secondarilyDefinedBy(x, y) there will be some value of z 
                   in primarilyDefinedBy(x, z), and that uniquelyDefinedBy(x, q) 
                   will be false for all q""" .
infr:alsoDefinedBy rdfs:subPropertyOf rdfs:isDefinedBy .

rdfs:seeAlso a infr:InferenceProperty .
daml:equivalentTo a infr:InferenceProperty .
daml:inverseOf a infr:InferenceProperty .

infr:kindaLike a infr:InferenceProperty; 
   rdfs:comment """Generally - is kind of like. Exact semantics not 
                   specified. Useful when the exact semantics of a 
                   relationship aren't known""" .
infr:previously a infr:InferenceProperty; 
   rdfs:comment """For previously(x, y), x was previously known as y. Useful 
                   for tracking a term through versions""" .
infr:replacedBy a infr:InferenceProperty; 
   daml:inverseOf infr:previously .

infr:OutOfDateTerm a infr:InferenceClass .
infr:UpToDateTerm a infr:InferenceClass .

infr:couldBe a infr:InferenceProperty .
infr:inferenceInfoAt a infr:InferenceProperty .
infr:inferenceInfo a infr:InferenceProperty; 
   rdfs:range infr:InferenceInfo; 
   rdfs:comment """A general term. For example, { :x :inferenceInfo [ 
                   :fromVersion "1"; :toVersion "2"; :inferenceInfoAt :y ] } 
                   would mean that 'the inference information that enables you 
                   to convert from version 1 of x to version 2 of x is given at 
                   y, or somesuch. This needs working on.""" .

infr:fromVersion a infr:InferenceProperty; 
   rdfs:domain infr:InferenceInfo .
infr:intoVersion a infr:InferenceProperty; 
   rdfs:domain infr:InferenceInfo .