Preamble:
C,D denotes a named classCX, 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.
Preamble:
C,Ddenotes a named classCX,DXdenotes a class expression (anon or named)Description:
CX SubClassOf R some DXCthat is an inferred direct subclass of or equivalent toCXDthat is an inferred direct superclass of or equivalent toDXC SubClassOf R some DNote: 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.