Dear Martin,
Thinking about your last comment again, would it be acceptable to you to add
notes to certain FOL axioms? For example, one note in the P89 FOL and two notes
in the P7 FOL:
P89 FOL:
domain, range
P89(x,x)
P89(x,y) ∧ P89(y,z) ⇒ P89(x,z)
Note: Typically, a knowledge base will not in
Dear Wolfgang,
Your proposal well-taken, but please!, it is the SIG that decides:
"would it be acceptable to you to", not me.
At best, I may support a particular proposal.
My opinion: of course, comments are most welcome!!!. We have to consider:
A) keep the Definition document as small as pos
