Adding Numbers to the SHIQ Description Logic: First Results.

Carsten Lutz

Browse the full KR paper archive.