Unit knowledge management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5144 LNAI, Issue , 2008, Pages 382-397

  Stratford, Jonathan ^a   Davenport, James H ^a  

^a University of Bath   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ARTIFICIAL INTELLIGENCE; CLASSIFICATION (OF INFORMATION); COMPUTER NETWORKS; DATA MINING; INFORMATION MANAGEMENT; KNOWLEDGE MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS;

INTERNATIONAL CONFERENCES; MATHEMATICAL KNOWLEDGE MANAGEMENT; SYMBOLIC COM-PUTATION;

INFORMATION SCIENCE;

EID: 51049099406     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85110-3_33     Document Type: Conference Paper

References (24)

1. Anonymous. Wikipedia, English (2008), http://www.wikipedia.org
2. The Kingdom of Belgium. Réglementation Métrologique, http://mineco.fgov.be/organization_market/metrology/showole_FR.asp?cParam=1150 Metrologische Reglementering, http://economie.fgov.be/organization_market/ metrology/showole_nl.asp?cParam=1152
3. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: OpenMath Standard 2.0 (2004), http://www.openmath.org/standard/ om20-2004-06-30/omstd20.pdf
4. World-Wide Web Consortium. Mathematical Markup Language (MathML[tm]) 1.01 Specification (1999), http://www.w3.org/TR/MathML/
5. World-Wide Web Consortium. Mathematical Markup Language (MathML) Version 2.0 (Second Edition) (2003). http://www.w3.org/TR/MathML2/
6. World-Wide Web Consortium. RDF Semantics (2004). http://www.w3.org/TR/ 2004/REC-rdf-mt-20040210/
7. World-Wide Web Consortium. Web Ontology Language OWL (2004), http://www.w3.org/2004/OWL/
8. Davenport, J.H.: A Small OpenMath Type System. ACM SIGSAM Bulletin 34(2), 16-21 (2000), http://hdl.handle.net/10247/468
9. Davenport, J.H., Naylor, W.A.: Units and Dimensions in OpenMath. (2003), http://www.openmath.org/documents/Units.pdf
10. Davenport, J.H., Fischer. H.-C.: Manipulation of Expressions. In: Improving Floating-Point Programming, pp. 149-167 (1990)
11. Davenport, J.H., Libbrecht, P.: The Freedom to Extend OpenMath and its Utility. Mathematics in Computer Science (to appear, 2008)
12. Donner, M.: Private Communication (May 2008)
13. Organisation Intergouvernementale de la Convention du Mètre. The International System of Units (Sl), 8th edn., http://www.bipm.org/utils/common/ pdf/si_brochure_8_en.pdf
14. World-Wide Web Consortium. Harder, D.W., Devitt, S.(eds.). Units in MathML (2003). http://www.w3.org/Math/Documents/Notes/units.xml
15. IEEE/ASTM. SI 10-1997 Standard for the Use of the International System of Units (SI): The Modern Metric System. IEEE Inc (1997)
16. International Standards Organisation. Guide to the Expression of Uncertainty in Measurement (1995)
17. Mars Climate Orbiter Mishap Investigation Board. Mars climate orbiter: Phase 1 report (November 1999), ftp://ftp.hq.nasa.gov/pub/pao/reports/1999/ MCO_report.pdf
18. Nelson, W.H.: The Gimli Glider. Soaring Magazine (1997)
19. Oxford University Press. Oxford English Dictionary (2008), http://dictionary.oed.com/entrance.dtl
20. Sears, J.E., Johnson, W.H., Jolly, H.L.P.: A New Determination of the Ratio of the Imperial Standard Yard to the International Prototype Metre. Phil. Trans. Roy. Soc. A 227, 281-315 (1928)
21. Stratford, J.: An OpenMath-based Units Converter. Dissertation for B.Sc. in Computer Science, University of Bath. Technical Report CSBU-2008-02 (2008), http://www.cs.bath.ac.uk/department/technical-report-series/technical-report- series/index.php
22. Taylor, B.N.: Guide for the Use of the International System of Units (SI) (May 2007), http://physics.nist.gov/Pubs/SP811
23. Whitehead, A.N., Russell, B.: Principia Mathematica. Cambridge University Press, Cambridge (1910)
24. Williams, M.: The 156-tonne Gimli Glider. Flight Safety Australia (2003)