S&AS: D.1

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