equivalentClass class express syntax troubles

Stardog Cloud
1

I have an equivalent class expression that works within Protege using the Pellet reasoner. When loading the same data into Stardog Studio the same inference is not made.

I'm currently thinking that it has to do with the "OR" syntax in the class expression.

OR-syntax-change
OR-syntax-change1150×351 27.1 KB

Competitor-Inferred-Protege
Competitor-Inferred-Protege1386×974 83.1 KB

No-Competitor-inference-Stardog-Studio
No-Competitor-inference-Stardog-Studio2070×1187 225 KB

2

Here is the representation of the equivalent class that works in the Pellet reasoner but not in the Stardog Cloud (Studio) reasoner:

<!-- http://www.intel.com/ns/ta-library#Competitor -->

<owl:Class rdf:about="http://www.intel.com/ns/ta-library#Competitor">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <rdf:Description rdf:about="http://docs.oasis-open.org/cti/ns/stix#ThreatActor"/>
                <owl:Class>
                    <owl:unionOf rdf:parseType="Collection">
                        <owl:Restriction>
                            <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                            <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#BusinessAdvantageOutcome"/>
                        </owl:Restriction>
                        <owl:Restriction>
                            <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                            <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#TechnologyAdvantageOutcome"/>
                        </owl:Restriction>
                    </owl:unionOf>
                </owl:Class>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                    <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#AdeptSkills"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                    <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#ClandestineVisibility"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                    <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#CopyObjective"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                    <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#ExternalAccess"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="http://docs.oasis-open.org/tac/ns/tac#categorizedBy"/>
                    <owl:hasValue rdf:resource="http://www.intel.com/ns/ta-library#MinorExtraLegalLimits"/>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
    <rdfs:subClassOf rdf:resource="http://www.intel.com/ns/ta-library#HostileThreatActor"/>
</owl:Class>

Can anyone see something that I'm not seeing?