]> The HELM Element Set v0.1 The HELM Object Element Set v0.1 The HELM Project The HELM metadata vocabulary is a simple vocabulary intended to facilitate discovery of mathematical resources. English 2000-6-3 2002-9-6 Mathematical objects represented by a CIC XML file Mathematical resources (directories) represented by sets of CIC XML files, contained in the tree that has the dir as root Types of objects Terms of objects Occurrences of an object inside an object Positions of occurrences of an object inside an object Additional information associated to fragments of the objects Constants in the body of an object Identifiers in the statement Identifiers in the body Implicit arguments Occurrences of an object in head position of some hypothesis of an object statement Occurrences of an object in the hypotheses of an object statement Occurrences of an object in head position of the conclusion of an object statement Occurrences of an object in the conclusion of an object statement Occurrences of an object only in an object body (not in the statement) Statement Body Statement identifier Constructor identifier of the statement conclusion List of all ids in the domain Body identifier Reference to an object Implicit arguments of constructors Implicit arguments of objects List of implicit arguments Backwards pointer: who points the object URI of an object Position of an occurrence Postit Content of a Postit Identifies the object fragment (Xpointer) which Postit refers to If the object can be a coercion