I am not sure this is the right place for this question.
I am using ORM for fuzzy conceptual query languages, i.e., languages that can deal with fuzzy terms such as "young", "most", "similar to", etc.
I have read formalization of ORM diagrams using the KL language.
Since I am working with an OODBMS, I have to face ...