Linter message: "not compatible with rangeIncludes" about linter HOT 2 CLOSED

The Linter uses a reasoner with special rules for schema.org. I think one of these rules is too restrictive.

itemListElement has the range of ListItem, Text, and Thing. Periodical is (via inference) a kind of Thing, which should be allowed. However, there's a check that specifically says if any range is Text, and the value as an object (has @id), then it can't also have a type. This is too restrictive, and it should first see if the range includes a super-class of any type actually used.

There is no formalized description of Schema.org semantics, so they've sort have been ad-hoc. I'll take a look and see how to accommodate this without making the reasoner overly complex.

(FYI, you can find the rules for range checks here).

from linter.

Thank you very much for the quick response. Your comments have given me a better sense of what ranges imply, something I hadn't really thought about before in my own ad-hoc approach as a user.

I agree that this particular rule seems a bit too restrictive, since it effectively excludes lists of different types of objects that very often do "ultimately" refer to texts in some sense of the term (although DOIs are also used for video content).

Thanks again!

from linter.