A Real Semantic Web for Mathematics Deserves a Real Semantics.

Cezary Kaliszyk Pierre Corbineau Freek Wiedijk James McKinna Herman Geuvers

Published in: SemWiki (2008)

Keyphrases

semantic web
knowledge management
real world
data mining
machine learning
expert systems
semantic annotation
formal semantics
semantic data
machine processable