Semantic Science and Machine-Accessible Scientific Theories

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.

[1]  Eric Horvitz,et al.  Decision Analysis and Expert Systems , 1991, AI Mag..

[2]  David Poole,et al.  Type Uncertainty in Ontologically-Grounded Qualitative Probabilistic Matching , 2005, ECSQARU.

[3]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[4]  M. Kendall,et al.  The Logic of Scientific Discovery. , 1959 .

[5]  David Poole,et al.  Semantic e-Science and Geology , 2007 .

[6]  E. Sapir.  The status of linguistics as a science , 1929 .

[7]  Moisés Goldszmidt,et al.  On the Relation between Kappa Calculus and Probabilistic Reasoning , 1994, UAI.

[8]  Paulo Cesar G. da Costa,et al.  PR-OWL: A Bayesian Ontology Language for the Semantic Web , 2005, ISWC-URSW.

[9]  David Poole,et al.  Probabilistic Horn Abduction and Bayesian Networks , 1993, Artif. Intell..

[10]  Nicholas R. Jennings,et al.  The Semantic Grid: Past, Present, and Future , 2005, Proceedings of the IEEE.

[11]  Paulo Cesar G. da Costa,et al.  Envisioning Uncertainty in Geospatial Information , 2007, BMA.

[12]  David Poole,et al.  Qualitative Probabilistic Matching with Hierarchical Descriptions , 2004, KR.

[13]  B. Hammond.  Ontology , 2004, Lawrence Booth’s Book of Visions.

[14]  Hangwi Tang,et al.  Googling for a diagnosis—use of Google as a diagnostic aid: internet based study , 2006, BMJ : British Medical Journal.

[15]  A. V. Okulitch,et al.  A preliminary scheme for multihierarchical rock classification for use with thematic computer-based query systems , 2002 .

[16]  Michael Pool,et al.  Is It Worth a Hoot? Qualms about OWL for Uncertainty Reasoning , 2005, ISWC-URSW.

[17]  Deborah L. McGuinness,et al.  The Virtual Solar-Terrestrial Observatory: A Deployed Semantic Web Application Case Study for Scientific Research , 2007, AAAI.

[18]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[19]  G. Polya,et al.  Mathematics and Plausible Reasoning. Volume I, Induction and Analogy in Mathematics. Volume II, Patterns of Plausible Inference. , 1955 .

[20]  David Poole,et al.  Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity , 2007, AAAI.

[21]  Judea Pearl,et al.  Probabilistic Semantics for Nonmonotonic Reasoning: A Survey , 1989, KR.

[22]  Ben Taskar,et al.  Bayesian Logic Programming: Theory and Tool , 2007 .

[23]  G. Altmann.  Science and Linguistics , 1993 .

[24]  Luc De Raedt,et al.  Bayesian Logic Programming: Theory and Tool , 2007 .

[25]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[26]  Barry Smith,et al.  The Logic of Biological Classification and the Foundations of Biomedical Ontology , 2010 .

[27]  J. C. Davies.  Aristotle’s Theory of Definition , 1975, Euphrosyne.

[28]  M. Gillespie,et al.  BGS Rock Classification Scheme Volume 1 Classification of igneous rocks , 1999 .

[29]  Rajeev Motwani,et al.  The PageRank Citation Ranking : Bringing Order to the Web , 1999, WWW 1999.

[30]  S. Pinker.  The Language Instinct , 1994 .

[31]  L. Floridi.  Blackwell Guide to the Philosophy of Computing and Information , 2003 .

[32]  Murray Silverstein,et al.  A Pattern Language , 1977 .