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) JeremyReceived on Wednesday, 26 March 2003 06:41:11 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.29 : Thursday, 27 January 2005 18:04:59 GMT