And QUDT has a mapping to dbpedia ;)
Ralph Hodgson wrote:
James,
The NASA QUDT project is aware of this work and considered it in the treatment of maths expressions and algorithms. We also looked at the NAG work, specifically the MONET project . Concerning QUDT, the Data , Type and Algorithms ontologies are being worked for publication. A new release of the QUD part of QUDT will be available in the next few weeks. We are currently improving HTML documentation. [www.qudt.org].
On Jan 23, 2011, at 3:27 PM, Professor James Davenport wrote:
On Sun, January 23, 2011 8:32 pm, David Leal wrote:
Dear All,
A terminology to do with accuracy, precision and uncertainty is
defined in the VIM (International Vocabulary of Metrology)
http://www.bipm.org/en/publications/guides/vim.html . The OASIS
QUOMOS work seems to have stalled, but the need for an ontology
Thanks for confirming what I was seeing.
covering this area remains.
Can I draw your attention to the OpenMath work described in
@InProceedings{ StratfordDavenport2008,
title = "{Unit Knowledge Management}",
author = {Stratford,J.D. and Davenport,J.H.},
editor = {S. Autexier {\it et al.}},
booktitle = {Proceedings AISC/Calculemus/MKM 2008},
year = {2008},
pages = {382-397},
keywords = {MKM UNIT}
}
@InProceedings{ Collins2009,
title = "{OpenMath Content Dictionaries for SI Quantites and Units}",
author = {Collins,J.B.},
editor = {J. Carette {\it et al.}},
booktitle = {Proceedings Intelligent Computer Mathematics},
year = {2009},
pages = {247-262},
keywords = {OPENMATH UNIT}
}
James Davenport
Lecturer on XX10190 and CM30
070
Hebron & Medlock Professor of Information Technology, University of Bath
OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
IMU Committee on Electronic Information and Communication
Council of the British Computer Society
Federal Council, International Foundation for Computational Logic
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2011/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2011
Community Portal: http://ontolog.cim3.net/wiki/
Ralph Hodgson
CTO and Executive Partner
TopQuadrant, Inc.,
www.topquadrant.com
, Office: (703) 299-9330
Direct: (650) 336-3035, Fax: (425) 955-5469, Cell: (781) 789-1664
Twitter: @ralphtq
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2011/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2011
Community Portal: http://ontolog.cim3.net/wiki/
|
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2011/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2011
Community Portal: http://ontolog.cim3.net/wiki/ (01)
|