Stem shiq$ (all stems)

3 papers:

KR-2004-HustadtMS #datalog #logic #source code

Reducing SHIQ-Description Logic to Disjunctive Datalog Programs (UH, BM, US), pp. 152–162.

KR-2002-Lutz #logic

Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.

CADE-2000-HorrocksST #logic #reasoning

Reasoning with Individuals for the Description Logic SHIQ (IH, US, ST), pp. 482–496.