Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update definition of bot:hasSpace #90

Closed
GeorgFerdinandSchneider opened this issue Jul 27, 2020 · 2 comments · Fixed by #95
Closed

Update definition of bot:hasSpace #90

GeorgFerdinandSchneider opened this issue Jul 27, 2020 · 2 comments · Fixed by #95
Labels
Revision of descriptions Revision of some definitions in bot according to discussions in related issues
Milestone
v0.3.2

Comments

@GeorgFerdinandSchneider
Copy link
Collaborator

GeorgFerdinandSchneider commented Jul 27, 2020 •
edited
Loading

raised by @mariapoveda through LINK

could it be "or" instead of "and"?

'Relation to spaces contained in a zone. The typical domains of bot:hasSpace are instances of bot:Storey and bot:Building.'

proposal

'Relation to spaces contained in a zone. The typical domains of bot:hasSpace are instances of bot:Storey or bot:Building.'
@GeorgFerdinandSchneider GeorgFerdinandSchneider added the Revision of descriptions Revision of some definitions in bot according to discussions in related issues label Jul 27, 2020
@GeorgFerdinandSchneider GeorgFerdinandSchneider added this to the v0.3.2 milestone Jul 27, 2020
@GeorgFerdinandSchneider
Copy link
Collaborator Author

+1 by me and @maximelefrancois86 in spreadsheet

@GeorgFerdinandSchneider
Copy link
Collaborator Author

GeorgFerdinandSchneider commented Jul 28, 2020 •
edited
Loading

Accepted by 28 July 2020

Applied by 31 July 2020

Closed
GeorgFerdinandSchneider added a commit that referenced this issue Jul 31, 2020
@GeorgFerdinandSchneider
Created file to preserve v0.3.1
33acb58 
added labels and comments as of 31/07/2020 pending #90 #88 #87 #47
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Revision of descriptions Revision of some definitions in bot according to discussions in related issues
Projects
None yet
Milestone
v0.3.2
Development

Successfully merging a pull request may close this issue.

Performing changes for v0.3.2 w3c-lbd-cg/bot
1 participant
@GeorgFerdinandSchneider