The Instance Store: DL Reasoning with Large Numbers of Individuals

14 years 1 months ago

We present an application

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

Automated Reasoning | Description Logic | Description Logic Reasoning | DLOG 2004 | Instance Store |

claim paper

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	DLOG
Authors	Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

Comments (0)