On 15 July 2020 at 10:45 Adam Sobieski
<adamsobieski(a)hotmail.com> wrote:
The example about inferring that Douglas Adams [1] was a science fiction writer from
some of his works being science fiction may have muddied the waters.
The example from the Wikidata reasoning project [2] may be more useful for
discussion. “The spouse (P26) of Douglas Adams (Q42) was Jane Belson (Q14623681). Clearly,
this means that, conversely, the spouse (P26) of Jane Belson (Q14623681) was Douglas Adams
(Q42). This is a simple example of a case where one statement (about Jane Belson
(Q14623681)) can be inferred from another statement (about Douglas Adams (Q42)).”
Yes, inference from family relationships to others is not, in my view, a concern under
WP:SYNTH. Inferences in temporal logic likewise.
I have commented elsewhere (in tweets) on the ability of Wikidata to formalise the quite
complex way historians actually qualify dates. Correct propagation of the temporal logic
of scholarly sources into AW format might be a good test case of some of these ideas.
Wikidata has not yet tackled the plethora of calendars currently in use; so I would be
interested to see if AW could contribute in this direction, code-wise.
These are examples of areas that seem to me fruitful.
Charles