linked-rolls 0.74.0 → 0.75.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (32) hide show
  1. package/README.md +41 -11
  2. package/lib/collation/Collation.d.ts +4 -0
  3. package/lib/collation/Collation.js +7 -2
  4. package/lib/filiation/adoption.d.ts +27 -4
  5. package/lib/filiation/adoption.js +73 -13
  6. package/lib/filiation/edits.d.ts +12 -1
  7. package/lib/filiation/edits.js +54 -5
  8. package/lib/filiation/index.d.ts +1 -0
  9. package/lib/filiation/index.js +1 -0
  10. package/lib/filiation/record.d.ts +79 -0
  11. package/lib/filiation/record.js +120 -0
  12. package/lib/index.d.ts +1 -0
  13. package/lib/index.js +1 -0
  14. package/lib/io/asJsonLd.d.ts +5 -1
  15. package/lib/io/asJsonLd.js +40 -17
  16. package/lib/io/importJsonLd.js +13 -2
  17. package/lib/io/migrate.js +30 -1
  18. package/lib/model/Assumption.d.ts +86 -3
  19. package/lib/model/Assumption.js +39 -2
  20. package/lib/model/Edit.d.ts +10 -6
  21. package/lib/model/Edit.js +4 -2
  22. package/lib/model/Edition.d.ts +10 -1
  23. package/lib/model/RollCopy.js +1 -1
  24. package/lib/model/Version.d.ts +29 -3
  25. package/lib/model/Version.js +34 -5
  26. package/lib/ops/edits.d.ts +3 -1
  27. package/lib/ops/edits.js +20 -7
  28. package/lib/schema.json +115 -100
  29. package/lib/software.d.ts +11 -0
  30. package/lib/software.js +9 -0
  31. package/lib/spec/context.json +6 -0
  32. package/package.json +1 -1
