[TF-PP] Property paths and entailments

(Lee asked to have different threads to different issues, so here I am)

The question was:

[[[
+ How do property paths interact with entailment? Discussion is needed with the members of the WG most swapped in with the entailment work.
]]]

My (mental) model has always been that the entailment regime (in principle) expands all graphs to new graphs that include the original graph plus all possible extra triples that the entailment regime produces, and the query itself is performed on this expanded graph. If this model is right, then the natural way of looking at this is that the property path expansions are performed on the entailed graph.

Do I miss some major issue here?

Ivan

P.S. Sorry I could not join the telco, but I had another WG call (RDFa) exactly at the same time...


----
Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf