Abstract
The growing use of agent systems and the widespread penetration of the Internet have opened up new avenues for scientific collaboration. We have been investigating the possibility for agent systems to aid with collaboration among Experimental High-Energy Physics (EHEP) physicists. An apparent necessary component is an agreed scientific domain ontology, which must include concepts that rely on mathematical formulae involving other domain concepts such as the energy and momentum, for their meaning. We claim that the current web ontology specification languages are not sufficiently equipped to be useful for explicit representation of mathematical expressions. We adapt some previous work on representing mathematical expressions to produce a set of representational primitives and supporting definitions to incorporate complex mathematical relations among existing domain concepts in web ontologies, illustrated with examples arising from our interactions with the EHEP physicists.
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
M. Annamalai, L. Sterling, and G. Moloney. A collaborative framework for distributed scientific groups. In S. Cranefield, S. Willmott, and T. Finin, editors, Proceedings of AAMAS’02 Workshop on Ontologies in Agent Systems, volume 66 of CEUR-WS, Bologna, Italy, 2002.
F. Baadar and W. Nutt. Basic description logics. In F. Baadar, D. McGuiness, D. Nardi, and P. Patel-Schneider, editors, Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2002.
The Babar Physics Collaboration. http://www.slac.stanford.edu/BFROOT/.
The Belle Physics Collaboration. http://belle.kek.jp/belle.
B. Chandrasekaran and J. Josephson. What are ontologies, and why do we need them? IEEE Intelligent Systems, pages 20–26, January/February 1999.
J. Cleaveland. An Introduction to Data Types. Addison-Wesley, 1986.
The Cleo Physics Collaboration. http://www.lns.cornell.edu/public/CLEO.
L. Cruz, M. Annamalai, and L. Sterling. Analysing high-energy physics experiments. In B. Burg, J. Dale, T. Finin, H. Nakashima, L. Padgham, C. Sierra, and S. Willmott, editors, Proceedings of AAMAS’02 Workshop on AgentCities, LNCS, Bologna, Italy, 2002. Springer-Verlag.
CYCorp. http://www.cyc.com.
D. Fensel, I. Horrocks, F. van Harmelen, D. McGuiness, and P. Patel-Schneider. OIL: Ontology infrastructure to enable the Semantic Web. IEEE Intelligent Systems, pages 38–45, March/April 2001.
G. Fox and S. Wolfram. Observables for the analysis of event shapes in e + e-anni-hilation and other processes. Physical Review Letters, 41(23):1581–1585, December 1978.
M. Genesereth and R. Fikes. Knowledge Interchange Format. Technical Report Logic-92-1, Computer Science Department, Stanford University, 1992.
W. Grosso, H. Eriksson, R. Fergerson, J. Gennari, S. Tu, and M. Musen. Knowledge modeling at the millennium (the design and evolution of Protege-2000). In Proceedings of KAW’99 Workshop on Knowledge Acquisition, Modelling and Management, Banff, Alberta, 1999.
T. Gruber. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199–220, 1993.
T. Gruber and G. Olsen. An ontology for engineering mathematics. In J. Doyle, P. Torasso, and E. Sandewall, editors, Proceedings of KR’94 Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1994.
M. Gruninger and M. Fox. Methodology for the design and evaluation of ontologies. In Proceedings of IJCAI’95 Workshop on Basic Ontological Issues in Knowledge Sharing. Montreal, Canada, 1995.
N. Guarino. Ontologies and knowledge base: Towards a terminological clarification. In N. Mars, editor, Towards Very Large Knowledge: Knowledge Building and Knowledge Sharing, pages 25–32. IOS Press, Amsterdam, 1995.
J. Hendler and D. McGuiness. The Darpa Agent MarkUp Language. IEEE Intelligent Systems, pages 67–73, November/December 2000.
Mathematics MarkUp Language. http://www.w3.org/TR/MathML2.
Mathworld Mathematical Encyclopedia. http://mathworld.wolfram.com.
N. Noy, R. Fergerson, and M. Musen. The knowledge model of Protege-2000: Combining interoperability and flexibility. In Proceedings of EKAW’2000 Conference on Knowledge Engineering and Knowledge Management, Juan-Les-Pins, France, 2000.
Openmath MarkUp Language. http://monet.nag.co.uk/cocoon/openmath/index.html.
The OWL Web Ontology Language. http://www.w3.org/TR/owl-features.
Suggested Upper Merged Ontology. http://ontology.teknowledge.com.
Victorian Partnership for Advanced Computing. http://www.vpac.org.
EXtensible MarkUp Language. http://www.w3.org/XML.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag
About this paper
Cite this paper
Annamalai, M., Sterling, L. (2005). Incorporating Complex Mathematical Relations in Web-Portable Domain Ontologies. In: Tamma, V., Cranefield, S., Finin, T.W., Willmott, S. (eds) Ontologies for Agents: Theory and Experiences. Whitestein Series in Software Agent Technologies. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7361-X_9
Download citation
DOI: https://doi.org/10.1007/3-7643-7361-X_9
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7237-8
Online ISBN: 978-3-7643-7361-0
eBook Packages: Computer ScienceComputer Science (R0)