Semantic Science and Machine-Accessible Scientific Theories

Semantic Scientific Knowledge Integration

Volume

Semantic Scientific Knowledge Integration

Contents

There has been much recent progress in building ontologies and publishing scientific data based on these ontologies. This paper overviews issues and progress in the other half of semantic science: having machine accessible scientific theories that can make predictions on this data and can be used for new cases. This paper presents the grand vision, issues that have arisen in building such systems for the geological domain (minerals exploration and geo-hazards), and sketches the formal foundations that underlie this vision.