Such decisions should be made with caution because unguarded free variables easily lead to undecidability, as suggested by the research on description logics.
further exploration on this topic should be a future direction but out of the scope of this work.