Here is a simple query that utilizes the [property path operator `+`](https://www.w3.org/2009/sparql/wiki/Feature:PropertyPaths):
```
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>

SELECT ?type
WHERE {
  ?type rdfs:subClassOf+ rdf:Property.
}
```

Based on section 5.1.5 (rdfs:ContainerMembershipProperty) of the [RDF core schema](https://www.w3.org/2001/sw/RDFCore/Schema/200212bwm/#ch_containermembershipproperty), the expected result is:
```
rdf:Property
rdfs:ContainerMembershipProperty
```
However, when this query is run in 7.2 I get this:
```
<html><head></head><body>

type
--
http://www.w3.org/2002/07/owl#DeprecatedProperty
http://www.w3.org/2002/07/owl#DatatypeProperty
http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2002/07/owl#AnnotationProperty
http://www.w3.org/2002/07/owl#OntologyProperty
http://www.w3.org/2002/07/owl#FunctionalProperty
http://www.w3.org/2002/07/owl#TransitiveProperty
http://www.w3.org/2002/07/owl#SymmetricProperty
http://www.w3.org/2002/07/owl#InverseFunctionalProperty

</body></html>

```

Note that because RDF schema section 5.1.5 asserts `rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property`, the above result should parse the same as the following query, where I omit the `+` operator from the predicate `rdfs:subClassOf`:
```
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>

SELECT ?type
WHERE {
  ?type rdfs:subClassOf rdf:Property.
}
```
  
However, when I run that version of the query in 7.2, I get a different result:
```


type
--
http://www.w3.org/2002/07/owl#FunctionalProperty
http://www.w3.org/2002/07/owl#OntologyProperty
http://www.w3.org/2002/07/owl#AnnotationProperty
http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2002/07/owl#DatatypeProperty
http://www.w3.org/2002/07/owl#DeprecatedProperty
```

What is going on here?
Transitivity in Virtuoso vs SPARQL 1.1?
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : Transitivity in Virtuoso vs SPARQL 1.1?
Issue date:

--- start body ---
Here is a simple query that utilizes the [property path operator `+`](https://www.w3.org/2009/sparql/wiki/Feature:PropertyPaths):
```
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>

SELECT ?type
WHERE {
  ?type rdfs:subClassOf+ rdf:Property.
}
```

Based on section 5.1.5 (rdfs:ContainerMembershipProperty) of the [RDF core schema](https://www.w3.org/2001/sw/RDFCore/Schema/200212bwm/#ch_containermembershipproperty), the expected result is:
```
rdf:Property
rdfs:ContainerMembershipProperty
```
However, when this query is run in 7.2 I get this:
```
<html><head></head><body>

type
--
http://www.w3.org/2002/07/owl#DeprecatedProperty
http://www.w3.org/2002/07/owl#DatatypeProperty
http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2002/07/owl#AnnotationProperty
http://www.w3.org/2002/07/owl#OntologyProperty
http://www.w3.org/2002/07/owl#FunctionalProperty
http://www.w3.org/2002/07/owl#TransitiveProperty
http://www.w3.org/2002/07/owl#SymmetricProperty
http://www.w3.org/2002/07/owl#InverseFunctionalProperty

</body></html>

```

Note that because RDF schema section 5.1.5 asserts `rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property`, the above result should parse the same as the following query, where I omit the `+` operator from the predicate `rdfs:subClassOf`:
```
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>

SELECT ?type
WHERE {
  ?type rdfs:subClassOf rdf:Property.
}
```
  
However, when I run that version of the query in 7.2, I get a different result:
```


type
--
http://www.w3.org/2002/07/owl#FunctionalProperty
http://www.w3.org/2002/07/owl#OntologyProperty
http://www.w3.org/2002/07/owl#AnnotationProperty
http://www.w3.org/2002/07/owl#ObjectProperty
http://www.w3.org/2002/07/owl#DatatypeProperty
http://www.w3.org/2002/07/owl#DeprecatedProperty
```

What is going on here?
--- end body ---
