Construction of Automatic Fusion Database with Anchor Modeling and Description Logic

Anchor Modeling enables databases to record the time dimension of data and replay the history of information. This paper, aimming at building an automatic fusion database which can record meta-data other than time and semantic information of data, extends Anchor Modeling and introduces description logic. First, the tie of Anchor Modeling or the relation of Entity Relation Model is decomposed into a First Class Object association and its roles, so that a more flexible data description format is found for ABox. Second, the ALCF(D) is extended to cover the FCO association, and information in TBox is rewritten as assertions in ABox with the new format. Third, the data items in both ABox and TBox are translated into clauses of Prolog, as a demonstration, to support the querying and reasoning. These works make it possible for the automatic fusion database to provide distributed storage and automatic data fusion, semantic querying and reasoning, and visual modeling tools.