Apache Jena's OWL reasoner imports tbox.ttl and abox.ttl then derives jena_output_subset.ttl as expected.
RDFox won't import tbox.ttl and produce derivations. But it looks like OWL 2 RL recognizes:
- intersection of class expressions (ObjectIntersectionOf)
- existential quantification to a class expression (ObjectSomeValuesFrom)
- existential quantification to an individual (ObjectHasValue)
Which are used in tbox.ttl. From the docs it looks like RDFox supports OWL 2 RL.