On 8 Jan 2025, at 15:30, Franconi Enrico <franconi@inf.unibz.it> wrote: I understand that the gist of this thread is that subjects, predicates, objects in a triple term (at any level of nesting) have the same denotation — namely the value of [I+A](.) — as if they were appearing as subjects, predicates, objects in top-level asserted triples, but nothing else; this is “transparency”. If those subjects, predicates, objects are mentioned ONLY within triple terms, then they will not have any inferred property at all (including metamodelling properties). The only inferred properties that those subjects, predicates, objects in a triple term (at any level of nesting) may have, come from other asserted top-level triples mentioning them. Still, I feel uncomfortable with the fact that an IRI in subject or object position of a triple term is NOT of type rdfs:resource, and that and IRI in property position of a triple term is NOT of type rdfs: property. But I guess we have to live with that. —e.
Received on Wednesday, 8 January 2025 14:37:01 UTC