package/lib/schema.json CHANGED
@@ -340,11 +340,11 @@
340
340
  {
341
341
  "properties": {
342
342
  "@annotation": {
343
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
343
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
344
344
  "properties": {
345
345
  "belief": {
346
346
  "$ref": "#/definitions/Belief",
347
- "description": "The belief held about the annotated statement.",
347
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
348
348
  "ontology": "crminf:J4i is subject of"
349
349
  },
350
350
  "@id": {
@@ -353,7 +353,6 @@
353
353
  }
354
354
  },
355
355
  "required": [
356
- "belief",
357
356
  "@id"
358
357
  ],
359
358
  "type": "object"
@@ -373,11 +372,11 @@
373
372
  {
374
373
  "properties": {
375
374
  "@annotation": {
376
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
375
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
377
376
  "properties": {
378
377
  "belief": {
379
378
  "$ref": "#/definitions/Belief",
380
- "description": "The belief held about the annotated statement.",
379
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
381
380
  "ontology": "crminf:J4i is subject of"
382
381
  },
383
382
  "@id": {
@@ -386,7 +385,6 @@
386
385
  }
387
386
  },
388
387
  "required": [
389
- "belief",
390
388
  "@id"
391
389
  ],
392
390
  "type": "object"
@@ -412,11 +410,11 @@
412
410
  {
413
411
  "properties": {
414
412
  "@annotation": {
415
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
413
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
416
414
  "properties": {
417
415
  "belief": {
418
416
  "$ref": "#/definitions/Belief",
419
- "description": "The belief held about the annotated statement.",
417
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
420
418
  "ontology": "crminf:J4i is subject of"
421
419
  },
422
420
  "@id": {
@@ -425,7 +423,6 @@
425
423
  }
426
424
  },
427
425
  "required": [
428
- "belief",
429
426
  "@id"
430
427
  ],
431
428
  "type": "object"
@@ -456,11 +453,11 @@
456
453
  "description": "A derivation names the version another one was derived from, together with the tolerance the two were collated at. How precisely the copies put a symbol depends on what they are and on how their features were obtained, so the tolerance can differ from derivation to derivation.",
457
454
  "properties": {
458
455
  "@annotation": {
459
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
456
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
460
457
  "properties": {
461
458
  "belief": {
462
459
  "$ref": "#/definitions/Belief",
463
- "description": "The belief held about the annotated statement.",
460
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
464
461
  "ontology": "crminf:J4i is subject of"
465
462
  },
466
463
  "@id": {
@@ -469,7 +466,6 @@
469
466
  }
470
467
  },
471
468
  "required": [
472
- "belief",
473
469
  "@id"
474
470
  ],
475
471
  "type": "object"
@@ -498,14 +494,14 @@
498
494
  "type": "string"
499
495
  },
500
496
  "Edit": {
501
- "description": "A set of edits transforms a version of a roll into another version. Edits insert or delete symbols, or both (= replace). Edits may be motivated by a given set of reasons, e.g. to add an additional accent or to correct an error. If an edit is the interpretation of a metamark, such as a pencil mark, this should be made explicit using a meaning comprehension on the `@annotation` field. An edit states no date. That it ended no later than the act that made a feature carrying a symbol it inserts, a reasoner derives with the axioms of reo.ttl; which of those dates bounds it closest is for a query to pick.",
497
+ "description": "A set of edits transforms a version of a roll into another version. Edits insert or delete symbols, or both (= replace). Edits may be motivated by a given set of reasons, e.g. to strengthen an accent or to correct an error. If an edit is the interpretation of a metamark, such as a pencil mark, this should be made explicit using a meaning comprehension on the `@annotation` field. An edit states no date. That it ended no later than the act that made a feature carrying a symbol it inserts, a reasoner derives with the axioms of reo.ttl; which of those dates bounds it closest is for a query to pick.",
502
498
  "properties": {
503
499
  "@annotation": {
504
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
500
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
505
501
  "properties": {
506
502
  "belief": {
507
503
  "$ref": "#/definitions/Belief",
508
- "description": "The belief held about the annotated statement.",
504
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
509
505
  "ontology": "crminf:J4i is subject of"
510
506
  },
511
507
  "@id": {
@@ -514,7 +510,6 @@
514
510
  }
515
511
  },
516
512
  "required": [
517
- "belief",
518
513
  "@id"
519
514
  ],
520
515
  "type": "object"
@@ -529,7 +524,7 @@
529
524
  },
530
525
  "editType": {
531
526
  "$ref": "#/definitions/EditType",
532
- "description": "The type of editorial change (e.g. 'correct-error', 'additional-accent').",
527
+ "description": "The type of editorial change, as its shape shows it (e.g. 'shift', 'additional-accent').",
533
528
  "ontology": "crm:P2 has type"
534
529
  },
535
530
  "insert": {
@@ -564,14 +559,13 @@
564
559
  "ontology": "reo:Edit"
565
560
  },
566
561
  "EditType": {
567
- "description": "The type of editorial change applied to a symbol or set of symbols. Classifies the nature of the edit, e.g. whether it corrects an error, adds an accent, shifts a note, or shortens/prolongs a perforation.",
562
+ "description": "The type of editorial change applied to a symbol or set of symbols. Classifies the shape of the edit, e.g. whether it adds an accent, shifts a note, or shortens/prolongs a perforation. Why it was made is its motivation.",
568
563
  "enum": [
569
564
  "additional-accent",
570
565
  "add-redundancy",
571
566
  "remove-redundancy",
572
567
  "recoding",
573
568
  "shift",
574
- "correct-error",
575
569
  "shorten",
576
570
  "prolong"
577
571
  ],
@@ -601,6 +595,14 @@
601
595
  "type": "string",
602
596
  "ontology": "dcterms:license"
603
597
  },
598
+ "propositionSets": {
599
+ "description": "The statements the edition holds together under one belief, each set with the reasoning that concluded it: a stemma a program proposed and the editor adopted, the edits it grouped. A statement belongs to a set by naming it in its annotation. An edition that holds no such set leaves it out.",
600
+ "items": {
601
+ "$ref": "#/definitions/PropositionSet"
602
+ },
603
+ "type": "array",
604
+ "ontology": "crminf:I4 Proposition Set"
605
+ },
604
606
  "referenceCopy": {
605
607
  "description": "The copy whose millimetres are the edition's axis, by id: every place the edition gives along the roll is a place on this copy's paper, counted from where its scan begins, and every other copy is aligned onto it. Choosing it is the one editorial decision the alignment leaves; a copy scanned whole and without tears serves best, since its places are what notes and readers cite. Left out, it is the first copy with features that is not aligned (`referenceCopyOf`).",
606
608
  "type": "string",
@@ -936,6 +938,11 @@
936
938
  "type": "array",
937
939
  "ontology": "crminf:J3 applied"
938
940
  },
941
+ "date": {
942
+ "$ref": "#/definitions/TimeSpan",
943
+ "description": "When the conclusion was drawn. It is part of the reason and carries no belief of its own, and it tells a run of a program from the next, since a program may conclude otherwise once it, or what it used, has changed.",
944
+ "ontology": "crm:P4 has time-span"
945
+ },
939
946
  "note": {
940
947
  "description": "A free-text note providing additional context.",
941
948
  "type": "string",
@@ -949,6 +956,14 @@
949
956
  "type": "array",
950
957
  "ontology": "crminf:J1 used as premise"
951
958
  },
959
+ "software": {
960
+ "description": "The programs that drew the conclusion, each with its version, where a program drew it: a stemma `proposeStemma` found, which the editor ran and holds. The actor is the one who ran it, since a program holds no belief. Naming software makes the inference a digital machine event in the sense of CRMdig, which can be run again on what it used, and the note states what it was run with.",
961
+ "items": {
962
+ "$ref": "#/definitions/Software"
963
+ },
964
+ "type": "array",
965
+ "ontology": "crmdig:L23 used software or firmware"
966
+ },
952
967
  "used": {
953
968
  "description": "References (by `@id`) to what the inference worked on besides beliefs, such as the versions it compared, the analysis output it cites, or the document holding a premise named by IRI, in the state it was read in, since a belief published elsewhere may move after the edition has used it.",
954
969
  "items": {
@@ -1710,11 +1725,11 @@
1710
1725
  {
1711
1726
  "properties": {
1712
1727
  "@annotation": {
1713
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
1728
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
1714
1729
  "properties": {
1715
1730
  "belief": {
1716
1731
  "$ref": "#/definitions/Belief",
1717
- "description": "The belief held about the annotated statement.",
1732
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
1718
1733
  "ontology": "crminf:J4i is subject of"
1719
1734
  },
1720
1735
  "@id": {
@@ -1723,7 +1738,6 @@
1723
1738
  }
1724
1739
  },
1725
1740
  "required": [
1726
- "belief",
1727
1741
  "@id"
1728
1742
  ],
1729
1743
  "type": "object"
@@ -1748,11 +1762,11 @@
1748
1762
  {
1749
1763
  "properties": {
1750
1764
  "@annotation": {
1751
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
1765
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
1752
1766
  "properties": {
1753
1767
  "belief": {
1754
1768
  "$ref": "#/definitions/Belief",
1755
- "description": "The belief held about the annotated statement.",
1769
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
1756
1770
  "ontology": "crminf:J4i is subject of"
1757
1771
  },
1758
1772
  "@id": {
@@ -1761,7 +1775,6 @@
1761
1775
  }
1762
1776
  },
1763
1777
  "required": [
1764
- "belief",
1765
1778
  "@id"
1766
1779
  ],
1767
1780
  "type": "object"
@@ -1796,11 +1809,11 @@
1796
1809
  {
1797
1810
  "properties": {
1798
1811
  "@annotation": {
1799
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
1812
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
1800
1813
  "properties": {
1801
1814
  "belief": {
1802
1815
  "$ref": "#/definitions/Belief",
1803
- "description": "The belief held about the annotated statement.",
1816
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
1804
1817
  "ontology": "crminf:J4i is subject of"
1805
1818
  },
1806
1819
  "@id": {
@@ -1809,7 +1822,6 @@
1809
1822
  }
1810
1823
  },
1811
1824
  "required": [
1812
- "belief",
1813
1825
  "@id"
1814
1826
  ],
1815
1827
  "type": "object"
@@ -1864,11 +1876,11 @@
1864
1876
  {
1865
1877
  "properties": {
1866
1878
  "@annotation": {
1867
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
1879
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
1868
1880
  "properties": {
1869
1881
  "belief": {
1870
1882
  "$ref": "#/definitions/Belief",
1871
- "description": "The belief held about the annotated statement.",
1883
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
1872
1884
  "ontology": "crminf:J4i is subject of"
1873
1885
  },
1874
1886
  "@id": {
@@ -1877,7 +1889,6 @@
1877
1889
  }
1878
1890
  },
1879
1891
  "required": [
1880
- "belief",
1881
1892
  "@id"
1882
1893
  ],
1883
1894
  "type": "object"
@@ -1903,11 +1914,11 @@
1903
1914
  {
1904
1915
  "properties": {
1905
1916
  "@annotation": {
1906
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
1917
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
1907
1918
  "properties": {
1908
1919
  "belief": {
1909
1920
  "$ref": "#/definitions/Belief",
1910
- "description": "The belief held about the annotated statement.",
1921
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
1911
1922
  "ontology": "crminf:J4i is subject of"
1912
1923
  },
1913
1924
  "@id": {
@@ -1916,7 +1927,6 @@
1916
1927
  }
1917
1928
  },
1918
1929
  "required": [
1919
- "belief",
1920
1930
  "@id"
1921
1931
  ],
1922
1932
  "type": "object"
@@ -1946,11 +1956,11 @@
1946
1956
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
1947
1957
  "properties": {
1948
1958
  "@annotation": {
1949
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
1959
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
1950
1960
  "properties": {
1951
1961
  "belief": {
1952
1962
  "$ref": "#/definitions/Belief",
1953
- "description": "The belief held about the annotated statement.",
1963
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
1954
1964
  "ontology": "crminf:J4i is subject of"
1955
1965
  },
1956
1966
  "@id": {
@@ -1959,7 +1969,6 @@
1959
1969
  }
1960
1970
  },
1961
1971
  "required": [
1962
- "belief",
1963
1972
  "@id"
1964
1973
  ],
1965
1974
  "type": "object"
@@ -1996,11 +2005,11 @@
1996
2005
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
1997
2006
  "properties": {
1998
2007
  "@annotation": {
1999
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2008
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2000
2009
  "properties": {
2001
2010
  "belief": {
2002
2011
  "$ref": "#/definitions/Belief",
2003
- "description": "The belief held about the annotated statement.",
2012
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2004
2013
  "ontology": "crminf:J4i is subject of"
2005
2014
  },
2006
2015
  "@id": {
@@ -2009,7 +2018,6 @@
2009
2018
  }
2010
2019
  },
2011
2020
  "required": [
2012
- "belief",
2013
2021
  "@id"
2014
2022
  ],
2015
2023
  "type": "object"
@@ -2050,11 +2058,11 @@
2050
2058
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2051
2059
  "properties": {
2052
2060
  "@annotation": {
2053
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2061
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2054
2062
  "properties": {
2055
2063
  "belief": {
2056
2064
  "$ref": "#/definitions/Belief",
2057
- "description": "The belief held about the annotated statement.",
2065
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2058
2066
  "ontology": "crminf:J4i is subject of"
2059
2067
  },
2060
2068
  "@id": {
@@ -2063,7 +2071,6 @@
2063
2071
  }
2064
2072
  },
2065
2073
  "required": [
2066
- "belief",
2067
2074
  "@id"
2068
2075
  ],
2069
2076
  "type": "object"
@@ -2105,11 +2112,11 @@
2105
2112
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2106
2113
  "properties": {
2107
2114
  "@annotation": {
2108
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2115
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2109
2116
  "properties": {
2110
2117
  "belief": {
2111
2118
  "$ref": "#/definitions/Belief",
2112
- "description": "The belief held about the annotated statement.",
2119
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2113
2120
  "ontology": "crminf:J4i is subject of"
2114
2121
  },
2115
2122
  "@id": {
@@ -2118,7 +2125,6 @@
2118
2125
  }
2119
2126
  },
2120
2127
  "required": [
2121
- "belief",
2122
2128
  "@id"
2123
2129
  ],
2124
2130
  "type": "object"
@@ -2151,11 +2157,11 @@
2151
2157
  {
2152
2158
  "properties": {
2153
2159
  "@annotation": {
2154
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2160
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2155
2161
  "properties": {
2156
2162
  "belief": {
2157
2163
  "$ref": "#/definitions/Belief",
2158
- "description": "The belief held about the annotated statement.",
2164
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2159
2165
  "ontology": "crminf:J4i is subject of"
2160
2166
  },
2161
2167
  "@id": {
@@ -2164,7 +2170,6 @@
2164
2170
  }
2165
2171
  },
2166
2172
  "required": [
2167
- "belief",
2168
2173
  "@id"
2169
2174
  ],
2170
2175
  "type": "object"
@@ -2198,11 +2203,11 @@
2198
2203
  {
2199
2204
  "properties": {
2200
2205
  "@annotation": {
2201
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2206
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2202
2207
  "properties": {
2203
2208
  "belief": {
2204
2209
  "$ref": "#/definitions/Belief",
2205
- "description": "The belief held about the annotated statement.",
2210
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2206
2211
  "ontology": "crminf:J4i is subject of"
2207
2212
  },
2208
2213
  "@id": {
@@ -2211,7 +2216,6 @@
2211
2216
  }
2212
2217
  },
2213
2218
  "required": [
2214
- "belief",
2215
2219
  "@id"
2216
2220
  ],
2217
2221
  "type": "object"
@@ -2250,11 +2254,11 @@
2250
2254
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2251
2255
  "properties": {
2252
2256
  "@annotation": {
2253
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2257
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2254
2258
  "properties": {
2255
2259
  "belief": {
2256
2260
  "$ref": "#/definitions/Belief",
2257
- "description": "The belief held about the annotated statement.",
2261
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2258
2262
  "ontology": "crminf:J4i is subject of"
2259
2263
  },
2260
2264
  "@id": {
@@ -2263,7 +2267,6 @@
2263
2267
  }
2264
2268
  },
2265
2269
  "required": [
2266
- "belief",
2267
2270
  "@id"
2268
2271
  ],
2269
2272
  "type": "object"
@@ -2289,11 +2292,11 @@
2289
2292
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2290
2293
  "properties": {
2291
2294
  "@annotation": {
2292
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2295
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2293
2296
  "properties": {
2294
2297
  "belief": {
2295
2298
  "$ref": "#/definitions/Belief",
2296
- "description": "The belief held about the annotated statement.",
2299
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2297
2300
  "ontology": "crminf:J4i is subject of"
2298
2301
  },
2299
2302
  "@id": {
@@ -2302,7 +2305,6 @@
2302
2305
  }
2303
2306
  },
2304
2307
  "required": [
2305
- "belief",
2306
2308
  "@id"
2307
2309
  ],
2308
2310
  "type": "object"
@@ -2331,11 +2333,11 @@
2331
2333
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2332
2334
  "properties": {
2333
2335
  "@annotation": {
2334
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2336
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2335
2337
  "properties": {
2336
2338
  "belief": {
2337
2339
  "$ref": "#/definitions/Belief",
2338
- "description": "The belief held about the annotated statement.",
2340
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2339
2341
  "ontology": "crminf:J4i is subject of"
2340
2342
  },
2341
2343
  "@id": {
@@ -2344,7 +2346,6 @@
2344
2346
  }
2345
2347
  },
2346
2348
  "required": [
2347
- "belief",
2348
2349
  "@id"
2349
2350
  ],
2350
2351
  "type": "object"
@@ -2370,11 +2371,11 @@
2370
2371
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2371
2372
  "properties": {
2372
2373
  "@annotation": {
2373
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2374
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2374
2375
  "properties": {
2375
2376
  "belief": {
2376
2377
  "$ref": "#/definitions/Belief",
2377
- "description": "The belief held about the annotated statement.",
2378
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2378
2379
  "ontology": "crminf:J4i is subject of"
2379
2380
  },
2380
2381
  "@id": {
@@ -2383,7 +2384,6 @@
2383
2384
  }
2384
2385
  },
2385
2386
  "required": [
2386
- "belief",
2387
2387
  "@id"
2388
2388
  ],
2389
2389
  "type": "object"
@@ -2409,11 +2409,11 @@
2409
2409
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2410
2410
  "properties": {
2411
2411
  "@annotation": {
2412
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2412
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2413
2413
  "properties": {
2414
2414
  "belief": {
2415
2415
  "$ref": "#/definitions/Belief",
2416
- "description": "The belief held about the annotated statement.",
2416
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2417
2417
  "ontology": "crminf:J4i is subject of"
2418
2418
  },
2419
2419
  "@id": {
@@ -2422,7 +2422,6 @@
2422
2422
  }
2423
2423
  },
2424
2424
  "required": [
2425
- "belief",
2426
2425
  "@id"
2427
2426
  ],
2428
2427
  "type": "object"
@@ -2451,11 +2450,11 @@
2451
2450
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2452
2451
  "properties": {
2453
2452
  "@annotation": {
2454
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2453
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2455
2454
  "properties": {
2456
2455
  "belief": {
2457
2456
  "$ref": "#/definitions/Belief",
2458
- "description": "The belief held about the annotated statement.",
2457
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2459
2458
  "ontology": "crminf:J4i is subject of"
2460
2459
  },
2461
2460
  "@id": {
@@ -2464,7 +2463,6 @@
2464
2463
  }
2465
2464
  },
2466
2465
  "required": [
2467
- "belief",
2468
2466
  "@id"
2469
2467
  ],
2470
2468
  "type": "object"
@@ -2483,11 +2481,11 @@
2483
2481
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2484
2482
  "properties": {
2485
2483
  "@annotation": {
2486
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2484
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2487
2485
  "properties": {
2488
2486
  "belief": {
2489
2487
  "$ref": "#/definitions/Belief",
2490
- "description": "The belief held about the annotated statement.",
2488
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2491
2489
  "ontology": "crminf:J4i is subject of"
2492
2490
  },
2493
2491
  "@id": {
@@ -2496,7 +2494,6 @@
2496
2494
  }
2497
2495
  },
2498
2496
  "required": [
2499
- "belief",
2500
2497
  "@id"
2501
2498
  ],
2502
2499
  "type": "object"
@@ -2532,11 +2529,11 @@
2532
2529
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2533
2530
  "properties": {
2534
2531
  "@annotation": {
2535
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2532
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2536
2533
  "properties": {
2537
2534
  "belief": {
2538
2535
  "$ref": "#/definitions/Belief",
2539
- "description": "The belief held about the annotated statement.",
2536
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2540
2537
  "ontology": "crminf:J4i is subject of"
2541
2538
  },
2542
2539
  "@id": {
@@ -2545,7 +2542,6 @@
2545
2542
  }
2546
2543
  },
2547
2544
  "required": [
2548
- "belief",
2549
2545
  "@id"
2550
2546
  ],
2551
2547
  "type": "object"
@@ -2569,11 +2565,11 @@
2569
2565
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2570
2566
  "properties": {
2571
2567
  "@annotation": {
2572
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2568
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2573
2569
  "properties": {
2574
2570
  "belief": {
2575
2571
  "$ref": "#/definitions/Belief",
2576
- "description": "The belief held about the annotated statement.",
2572
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2577
2573
  "ontology": "crminf:J4i is subject of"
2578
2574
  },
2579
2575
  "@id": {
@@ -2582,7 +2578,6 @@
2582
2578
  }
2583
2579
  },
2584
2580
  "required": [
2585
- "belief",
2586
2581
  "@id"
2587
2582
  ],
2588
2583
  "type": "object"
@@ -2609,11 +2604,11 @@
2609
2604
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2610
2605
  "properties": {
2611
2606
  "@annotation": {
2612
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2607
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2613
2608
  "properties": {
2614
2609
  "belief": {
2615
2610
  "$ref": "#/definitions/Belief",
2616
- "description": "The belief held about the annotated statement.",
2611
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2617
2612
  "ontology": "crminf:J4i is subject of"
2618
2613
  },
2619
2614
  "@id": {
@@ -2622,7 +2617,6 @@
2622
2617
  }
2623
2618
  },
2624
2619
  "required": [
2625
- "belief",
2626
2620
  "@id"
2627
2621
  ],
2628
2622
  "type": "object"
@@ -2650,11 +2644,11 @@
2650
2644
  {
2651
2645
  "properties": {
2652
2646
  "@annotation": {
2653
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2647
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2654
2648
  "properties": {
2655
2649
  "belief": {
2656
2650
  "$ref": "#/definitions/Belief",
2657
- "description": "The belief held about the annotated statement.",
2651
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2658
2652
  "ontology": "crminf:J4i is subject of"
2659
2653
  },
2660
2654
  "@id": {
@@ -2663,7 +2657,6 @@
2663
2657
  }
2664
2658
  },
2665
2659
  "required": [
2666
- "belief",
2667
2660
  "@id"
2668
2661
  ],
2669
2662
  "type": "object"
@@ -2689,11 +2682,11 @@
2689
2682
  {
2690
2683
  "properties": {
2691
2684
  "@annotation": {
2692
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2685
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2693
2686
  "properties": {
2694
2687
  "belief": {
2695
2688
  "$ref": "#/definitions/Belief",
2696
- "description": "The belief held about the annotated statement.",
2689
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2697
2690
  "ontology": "crminf:J4i is subject of"
2698
2691
  },
2699
2692
  "@id": {
@@ -2702,7 +2695,6 @@
2702
2695
  }
2703
2696
  },
2704
2697
  "required": [
2705
- "belief",
2706
2698
  "@id"
2707
2699
  ],
2708
2700
  "type": "object"
@@ -2732,11 +2724,11 @@
2732
2724
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2733
2725
  "properties": {
2734
2726
  "@annotation": {
2735
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2727
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2736
2728
  "properties": {
2737
2729
  "belief": {
2738
2730
  "$ref": "#/definitions/Belief",
2739
- "description": "The belief held about the annotated statement.",
2731
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2740
2732
  "ontology": "crminf:J4i is subject of"
2741
2733
  },
2742
2734
  "@id": {
@@ -2745,7 +2737,6 @@
2745
2737
  }
2746
2738
  },
2747
2739
  "required": [
2748
- "belief",
2749
2740
  "@id"
2750
2741
  ],
2751
2742
  "type": "object"
@@ -2786,11 +2777,11 @@
2786
2777
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2787
2778
  "properties": {
2788
2779
  "@annotation": {
2789
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2780
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2790
2781
  "properties": {
2791
2782
  "belief": {
2792
2783
  "$ref": "#/definitions/Belief",
2793
- "description": "The belief held about the annotated statement.",
2784
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2794
2785
  "ontology": "crminf:J4i is subject of"
2795
2786
  },
2796
2787
  "@id": {
@@ -2799,7 +2790,6 @@
2799
2790
  }
2800
2791
  },
2801
2792
  "required": [
2802
- "belief",
2803
2793
  "@id"
2804
2794
  ],
2805
2795
  "type": "object"
@@ -2832,11 +2822,11 @@
2832
2822
  "description": "An object assumption wraps a complex object with an optional annotation. Used for structured values (e.g. persons, conditions) whose properties may be uncertain.",
2833
2823
  "properties": {
2834
2824
  "@annotation": {
2835
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
2825
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
2836
2826
  "properties": {
2837
2827
  "belief": {
2838
2828
  "$ref": "#/definitions/Belief",
2839
- "description": "The belief held about the annotated statement.",
2829
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
2840
2830
  "ontology": "crminf:J4i is subject of"
2841
2831
  },
2842
2832
  "@id": {
@@ -2845,7 +2835,6 @@
2845
2835
  }
2846
2836
  },
2847
2837
  "required": [
2848
- "belief",
2849
2838
  "@id"
2850
2839
  ],
2851
2840
  "type": "object"
@@ -3095,6 +3084,33 @@
3095
3084
  "type": "object",
3096
3085
  "ontology": "lrmoo:F32 Item Production Event"
3097
3086
  },
3087
+ "PropositionSet": {
3088
+ "description": "Statements held together under one belief, because one reasoning concluded them together: the derivations and edits of a stemma, which a search such as `proposeStemma` scores as a whole rather than one derivation at a time, or the edits a proposal grouped the changes of versions into. Each statement belongs to the set by naming it in its annotation, which carries the set's id and no belief of its own, and the belief is stated here, once, with the reasoning that concluded it. Read as RDF, the set is the reifier of each statement that names it, which RDF 1.2 lets reify several.\n\nA statement the editor takes out of the set by giving it a belief of its own is the editor's, and its reasons can name the set's belief as a premise, so that what the editor decided apart from the program stays apart from it.",
3089
+ "properties": {
3090
+ "belief": {
3091
+ "$ref": "#/definitions/Belief",
3092
+ "description": "The belief the statements of the set are held with, and the reasons for it.",
3093
+ "ontology": "crminf:J4i is subject of"
3094
+ },
3095
+ "@id": {
3096
+ "description": "A unique identifier for this object.",
3097
+ "type": "string"
3098
+ },
3099
+ "@type": {
3100
+ "const": "propositionSet",
3101
+ "type": "string",
3102
+ "description": "The type discriminator for this object.",
3103
+ "ontology": "rdf:type"
3104
+ }
3105
+ },
3106
+ "required": [
3107
+ "belief",
3108
+ "@id",
3109
+ "@type"
3110
+ ],
3111
+ "type": "object",
3112
+ "ontology": "crminf:I4 Proposition Set"
3113
+ },
3098
3114
  "Quantity<\"deg\">": {
3099
3115
  "type": "number"
3100
3116
  },
@@ -3171,11 +3187,11 @@
3171
3187
  "description": "A reference assumption wraps a reference (by `@id`) with an optional annotation. Used when pointing to another entity whose association may be uncertain.",
3172
3188
  "properties": {
3173
3189
  "@annotation": {
3174
- "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.",
3190
+ "description": "An optional annotation expressing a belief about this assumption. Uses the JSON-LD-star `@annotation` mechanism to attach epistemic metadata (certainty and reasons) to any triple.\n\nAn annotation that carries no belief names, by its `id`, the proposition set the statement belongs to (`PropositionSet`): the statement is held with the belief the set states, together with the other statements that name it.",
3175
3191
  "properties": {
3176
3192
  "belief": {
3177
3193
  "$ref": "#/definitions/Belief",
3178
- "description": "The belief held about the annotated statement.",
3194
+ "description": "The belief held about the annotated statement, where it is held for itself rather than as one of a proposition set.",
3179
3195
  "ontology": "crminf:J4i is subject of"
3180
3196
  },
3181
3197
  "@id": {
@@ -3184,7 +3200,6 @@
3184
3200
  }
3185
3201
  },
3186
3202
  "required": [
3187
- "belief",
3188
3203
  "@id"
3189
3204
  ],
3190
3205
  "type": "object"