search

w3c-cg / rdfsurfaces

RDF Surfaces is classical first-order logic with negation in RDF
https://w3c-cg.github.io/rdfsurfaces/
Other
8 stars 3 forks source link

Fix typos #10

Closed joachimvh closed 4 months ago

joachimvh commented 4 months ago

I specifically wanted to fix example 22 where it states that ∀ _:X : _:X a :Person AND _:X :knows :Alice is equivalent to "Every person knows Alice", while it should be "Everything is a person and knows Alice". Besides that I also fixed some typos that I found. My IDE also wanted to remove all trailing spaces on many lines but I refrained from doing that as I didn't know what the preference would be.

phochste commented 4 months ago

Thanks @joachimvh and @TallTed for the fixes & fixes of fixes.

TallTed commented 4 months ago

What is the actual "source" file here, the .html or the .bs? I want to fix the one that is meant to be human-edited, such that those fixes get carried into the machine-generated.

phochste commented 4 months ago

@TallTed The source file is index.bs. We don't have automatic builds yet. A make web generates the index.html from the index.bs. If you have any other additions you can create a pull request for the index.bs.

joachimvh commented 4 months ago

@TallTed The source file is index.bs. We don't have automatic builds yet. A make web generates the index.html from the index.bs. If you have any other additions you can create a pull request for the index.bs.

Doesn't that mean that my PR here is wrong and the index.bs file should have been edited instead? I missed that there was one.

phochste commented 4 months ago

@joachimvh yes, I think you need to add a new pull request.