Multiple Domains or Ranges Should be Represented as Intersection

[jmkeil]

Hi.

multiple Domains or Ranges are currently represented as unions. However, they should be represented as intersections.

For example, try:

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix :     <http://example.org/> .

<http://example.org/> a owl:Ontology .

:exampleProperty rdfs:domain :calss1, :class2 ;
                 rdfs:range  :calss1, :class2 .

:exampleIntersection owl:intersectionOf ( :calss1 :class2 ) .

:exampleIUnion owl:unionOf ( :calss1 :class2 ) .

[hoijui]

True! While this may be counterintuitive to many (it certainly was (and still is) to me!), what this issue states is according to the RDFS specs.

That is connected to schema:domainIncludes & schemarangeIncludes issue.