Metadata
bibliographical informations
pedagogical informations
used in course generation
requires-knowledge relation, is a xx to relation, difficulty, abstractness, field...
for user-model updating
for automated suggestions
for searching (e.g. when authoring)
<-
->
Semantically encoding mathematics
Dagstuhl Workshop on Rule Markup Languages
,
Paul Libbrecht
, 2002/02/07