Re: Reification and Knowledge Representation

Here's an example of expressiveness using this 'implicit line number' idea in the triples:

<hypothetical:H xmlns:hypothetical="http://www.discussion.org#" xml:base="http://site.com#" xmlns:doc="http://site.com#">
 <hypothetical:Description hypothetical:about="theboy">
  <doc:hit>
   <hypothetical:Description hypothetical:about="baseball" />
  </doc:hit>
 </hypothetical:Description>
 <hypothetical:Description hypothetical:about="!1">
  <doc:with>
   <hypothetical:Description hypothetical:about="baseballbat" />
  </doc:with>
  <doc:on>
   <hypothetical:Description hypothetical:about="saturday" />
  </doc:on>
 </hypothetical:Description>
</hypothetical:H>

We can add that the first triple is an instance of a class called 'action'.
Whether problems arise from triples being instances of semantic classes is unknown.
Also unknown is what happens to this concept as a formal description logic.
Of additional interest are the recursive possibilities in the context of the above unknowns.


Cheers,
Adam