- From: Jeremy Carroll <jjc@hpl.hp.com>
- Date: Wed, 26 Mar 2003 12:41:43 +0100
- To: www-webont-wg@w3.org
Hi Peter,
I think you forgot to add a mapping rule for D.1 from
http://lists.w3.org/Archives/Public/www-webont-wg/2003Mar/0066.html
viz:
[[
D.1 Allow equivalentClasses with a single description, which maps to
the description. Result is that ontologies with
"orphan"descriptions are in DL. They are NOT in Lite.
]]
e.g.
EquivalentClasses(description)
=>
T(description)
(The current rule with n=1 maps to the empty graph, which does not need to be
blocked)
Jeremy
Received on Wednesday, 26 March 2003 06:41:11 UTC