FORMAL VERIFICATION OF SEMANTIC DS

A method for use in classifying, storage and retrieval of audiovisual information. The method uses the elements of a semantic description to describe arbitrary structure related to the audiovisual information. The method includes: (1) providing entities describing non-relational parts of the semantic description, the entities including a concept having a collection of properties of the audiovisual information, and (2) referencing one or more interior structures of the concept from all entities in the semantic description.