classification as subset of RDFS axioms

• From: Sandro Hawke <sandro@w3.org>
• Date: Fri, 03 Aug 2007 09:00:49 -0400
• To: Axel Polleres <axel.polleres@deri.org>
• Cc: public-rif-wg@w3.org
• Message-ID: <17964.1186146049@ubuhebe>

During the last meeting, I think you were proposing that the
classification system being described could be seen as a macro for some
BLD rules, and that these rules were a subset of the rules one would
need for the full RDFS semantics.  Would you be willing to write the
smaller set of rules down, and maybe some of the nearby excluded RDFS
rules?

I'm looking for something like a mapping between BLD documents with #
and ##, and BLD documents without # and ##, but with the same (or
similar) entailments.    Is that doable?

    -- Sandro

Received on Friday, 3 August 2007 13:02:32 UTC