This web site is for semantic science: publishing scientific data and theories with respect to formal ontologies. http://www.cs.ubc.ca/spider/poole/Semantic-Science/