ISSUE: drop disjointUnionOf

TITLE:  drop disjointUnionOf

DESCRIPTION:

  owl:disjointUnionOf is an awkward construct (compared to
  rdfs:subClassOf) for many tools to support.  It can be
  expressed using combinations of owl:unionOf or
  rdfs:subClassOf and owl:disjointWith (though perhaps
  without conveying the notion of providing a covering set
  when owl:disjointUnionOf is used with with
  owl:sameClassAs).  I and other users of DAML+OIL recommend
  that we drop owl:disjointUnionOf from the OWL language.

RAISED BY:  Mike Dean

Received on Wednesday, 17 July 2002 19:57:17 UTC