w3c / N3

W3C's Notation 3 (N3) Community Group
48 stars 18 forks source link

Semantics #91

Closed doerthe closed 1 year ago

doerthe commented 3 years ago

Draft version for definitions and semantics (work in progress)


Preview | Diff


Preview | Diff

domel commented 3 years ago

My general comment is that things like log:implies should be inside <code>log:implies</code>. Another general suggestion is that <math> is used incorrectly .

doerthe commented 3 years ago

My general comment is that things like log:implies should be inside <code>log:implies</code>. Another general suggestion is that <math> is used incorrectly .

You are right about both and I was wondering how to best do it. So, what is your suggestion (I will simply follow :) ): all N3 code example in code context? Other context you'd prefer? I thought I use math in all cases where I have formulas (or something like a formula), what would you use here?

domel commented 3 years ago

My general comment is that things like log:implies should be inside <code>log:implies</code>. Another general suggestion is that <math> is used incorrectly .

You are right about both and I was wondering how to best do it. So, what is your suggestion (I will simply follow :) ): all N3 code example in code context? Other context you'd prefer? I thought I use math in all cases where I have formulas (or something like a formula), what would you use here?

I think that the best option is to use <code> in the regular text. In math block <math> is OK but you need to use other MathML elements inside. If you don't know MathML, I suggest using LibreOffice Math and then copying the formula to the specification.

doerthe commented 3 years ago

My general comment is that things like log:implies should be inside <code>log:implies</code>. Another general suggestion is that <math> is used incorrectly .

You are right about both and I was wondering how to best do it. So, what is your suggestion (I will simply follow :) ): all N3 code example in code context? Other context you'd prefer? I thought I use math in all cases where I have formulas (or something like a formula), what would you use here?

I think that the best option is to use <code> in the regular text. In math block <math> is OK but you need to use other MathML elements inside. If you don't know MathML, I suggest using LibreOffice Math and then copying the formula to the specification.

OK, I will update that. As you can see, I just wrote the mathml texts with quick google search. I simply didn't know better.