1 / 17

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

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

jory
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

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

More Related