Bug report, EL axiom not valid SL axiom

[Zachary Whitley]

Summary: EL axiom not applied in SL
Stardog Version: 4.0.5

owl:hasSelf appears to work correctly in EL but does not produce results in SL with the logs reporting that it isn't a valid SL axiom. From the Stardog docs it is expected that all EL axioms would be valid SL axioms. "SL for a combination of RDFS, QL, RL, and EL axioms, plus SWRL rules."

Steps to reproduce.

$> cat slicc.ttl

:SelfLickingIceCreamCone owl:equivalentClass [
  a owl:Restriction;
  owl:onProperty :lick;
  owl:hasSelf true
] .

:chocolateIceCreamCone a :SelfLickingIceCreamCone .
:vanillaIceCreamCone :lick :vanillaIceCreamCone .


# Create database with SL reasoning

stardog-admin db create -n slicc -o reasoning.type=SL -u admin -P slicc.ttl

# Query with reasoning

$> stardog query execute slicc -r -u admin -P "select * where { :vanillaIceCreamCone ?p ?o }"

+----------+----------------------+
|    p     |          o           |
+----------+----------------------+
| :lick    | :vanillaIceCreamCone |
| rdf:type | owl:Thing            |
+----------+----------------------+

$> stardog query execute slicc -r -u admin -P "select * where {:chocolateIceCreamCone ?p ?o }"

+----------+--------------------------+
|    p     |            o             |
+----------+--------------------------+
| rdf:type | owl:Thing                |
| rdf:type | :SelfLickingIceCreamCone |
+----------+--------------------------+

$> tail $STARDOG_HOME/stardog.log

Bulk loading data to new database slicc.
Loaded 6 triples to slicc from 1 file(s) in 00:00:00.286 @ 0.0K triples/sec.
Successfully created database 'slicc'.
WARN  2016-04-18 10:50:24,025 [SPEC-Server-1-4] com.clarkparsia.blackout.ProfileFilterBase:apply(39): Not a valid SL axiom: EquivalentClasses(api:SelfLickingIceCreamCone, self(api:lick))


# Drop db

$> stardog-admin db drop slicc -u admin -P

# Create database with EL reasoning

$> stardog-admin db create -n slicc -o reasoning.type=EL -u admin -P slicc.ttl


# Query with reasoning

$> stardog query execute slicc -r -u admin -P "select * where { :vanillaIceCreamCone ?p ?o }"

+----------+--------------------------+
|    p     |            o             |
+----------+--------------------------+
| :lick    | :vanillaIceCreamCone     |
| rdf:type | owl:Thing                |
| rdf:type | :SelfLickingIceCreamCone |
+----------+--------------------------+


$> stardog-sl-has-self]$ stardog query execute slicc -r -u admin -P "select * where {:chocolateIceCreamCone ?p ?o }"

+----------+--------------------------+
|    p     |            o             |
+----------+--------------------------+
| :lick    | :chocolateIceCreamCone   |
| rdf:type | owl:Thing                |
| rdf:type | :SelfLickingIceCreamCone |
+----------+--------------------------+