OK. I agree with you. But what if one could infer such types not only for
subjects but also for properties (domain / range) and objects playing some
role in an statement. And what if this builds hierarchies of more
generalized / specialized types (or what I call 'Kinds'): more / less
attributes in
Yes, it is possible to define classes solely on the properties of the
subjects, following the philosophic view what a thing IS can only be
defined based on the properties that you can percieve in it. This may be
true, but is not useful. Yes, you can say that a Person has a birthDate,
but the de
Yes, it is possible to define classes solely on the properties of the
subjects, following the philosophic view what a thing IS can only be
defined based on the properties that you can percieve in it. This may be
true, but is not useful. Yes, you can say that a Person has a birthDate,
but the de