KR 2026 homework part 1 - Redigeerimiste ajalugu

Riina: /* Task */

2026-03-03T11:04:38Z

Task

←Vanem redaktsioon		Redaktsioon: 3. märts 2026, kell 13:04
15. rida:		15. rida:
	* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).		* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).

	* Fourth, invent and add sensible common-sense rules about the physical objects in the room. Try to make some rules a little more complex, e.g., make one rule use another rule.		* Fourth, invent and add sensible common-sense rules about the physical objects in the room. Try to make some rules a little more complex, e.g., make one rule use another rule, use arithmetic predicates etc.

	* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions (at least 5) about the room. Both successes and failures are interesting.		* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions (at least 5) about the room. Both successes and failures are interesting.

Riina: /* Task */

2026-03-03T10:58:47Z

Task

←Vanem redaktsioon		Redaktsioon: 3. märts 2026, kell 12:58
15. rida:		15. rida:
	* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).		* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).

	* Fourth, invent and add sensible common-sense rules about the physical objects in the room.		* Fourth, invent and add sensible common-sense rules about the physical objects in the room. Try to make some rules a little more complex, e.g., make one rule use another rule.

	* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions (at least 5) about the room. Both successes and failures are interesting.		* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions (at least 5) about the room. Both successes and failures are interesting.

Riina – 20. veebruar 2026, kell 05:49

2026-02-20T05:49:24Z

←Vanem redaktsioon		Redaktsioon: 20. veebruar 2026, kell 07:49
17. rida:		17. rida:
	* Fourth, invent and add sensible common-sense rules about the physical objects in the room.		* Fourth, invent and add sensible common-sense rules about the physical objects in the room.

	* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions about the room. Both successes and failures are interesting.		* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions (at least 5) about the room. Both successes and failures are interesting.

	Observe that logictools is able to understand a specific json format, which includes a subset of json-ld. See https://logictools.org/json.html , the "examples" selection box and the spec https://github.com/tammet/json-ld-logic for that. Under "Advanced" button you can convert between two representations. NB! This conversion does not convert conventional logic to json-ld. Also, using json-ld directly as a first format for representation might be cumbersone, and logictool has different quirks and limitations handling json-ld directly. In other words, while it makes sense to experiment with logictools with json-ld, use this combo for experimentation, and maybe not as a primary representation format, unless you are brave :)		Observe that logictools is able to understand a specific json format, which includes a subset of json-ld. See https://logictools.org/json.html , the "examples" selection box and the spec https://github.com/tammet/json-ld-logic for that. Under "Advanced" button you can convert between two representations. NB! This conversion does not convert conventional logic to json-ld. Also, using json-ld directly as a first format for representation might be cumbersone, and logictool has different quirks and limitations handling json-ld directly. In other words, while it makes sense to experiment with logictools with json-ld, use this combo for experimentation, and maybe not as a primary representation format, unless you are brave :)

Riina: /* Ideas and inspiration */

2026-02-16T09:20:23Z

Ideas and inspiration

←Vanem redaktsioon		Redaktsioon: 16. veebruar 2026, kell 11:20
39. rida:		39. rida:
	* https://www.w3.org/WoT/		* https://www.w3.org/WoT/
	* https://www.w3.org/TR/2025/WD-wot-thing-description-2.0-20251104/#td-basic-types-mapping		* https://www.w3.org/TR/2025/WD-wot-thing-description-2.0-20251104/#td-basic-types-mapping
			* http://www.funstep.org/ontology/ \| http://www.funstep.org/download/ \| Visualiseerimiseks näiteks: https://protege.stanford.edu/

	Space and time, fairly complex ideas:		Space and time, fairly complex ideas:

Riina – 10. veebruar 2026, kell 08:30

2026-02-10T08:30:42Z

←Vanem redaktsioon		Redaktsioon: 10. veebruar 2026, kell 10:30
43. rida:		43. rida:

	* https://www.irit.fr/publis/LILAC/V-SRR97.pdf		* https://www.irit.fr/publis/LILAC/V-SRR97.pdf

			== 10. veebruari harjutus ==

			<pre>
			nextTo(sofa, lamp).
			nextTo(cabinet, desk).
			nextTo(cabinet, plant1).
			attachedTo(cabinet, hanger).
			on(desk, plant2).
			on(desk, glass).
			on(desk, papers).
			on(papers, phone).
			in(glass, water).
			nextTo(desk, window).
			nextTo(desk, curtains).
			nextTo(window, curtains).
			name(plant1, "Ficus benjamina").
			name(plant2, "Spathiphyllum").
			weight(cabinet, 90).

			color(sofa, 'olive green').
			color(curtains, blue).
			color(plant1, green).
			color(plant2, green).

			plant(plant1).
			plant(plant2).

			%rules
			on(X,Y) & in(Y,Z) => on(X,Z).
			on(X,Y) => below(Y,X).
			on(X,Y) & on(Y,Z) => on(X,Z).

			%questions
			%color(sofa, Color) => $ans(Color).
			furniture(X) & weight(X, Kaal) & $greatereq(Kaal, 50) => $ans(X, Kaal).
			%plant(X) & name(X, Name1) & plant(Y) & name(Y, Name2) & Name1!=Name2 => $ans(X, Name1,Y, Name2).
			</pre>

