Specifying Units of Measure in POSL and RuleML1.0: Targeting OO jDREW Execution Instructor: Dr Harold Boley Advisor: Tara Athan Team members Chandan Bagai Sunil Kumar Ravikumar Udit Trivedi
Agenda • Introduction • Base Dimensions • Multiples and Sub Multiples of Base Dimension • Derived Units • Invertibility • Conclusion
Introduction • Specifying units of measure in base units and derived units using POSL and RuleML 1.0. • Facts specifying base dimension and conversion constants for derived units. • Specifying derived dimensions in terms of base dimension. • Conversion between units of measure. • Targeting execution in OO jDREW.
Base Dimensions and Units ● Mass: kilogram (kg) ● Length: meter (m) ● Time: second (sec) ● Current: Ampere (A) ● Temperature: Kelvin (K) ● Amount of substance: Mole (mol) ● Intensity of light: candela (cd) ● Note: These are 7 base dimensions.
Dimensional Analysis • Tom Gruber’s axiom and definition of physical quantities and standard units in lisp are used as facts and predicates in POSL and RuleML. • Multiples ,sub multiples and derived units are obtained either by • Multiply quantities==>multiply dimensions • Divide quantities ==> divide dimensions
Conclusion • Specifying units of measure and conversion between units has vast application in the field of Science, Engineering, Manufacturing, Commerce, Medicine and Environmental Regulation. • Various geographical areas have their own measurements it becomes easier if we specify these in terms of base dimensions.
Future Enhancements • Web service can be implemented and used to get data about currency conversion on daily basis and create facts in knowledge base, which could be used to convert amongst various currencies, using U.S dollar as base unit for currency.
1. POSL- An Integrated Positional-Slotted Language for Semantic Web Knowledge http://ruleml.org/submission/ruleml-shortation.html 2. Units of Measure http://physics.nist.gov/Pubs/SP811/sec04.html 3. Frank Olken: An Ontology of Measurement Units and Dimensions: http://ontolog.cim3.net/file/work/OntologySummit2009/OntologySummit2009_Symposium_20090406-07/units-ontology-talk-v01--FrankOlken_20090406.pdf 4. NIST UnitsML: http://unitsml.nist.gov/Presentations/UnitsML-SCC20.ppt 5. Ontolingua Quantities and Units: http://www-ksl.stanford.edu/htw/dme/thermal-kb-tour/physical-quantities.html http://www-ksl.stanford.edu/htw/dme/thermal-kb-tour/standard-units.html 6. Functional-Logic Programming http://www.cs.unb.ca/~boley/FLP/notes.html References