1. The instance store: DL reasoning with large numbers of individuals;Horrocks,2004
2. Minerva: a scalable OWL ontology storage and inference system;Zhou,2006
3. Description logic programs: combining logic programs with description logic;Grosof,2003
4. Incremental maintenance of materialized ontologies;Volz,2003
5. Storing and querying ontologies in logic databases;Weithöner,2003