Tammet: /* Ideas and inspiration */

2026-02-02T15:49:15Z

Ideas and inspiration

←Vanem redaktsioon		Redaktsioon: 2. veebruar 2026, kell 17:49
39. rida:		39. rida:
	* https://www.w3.org/WoT/		* https://www.w3.org/WoT/
	* https://www.w3.org/TR/2025/WD-wot-thing-description-2.0-20251104/#td-basic-types-mapping		* https://www.w3.org/TR/2025/WD-wot-thing-description-2.0-20251104/#td-basic-types-mapping

			Space and time, fairly complex ideas:

			* https://www.irit.fr/publis/LILAC/V-SRR97.pdf

Tammet: /* Task */

2026-02-02T15:45:19Z

Task

←Vanem redaktsioon		Redaktsioon: 2. veebruar 2026, kell 17:45
17. rida:		17. rida:
	* Fourth, invent and add sensible common-sense rules about the physical objects in the room.		* Fourth, invent and add sensible common-sense rules about the physical objects in the room.

	* Fifth, ~~demostrate~~ how https://logictools.org/ is able to answer (or not) various questions about the room.		* Fifth, demonstrate how https://logictools.org/ is able to answer (or not) various questions about the room. Both successes and failures are interesting.

	Observe that logictools is able to understand a specific json format, which includes a subset of json-ld. See https://logictools.org/json.html , the "examples" selection box and the spec https://github.com/tammet/json-ld-logic for that. Under "Advanced" button you can convert between two representations. NB! This conversion does not convert conventional logic to json-ld. Also, using json-ld directly as a first format for representation might be cumbersone, and logictool has different quirks and limitations handling json-ld directly. In other words, while it makes sense to experiment with logictools with json-ld, use this combo for experimentation, and maybe not as a primary representation format, unless you are brave :)		Observe that logictools is able to understand a specific json format, which includes a subset of json-ld. See https://logictools.org/json.html , the "examples" selection box and the spec https://github.com/tammet/json-ld-logic for that. Under "Advanced" button you can convert between two representations. NB! This conversion does not convert conventional logic to json-ld. Also, using json-ld directly as a first format for representation might be cumbersone, and logictool has different quirks and limitations handling json-ld directly. In other words, while it makes sense to experiment with logictools with json-ld, use this combo for experimentation, and maybe not as a primary representation format, unless you are brave :)

Tammet: /* Task */

2026-02-02T15:44:40Z

Task

←Vanem redaktsioon		Redaktsioon: 2. veebruar 2026, kell 17:44
9. rida:		9. rida:
	How to proceed:		How to proceed:

	* First, take a photo (or better, a few photos) of an ordinary room with a reasonable number of various objects. The photo will be made public. Do not use a room somebody else is using for the same task! You will have to formalize the room ~~information~~, using this photo.		* First, take a photo (or better, a few photos) of an ordinary room with a reasonable number of various objects. The photo will be made public. Do not use a room somebody else is using for the same task! You will have to formalize information about the contents of the room, using this photo.

	* Second, formalize the contents using a conventional logic format understandable by https://logictools.org/ . You cannot realistically formalize everything in a room: do it to a reasonable, yet interesting level.		* Second, formalize the contents using a conventional logic format understandable by https://logictools.org/ . You cannot realistically formalize everything in a room: do it to a reasonable, yet interesting level / number of objects described.

	* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).		* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).

Tammet – 2. veebruar 2026, kell 15:43

2026-02-02T15:43:04Z

←Vanem redaktsioon		Redaktsioon: 2. veebruar 2026, kell 17:43
11. rida:		11. rida:
	* First, take a photo (or better, a few photos) of an ordinary room with a reasonable number of various objects. The photo will be made public. Do not use a room somebody else is using for the same task! You will have to formalize the room information, using this photo.		* First, take a photo (or better, a few photos) of an ordinary room with a reasonable number of various objects. The photo will be made public. Do not use a room somebody else is using for the same task! You will have to formalize the room information, using this photo.

	* Second, formalize the contents using a conventional logic format understandable by https://logictools.org/ .		* Second, formalize the contents using a conventional logic format understandable by https://logictools.org/ . You cannot realistically formalize everything in a room: do it to a reasonable, yet interesting level.

	* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).		* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).

Tammet: /* Task */

2026-02-02T15:32:02Z

Task

←Vanem redaktsioon		Redaktsioon: 2. veebruar 2026, kell 17:32
15. rida:		15. rida:
	* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).		* Third, convert the contents to [https://json-ld.org/ json-ld]: the point here is to get some experience with json-ld, not that you really need it for the following steps here (although you can use it with the https://github.com/tammet/json-ld-logic extension).

	* Fourth, invent and add sensible common-sense rules about the physical objects.		* Fourth, invent and add sensible common-sense rules about the physical objects in the room.

	* Fifth, demostrate how https://logictools.org/ is able to answer (or not) various questions about the room.		* Fifth, demostrate how https://logictools.org/ is able to answer (or not) various questions about the room.