SEM/TEST: partial embedding?

instead of replying to the individual messages
of Pat and Peter w.r.t. SEM, I've done some
tests which try to incorporate some of the
ideas of embedding OWL (see attached owl-rules)
there are some additional comprehension rules
(identified as :ruleco..) now containing
owl:Thing and owl:Class membership premises
(testing those resulted in a simplification
of the type inferencing implementation btw)

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/