@prefix : <#> .
@prefix infr: .
@prefix rdf: .
@prefix rdfs: .
@prefix daml: .
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 .