Create an (incomplete) GCI-based implementation

[cmungall]

Preamble:

• C,D denotes a named class
• CX, DX denotes a class expression (anon or named)

Description:

• For each GCI of the form CX SubClassOf R some DX
  • for each C that is an inferred direct subclass of or equivalent to CX
    • for each D that is an inferred direct superclass of or equivalent to DX
      • add an axiom C SubClassOf R some D

Note: entailments will be a subset of those produced by the default expression-materializing implementation. However, they do not require either advance knowledge of the set of Ps to materialize over or expensive computation over all Ps.