(I did not know where the semantics document is, that is why I do not raise this as a PR.)
In §2.2 Terms, Triples and Graphs, in the example part, the translation of {?x a :Human} => {?x a :Mortal}. seems to miss an extra parenthesis. It currently ends with :Mortal)}>}), and it should be, I believe, :Mortal)}>)}). Note the missing ) character after the > character.
doerthe
commented
1 year ago
(I did not know where the semantics document is, that is why I do not raise this as a PR.)
In §2.2 Terms, Triples and Graphs, in the example part, the translation of
{?x a :Human} => {?x a :Mortal}.seems to miss an extra parenthesis. It currently ends with:Mortal)}>}), and it should be, I believe,:Mortal)}>)}). Note the missing)character after the>character.