Property: expected type
Definition: The expected type of the object referred to by this property [1].
- is expected type equalt to rdfs:range?
- Is it the most probable type among all other types that the object might have?
Property: type.property.schema
Definition: The link from a property to its underlying type. This forces a property to only belong to a single type [1].
- Is type.property.schema equal to rdfs:domain?
- What do they mean by the link? and does a property belong to a single type?
- Does it mean that we are now forced to use only one type from
rdfs:domain
? - I am a little confused because from what I understood, properties can have multiple types right?
I'm not a freebase user, so I don't have a lot of context for the Freebase specific parts, here, but I can speak about about possible relationships to
I'd interpret a description like:
to mean something weaker than what rdfs:range means. The rdfs:range property means that you can infer that the object of a triple with that property actually has the range as a type. That is, from:
p rdfs:range R
and
x p y
you can infer that
y rdf:type R
If you can independently infer that y does not have type R, then you have a logical inconsistency. However, it sounds like with "expected type", you'd just have something "unexpected", but not necessarily a logical inconsistency. For instance, you might expect a price to be stated in some national currency, but it's not incorrect to state it in something else, just unexpected.
On the other hand, the definition:
actually does seem like a pretty good match to rdfs:domain. If you know that something has a value for the property, then the thing with the property must have the specified type. However, I don't know whether freebase has another object model more akin to a (common) object-oriented programming language, where properties "belong" to classes. In RDF, properties don't really belong to types.