Multiple Logical Definitions

Problem: A class has more than one equivalent class definition. This should be avoided, as logical definitions can interact adversely.

Solution: Combine the equivalent class statements.

PREFIX owl: <http://www.w3.org/2002/07/owl#>

SELECT DISTINCT ?entity ?property ?value WHERE {
 VALUES ?property { owl:equivalentClass }
 ?entity ?property [ owl:intersectionOf ?value1 ] .
 ?entity ?property [ owl:intersectionOf ?value2 ] .
 FILTER (?value1 != ?value2)
 FILTER (!isBlank(?entity))
 BIND (if(isIRI(?value1), ?value1, "blank node" ) as ?value)
}
ORDER BY ?entity