On 15 July 2020 at 10:45 Adam Sobieski <adamsobieski@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