Abstract
This chapter overviews work on semantic science. The idea is that, using rich ontologies, both observational data and theories that make (probabilistic) predictions on data are published for the purposes of improving or comparing the theories, and for making predictions in new cases. This paper concentrates on issues and progress in having machine accessible scientific theories that can be used in this way. This paper presents the grand vision, issues that have arisen in building such systems for the geological domain (minerals exploration and geohazards), and sketches the formal foundations that underlie this vision. The aim is to get to the stage where: any new scientific theory can be tested on all available data; any new data can be used to evaluate all existing theories that make predictions on that data; and when someone has a new case they can use the best theories that make predictions on that case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander, C., Ishikawa, S., Silverstein, M., Jacobson, M., Fiksdahl-King, I., Angel, S.: A Pattern Language. Oxford University Press, New York (1977)
Aristotle (350 B.C.). Categories. Translated by E. M. Edghill, http://www.classicallibrary.org/Aristotle/categories/
Berg, J.: Aristotle’s theory of definition. In: ATTI del Convegno Internazionale di Storia della Logica, San Gimignano, pp. 19–30 (1982), http://ontology.buffalo.edu/bio/berg.pdf
Berners-Lee, T., Fischetti, M.: Weaving the Web: The original design and ultimate destiny of the World Wide Web, by its inventor, Harper Collins, San Francisco, CA (1999)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web: A new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American, 28–37 (2001)
da Costa, P.C.G., Laskey, K.B., Laskey, K.J.: PR-OWL: A Bayesian ontology language for the semantic web. In: Proceedings of the ISWC Workshop on Uncertainty Reasoning for the Semantic Web, Galway, Ireland (2005), http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-173/
Darwiche, A., Goldszmidt, M.: On the relation between kappa calculus and probabilistic reasoning. In: UAI 1994, pp. 145–153 (1994)
De Roure, D., Jennings, N.R., Shadbolt, N.R.: The semantic grid: Past, present and future. Procedings of the IEEE 93(3), 669–681 (2005), http://www.semanticgrid.org/documents/semgrid2004/semgrid2004.pdf
Fodor, J.A.: The Language of Thought. Harvard University Press, Cambridge (1975)
Getoor, L., Taskar, B. (eds.): Introduction to Statistical Relational Learning. MIT Press, Cambridge (2007)
Gillespie, M.R., Styles, M.T.: BGS rock classification scheme, 2nd edn., RR 99-06, British Geological Survey. Classification of igneous rocks. Research Report, vol. 1 (1999), http://www.bgs.ac.uk/bgsrcs/
Henrion, M., Breese, J., Horvitz, E.: Decision analysis and expert systems. AI Magazine 12(4), 61–94 (1991)
Kersting, K., De Raedt, L.: Bayesian logic programming: Theory and tool. In: Getoor, L., Taskar, B. (eds.) An Introduction to Statistical Relational Learning. MIT Press, Cambridge (2007)
Laskey, K.B., Wright, E.J., da Costa, P.C.G.: Envisioning uncertainty in geospatial information. In: UAI Applications Workshop 2007 The 5th Bayesian Modeling Applications Workshop (2007), http://ite.gmu.edu/~klaskey/uai07workshop/AppWorkshopProceedings/UAIAppWorkshop/paper3.pdf
Laskey, K.B.: MEBN: A language for first-order Bayesian knowledge bases. Artificial Intelligence 172(2-3) (2008), http://www.sciencedirect.com/science/article/B6TYF4PTMXXP-1/2/ce6bcf1c5a5fecfd805501056e9b62a1 , doi:10.1016/j.artint.2007.09.006
Lukasiewicz, T.: Expressive probabilistic description logics. Artificial Intelligence 172(6-7), 852–883 (2008)
Lukasiewicz, T., Schellhase, J.: Variable-strength conditional preferences for ranking objects in ontologies. Journal Web Semantics 5(3), 180–194 (2007)
McGuinness, D., Fox, P., Cinquini, L., West, P., Garcia, J., Benedict, J.L., Middleton, D.: The virtual solar-terrestrial observatory: A deployed semantic web application case study for scientific research. In: Proceedings of the Nineteenth Conference on Innovative Applications of Artificial Intelligence (IAAI 2007), Vancouver, BC, Canada (2007), http://www.ksl.stanford.edu/KSL_Abstracts/KSL-07-01.html
McGuinness, D.L., van Harmelen, F.: OWL web ontology language overview. W3C Recommendation, W3C (2004) (February 10, 2004), http://www.w3.org/TR/owl-features/
Page, L., Brin, S., Motwani, R., Winograd, T.: The pagerank citation ranking: Bringing order to the web. Technical Report SIDL-WP-1999-0120, Stanford InfoLab (1999), http://dbpubs.stanford.edu/pub/1999-66
Pearl, J.: Probabilistic semantics for nonmonotonic reasoning: A survey. In: Brachman, R.J., Levesque, H.J., Reiter, R. (eds.) KR 1989, Toronto, pp. 505–516 (1989)
Pinker, S.: The Language Instinct, Harper Collins, New York (1994)
Polya, G.: Mathematics and Plausible Reasoning. Patterns of Plausible Inference, vol. II. Princeton University Press, Princeton (1954)
Pool, M., Fung, F., Cannon, S., Aikin, J.: Is it worth a hoot? Qualms about OWL for uncertainty reasoning. In: Proceedings of the ISWC Workshop on Uncertainty Reasoning for the Semantic Web (2005), http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-173/
Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence 64(1), 81–129 (1993)
Poole, D.: Logical generative models for probabilistic reasoning about existence, roles and identity. In: 22nd AAAI Conference on AI, AAAI 2007 (2007), http://www.cs.ubc.ca/spider/poole/papers/AAAI07-Poole.pdf
Poole, D., Smyth, C.: Type uncertainty in ontologically-grounded qualitative probabilistic matching. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 763–774. Springer, Heidelberg (2005), http://www.cs.ubc.ca/spider/poole/papers/Poole-Smyth-ecsqaru2005.pdf
Poole, D., Smyth, C., Sharma, R.: Semantic science and machine-accessible scientific theories. In: AAAI Spring Symposium on Semantic Science Knowledge Integration, Stanford, CA (2008)
Popper, K.: The Logic of Scientific Discovery. Basic Books, New York (1959)
Sapir, E.: The status of linguistics as a science. Language 5(209) (1929)
Smith, B.: The logic of biological classification and the foundations of biomedical ontology. In: Westerståhl, D. (ed.) 10th International Conference in Logic Methodology and Philosophy of Science. Elsevier-North-Holland, Oviedo (2003a), http://ontology.buffalo.edu/bio/logic_of_classes.pdf
Smith, B.: Ontology. In: Floridi, L. (ed.) Blackwell Guide to the Philosophy of Computing and Information, pp. 155–166. Blackwell, Oxford (2003b), http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf
Smyth, C., Poole, D.: Qualitative probabilistic matching with hierarchical descriptions. In: KR 2004, Whistler, BC, Canada (2004), http://www.cs.ubc.ca/spider/poole/papers/KR04SmythC.pdf
Smyth, C., Poole, D., Sharma, R.: Semantic e-science and geology. In: AAAI 2007 Semantic e-Science workshop (2007), http://www.cs.ubc.ca/spider/poole/papers/SmythPooleSharmaSemSci2007.pdf
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)
Struik, L., Quat, M., Davenport, P., Okulitch, A.: A preliminary scheme for multihierarchical rock classification for use with thematic computer-based query systems. Current Research 2002-D10, Geological Survey of Canada (2002),http://daks.ucdavis.edu/Â ludaesch/289F-SQ06/handouts/GSC_D10_ 2002.pdf
Tang, H., Ng, J.H.K.: Googling for a diagnosis–use of google as a diagnostic aid: internet based study. BMJ (2006), doi:10.1136/bmj.39003.640567.AE
Whorf, B.L.: Science and linguistics. Technology Review 42(6), 229–231, 247–248 (1940)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poole, D., Smyth, C., Sharma, R. (2008). Semantic Science: Ontologies, Data and Probabilistic Theories. In: da Costa, P.C.G., et al. Uncertainty Reasoning for the Semantic Web I. URSW URSW URSW 2006 2007 2005. Lecture Notes in Computer Science(), vol 5327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89765-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-89765-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89764-4
Online ISBN: 978-3-540-89765-1
eBook Packages: Computer ScienceComputer Science (R0)