Disjoint classes - Error in example syntax?

Hi

The New Features and Rationale document [1] has the following RDF example:

:UpperLobeOfLung owl:disjointWith ( :MiddleLobeOfLung :LowerLobeOfLung ) .

However going by [2], [3] and [4] the correct syntax seems to be:

[] rdf:type owl:AllDisjointClasses ;
	owl:members ( :UpperLobeOfLung :MiddleLobeOfLung :LowerLobeOfLung ) .

Allowing a list of class descriptions for owl:disjointWith would break backwards compatibility anyway, or?

Regards,
  Simon


[1] http://www.w3.org/TR/2009/REC-owl2-new-features-20091027/#F2:_DisjointClasses
[2] http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/#Semantic_Conditions_for_Equivalence_and_Disjointness
[3] http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/#Semantic_Conditions_for_N-ary_Disjointness
[4] http://www.w3.org/TR/2009/REC-owl2-primer-20091027/#Class_Disjointness

Received on Thursday, 12 November 2009 16:29:43 UTC