Specifying Units of Measure in POSL and RuleML1.0: Targeting OO jDREW Execution - PowerPoint PPT Presentation

specifying units of measure in posl and ruleml1 0 targeting oo jdrew execution n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Specifying Units of Measure in POSL and RuleML1.0: Targeting OO jDREW Execution PowerPoint Presentation
Download Presentation
Specifying Units of Measure in POSL and RuleML1.0: Targeting OO jDREW Execution

play fullscreen
1 / 17
Specifying Units of Measure in POSL and RuleML1.0: Targeting OO jDREW Execution
82 Views
Download Presentation
jory
Download Presentation

Specifying Units of Measure in POSL and RuleML1.0: Targeting OO jDREW Execution

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. 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

  2. Agenda • Introduction • Base Dimensions • Multiples and Sub Multiples of Base Dimension • Derived Units • Invertibility • Conclusion

  3. 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.

  4. 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.

  5. 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

  6. Multiples and Sub Multiples of Base Dimension

  7. Multiples and Sub Multiples of Base Dimension

  8. Derived Units

  9. Derived Units

  10. Multiples and Sub Multiples of Base Dimension

  11. Acceptable Units(Non SI units)

  12. Derived units

  13. Celsius to Fahrenheit conversion

  14. 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.

  15. 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.

  16. 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