author: mark musen

The Semantic Web – ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings

Yolanda Gil Enrico Motta V. Richard Benjamins Mark Musen

... text, y = u(x) e IR. - Let us now prove that, for every triple (s, p, o) € G, (1(s), u(o)) € text(v(p)). If (as, a p, vo) € G, then, by construction of H(G), there exists an hyperarc (h(xs), h(ap), h(vo)) of H(G). Since T is a H ...