Some missing inverse relations might be needed to build some of the axioms (e.g., role chaining). If these are added then I think we should adopt naming conventions similar to the ones used in the Family History Knowlege Base, e.g., isFatherOf - hasFather.
Some missing inverse relations might be needed to build some of the axioms (e.g., role chaining). If these are added then I think we should adopt naming conventions similar to the ones used in the Family History Knowlege Base, e.g., isFatherOf - hasFather.