The Instance Store: DL Reasoning with Large Numbers of Individuals

Abstract

The Semantic Web [4] aims at making Web resources more accessible to automated processes by adding “semantic annotations”—metadata (data about data) that describes their content. It is envisaged that the semantics in semantic annotations will be given by ontologies, which will provide a source of precisely defined terms (vocabularies)