Dear Christian-Emil, all,
I think we need to distinguish KB and ontology. Right now, it appears to
me that
P50 has current keeper, P52 has current owner, P55 has current location'
are knowledge base constructs, whereas our FOLs are ontological per
definitionem. I believe the better order of
Dear all,
In an email exchange we have discussed the term 'weak inverse shortcut'
introduced in Meghini & Doerr. The conclusion is that the term is problematic
and Martin redefined it as
' an instance of the shortcut property implies an instance of each of the
properties and classes in the