In the manual "Semantic Technologies Developer's Guide" release 11.1, on page 3-5, there is a table 3-1 explaining briefly the inferencing keywords for the inf_components_in parameter of the SEM_APIS.CREATE_ENTAILMENT procedure.
I got the description of the rules RDFS and RDFP in Horst's paper. But for the other keywords (for example INVH, RANH, etc), can I have a precise description ? if yes, in which paper or manual ?
Thanks a lot.