1 / 41

Построение логической теории информационных ресурсов на примере молекулярной спектроскопии

Введение. Введение. Всероссийская научная конференция «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL ’2009, Петрозаводск, Россия, 2009. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии.

tulia
Télécharger la présentation

Построение логической теории информационных ресурсов на примере молекулярной спектроскопии

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. Введение Введение Всероссийская научная конференция «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» - RCDL’2009, Петрозаводск, Россия, 2009 Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Ахлёстин А.Ю., Козодоев А.В., Козодоева Е.М., Лаврентьев Н.А., Привезенцев А.И., Фазлиев А.З. RCDL-2009

  2. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Содержание Горизонтальная иерархия предметных областей Ресурс. RFC 2396 Логическая теория Постановка задачи Модель спектроскопии атмосферных газов(0-и 1-оеприближение) Источники данных, содержащие решения задач спектроскопии Проблема достоверности решений задач молекулярной спектроскопии Индивиды прикладной онтологии (структуры индивидов) Статистика утверждений по задачам и приближениям Классы прикладной онтологии (проблема достоверности (формальные ограничения и проверка опубликования)) Проверка ограничений на опубликование. Декомпозиция составных источников данных для молекулы воды RCDL-2009

  3. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Горизонтальная иерархия предметных областей Климат и погода Атмосферная химия Атмосферная радиация DIS W@DIS (H2O), DIS CaD@DIS (CO2), green-house gases Атмосферная спектроскопия Вещество RCDL-2009

  4. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Распределенная ИВС по молекулярной спектроскопии Распределенные ИВС института оптики атмосферы СО РАН Распределенная ИВС по атмосферной радиации ИВС по климату (ТГУ, ИВТ СО РАН) RCDL-2009

  5. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Virtual Atomic and Molecular Center • Name of the coordinating person: Professor M.L. Dubernet, LPMAA/CNRS • FP7 – e-Infrastructure Program Project • 15 legal partners - 21 institutes or departments • France, UK, Austria, Italia, Sweden, Germany, Serbia • Russian Federation (Insititute of Spectroscopy AN, Institute of Atmospheric Optics SB RAS, Institute of Astronomy RAS, Institute of Technical Physics) • Venezuela • Duration 1 July 2009 – 31 December 2012 RCDL-2009

  6. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Ресурс • RFC 2396: • Ресурс: Ресурсом может быть все то, что идентифицировано. • Типичным примером является электронный документ, изображение, сводка погоды и коллекция иных ресурсов. Не все ресурсы достижимы по сети, но корпорации, бытие человека, книги в библиотеке тоже можно рассматривать как ресурсы.Ресурс является концептуальным отображением в сущность или набор сущностей, не обязательно той сущности, которой соответствует данное отображение в любой частный момент времени.Т.о., ресурс может быть неизменным, даже тогда, когда его содержание --- сущности которым он соответствует --- изменяется во времени, что обеспечивается тем фактом, что концептуальное отображение не изменяется в процессе. RCDL-2009

  7. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Логическая теория Термины и высказывания в науке объединяются в комплексы. В логической теории научных знаний обычно рассматриваются такие из них, которые образуются по правилам логического следования и замены терминов и называются теориями. Теории будем обозначать символами Th, Th1, Tk2,.... Тот факт, что Y получается из высказывания теории Th по упомянутым правилам, будем записывать символом Th Y. Пусть каким-то образом задана область исследования и строятся или в принципе могут быть построены высказывания Х1,..., Xn,относящиеся к этой области исследования. Пусть t1, ..., tmсуть термины, фигурирующие в этих высказываниях. Пусть, далее, Y1 ,...,Yk есть некоторая совокупность определений и универсальных высказываний, образованных из общих терминов, а t1, ..., tl - фигурирующие в них термины. D1. Y1,..., Ykобразуют теорию относительно X1,..., Xn, если и только если Y1*...* Yk X1, … , Y1*...* Yk Xn. Зиновьев А.А., Основы логической теории знаний, М., Наука, 1967, 260с. RCDL-2009

  8. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Логическая теория D2. Высказывания, входящие в данную теорию, разделяются на исходные (первичные) и производные. Исходные просто принимаются как нечто данное, производные же выводятся посредством исходных. В число исходных утверждений теории могут включаться: 1) утверждения, которые могут быть получены (и получаются) и проверены независимо от построения данной теории и от прочих ее утверждений (в частности, это могут быть результаты наблюдений); в частности, в число исходных утверждений теории могут входить какие-то из X1,... 2) утверждения, представляющие собою трансформации определений первичных терминов; 3) допущения. D3. Термины, фигурирующие в данной теории, точно также разделяются на исходные (первичные) и производные. Исходные термины суть термины, не определяемые друг через друга и фигурирующие в исходных утверждениях, а производные — термины, определяемые через исходные. Зиновьев А.А., Основы логической теории знаний, М., Наука, 1967, 260с. RCDL-2009

  9. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Постановка задачи • Создать прикладную онтологию информационных ресурсов по молекулярной спектроскопии воды • Построить распределенную информационную систему по молекулярной спектроскопии, содержащую решения задач молекулярной спектроскопии и свойств этих решений • Создать открытую вычислимую логическую теорию свойств решений задач молекулярной спектроскопии • Сформировать A-box, содержащий полный набор опубликованных решений выбранных задач спектроскопии воды RCDL-2009

  10. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Модель спектроскопии атмосферных газов(процедурная предметная область, 0-оеприближение) Прямые задачи Обратные задачи Задача нахождения уровней энергии изолированной молекулы (T1) Задача нахождения уровней энергии изолированной молекулы (T1) Задача нахождения частот перехода изолированной молекулы (T2) Задача вычисления коэффициентов Эйнштейна(Т6) Задача нахождения параметров спектральной линии молекулы (T3) Задача приписывания квантовых чисел(T5) Задача нахождения спектральных функций (T4) Задача нахождения параметров спектральных линий (ET) Измерение спектров (E) В качестве модели предметной области выбраны две цепи задач. RCDL-2009

  11. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Модель спектроскопии атмосферных газов(процедурная предметная область, 1-оеприближение) Прямые задачи Обратные задачи Задача нахождения уровней энергии изолированной молекулы (T1) Задача нахождения уровней энергии изолированной молекулы (T1) Задача нахождения частот перехода изолированной молекулы (T2) Задача вычисления коэффициентов Эйнштейна(Т6) Задача нахождения параметров спектральной линии молекулы (T3) Задача приписывания квантовых чисел(T5) Задача нахождения спектральных функций (T4) Задача нахождения параметров спектральных линий (ET) Среднеквадратические отклонения RCDL-2009

  12. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии От неструктурированной модели данных к логической теории RCDL-2009

  13. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Источники данных, содержащие решения задач спектроскопии Элементарное решение спектроскопической задачи Характеристики источника данныхмолекула – H2Oсписок физических величин – уровни энергииE (cm-1), квантовые числа (v1 v2 v3 J Ka Kc), поправки к значению уровня энергииdE (см-1), число переходов, использованных при определении уровня публикация - Schwenke D.W., New H2O Rovibrational Line Assignments. // Journal of Molecular Spectroscopy, 1998, v. 190, no. 2, p. 397-402данные - ……………………………………………………………… Составные решения задач молекулярной спектроскопии HITRAN, GEISA, …. RCDL-2009

  14. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Проблема достоверности решений задач молекулярной спектроскопии Формальные ограничения Тип данных – квантовые числа – натуральные числа, интенсивность, полуширина, частота, уровни энергии –положительные действительные числа, ….Интервал изменения – 0 < частота < 45000 cm-1, 10-16cm/mol< интенсивность <10-30 cm/mol Правила отбора -нормальные моды – ka + kc = JorJ+1, ….. точные квантовые числа – J<60, s =((1,2),3,4) ((Cs), C2v) Ограничение на опубликование Опубликованы ли все части решения задачи Неформальные ограничения. Рекомендации экспертов XML OWL RCDL-2009

  15. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Модель спектроскопии атмосферных газов(процедурная предметная область, 0-оеприближение) Properties for solution of spectroscopic problem Т6 RCDL-2009

  16. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Модель спектроскопии атмосферных газов(процедурная предметная область, 1-оеприближение) RCDL-2009

  17. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Индивиды прикладной онтологии RCDL-2009

  18. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии V3_T1_102_2006_BaTeHaTo_c_H2O hasMethod DVR3D hasSubstance H2O hasInputData_MD V3_T1_102_T1-InputData_MD isSolutionOf T1 hasOutputData_MD V3_T1_102_T1-OutputData_MD date 2009-03-25 18:18:00 publisher faz comment Quantum numbers - BT2 label 2006_BaTeHaTo_c_H2O hasReferenceR.J.Barber, J. Tennyson, G.J. Harris, R.N. Tolchenov, A High Accuracy Computed Water Line List - BT2. // Mon. Not. R. Astron. Soc., 2006, v. 368, p. 1087-1094 V3_T1_102_T1-InputData_MD hasAtomicMass10.1111/j.1365-2966.2006.10184.x hasBasicWaveFunction10.1111/j.1365-2966.2006.10184.x hasPotentialEnergyFunction10.1111/j.1365-2966.2006.10184.x V3_T1_102_T1-OutputData_MD hasQuantumNumber_MDV3_T1_102_QuantumNumbers_MD_for_BT2 hasEnergyLevel_MD V3_T1_102_EnergyLevel_MD V3_T1_102_QuantumNumbers_MD_for_BT2 hasQuantumNumberType BT2 hasNumberOfNonuniqueQuantumNumbers 0 hasNumberOfUnlabeledQuantumNumbers 0 hasNumberOfUniqueQuantumNumbers 221091 hasTotalMaxAngularMomentum 50 hasTotalMinAngularMomentum 0 V3_T1_102_EnergyLevels_MD hasUnit cm-1 hasNumberOfEnergyLevels 221097 hasMinEnergyLevel 0 hasMaxEnergyLevel 29999.840396 Индивид «information source 2006_BaTeHaTo_c_H2O» RCDL-2009

  19. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии 2006_BaTeHaTo_c_H2O InputData_MD OutputData_MD QuantumNumbers_MD_for_BT2 EnergyLevels_MD Субъектно-предикатная структура «information source 2006_BaTeHaTo_c_H2O» 25 высказываний RCDL-2009

  20. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии V3_T6_349_2002_BrToDu_H2O_ucl hasMethod UNDEFINED hasSubstance H2O isSolutionOf T6 hasOutputData_MD V3_T6_349_T6-OutputData_MD date 2009-08-24 21:50:44 publisher vss label 2002_BrToDu_H2O_ucl hasReferenceL. R. Brown, R. A. Toth and M. Dulick, Empirical Line Parameters of H2(16)O near 0.94 V3_T6_349_T6-OutputData_MD hasQuantumNumber_MD V3_T6_349_Transitions_MD_for_NormalModes hasEinsteinCoefficient_MDV3_T6_349_EinsteinCoefficient_MD hasWavenumbers_MD V3_T6_349_Wavenumbers_MD V3_T6_349_Transitions_MD_for_NormalModes hasSpectralBand V3_T6_349_for_NormalModes_v1UP_v2UP_v3UP_v1LOW_v2LOW_v3LOW_SpectralBand hasQuantumNumbersType NomalModes hasNumberOfRejectedTransitions 0 hasNumberOfValidWaterTransitions 2757 hasNumberOfInvalidWater-C2V-Transitions 14 hasNumberOfValidWater-C2V-Transitions 2745 hasNumberOfInvalidWaterTransitions 2 hasNumberOfValidTransitions 2759 hasNumberOfInvalidIdentifications 0 hasNumberOfValidIdentifications 2759 hasNumberOfAllInvalidIdentifications 16 hasNumberOfAllValidIdentifications 2743 hasNumberOfUnassignedTransitions 0 hasNumberOfUniqueTransitions 2528 hasNumberOfNonuniqueTransitions 231 hasTotalMaxAngularMomentum 15 hasTotalMinAngularMomentum 0 V3_T5_279_Wavenumbers_MD hasUnit cm-1 hasUncertainty false IsVacuumWavenumber true hasMaxWavenumber 11383.22867 hasMinWavenumber 9676.8792 hasNumberOfWavenumbers 2759 V3_T6_349_EinsteinCoefficient_MD hasUnit s-1 hasUncertainty false isPresented false V3_T6_349_for_NormalModes_v1UP_v2UP_v3UP_v1LOW_v2LOW_v3LOW_SpectralBand hasBandType v1UP_v2UP_v3UP_v1LOW_v2LOW_v3LOW hasNumberOfSpectralBands 16 40 высказываний Индивид «information source 2002_BrToDu_H2O_ucl» RCDL-2009

  21. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии V3_T6_349_2002_BrToDu_H2O_ucl OutputData Einstein Coefficient TransitionsNormalModes Wavenumbers SpectralBand Субъектно-предикатная структура «information source V3_T6_349_2002_BrToDu_H2O_ucl» 40 высказываний RCDL-2009

  22. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии V3_T5_279_1998_ToBr_H2_17O-H2O isSolutionOf T5 hasMethod UNDEFINED hasSubstance H2_17O hasOutputData_MD_V3_T5_279-T5_OutputData_MD hasReferenceToth R.A., Brown L.R., Self-broadened widths and frequency shifts of water vapor lines between 590 and 2400 cm-1. // Journal of Quantitative Spectroscopy and Radiation Transfer, 1998, v.59, p.529-562. Индивид«information source 1998_ToBr_H2_17O-H2O» V3_T5_279_BroadeningSubstances_MD_for_H2O hasBroadeningSubstance H2O hasHalfwidth_MD V3_T5_279_Halfwidth_MD_for_H2O hasPressure_MD V3_T5_279_PressureValue_MD_for_H2O hasPressureDependence_MD V3_T5_279_PressureDependence_MD_for_H2O hasShift_MD V3_T5_279_Shift_MD_for_H2O hasTemperatureDependence_MD V3_T5_279_TemperatureDependence_MD_for_H2O V3_T5_279-T5_OutputData_MDhasBroadeningSubstance_MD V3_T5_279_BroadeningSubstances_MD_for_H2O hasWavenumbers_MD V3_T5_279_Wavenumbers_MDhasTransitions_MD V3_T5_279_Transitions_MD_for_NormalModes hasPhysicalCondition_MD V3_T5_279_PhysicalCondition_MD hasIntensity_MD V3_T5_279_Intensity_MD V3_T5_279_PhysicalCondition_MD hasTemperature_MD V3_T5_279_TemperatureValue_MD hasPressure_MD V3_T5_279_PressureValue_MD V3_T5_279_Halfwidth_MD_for_H2OhasUnit cm-1_atm-1hasUncertainty trueisPresented true V3_T5_279_Intensity_MD hasUnit cm-1_molecule hasUncertainty false isPresented false V3_T5_279_Shift_MD_for_H2O hasUnit cm-1_atm-1 hasUncertainty true isPresented true V3_T5_279_PressureValue_MD hasUnit atm hasFloatValue 1 V3_T5_279_Wavenumbers_MD hasUnit cm-1 hasUncertainty false hasMaxWavenumber 2010.911865 hasMinWavenumber 1315.606567 hasNumberOfWavenumbers 142 V3_T5_279_PressureDependence_MD_for_H2O hasUncertainty false isPresented false V3_T5_279_TemperatureValue_MD hasUnit K hasFloatValue 296 V3_T5_279_TemperatureDependence_MD_for_H2O hasUncertainty false isPresented false V3_T5_279_Transitions_MD_for_NormalModes hasSpectralBand V3_T5_279_for_NormalModes_v1UP_v2UP_v3UP_v1LOW_v2LOW_v3LOW_SpectralBand hasQuantumNumbersType NomalModes hasTotalMaxAngularMomentum 12 hasTotalMinAngularMomentum 0 hasNumberOfInvalidTransitions 0 hasNumberOfValidWater-C2V-Transitions 142hasNumberOfRejectedTransitions 0 hasNumberOfUnassignedTransitions 0 hasNumberOfValidTransitions 142 hasNumberOfUniqueTransitions 142 hasNumberOfValidIdentifications 142 hasNumberOfInvalidWaterTransitions 0 hasNumberOfInvalidWater-C2V-Transitions 0 hasNumberOfInvalidIdentifications 0 hasNumberOfNonuniqueTransitions 0 V3_T5_279_PressureValue_MD_for_H2O hasUnit atm hasFloatValue 1 V3_T5_279_for_NormalModes_v1UP_v2UP_v3UP_v1LOW_v2LOW_v3LOW_SpectralBand hasBandType v1UP_v2UP_v3UP_v1LOW_v2LOW_v3LOW hasNumberOfSpectralBands 1 RCDL-2009

  23. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии 1998_ToBr_H2_17O-H2O OutputData_MD Intensity TransitionsNormalModes PhysicalCondition Wavenumbers BroadeningSubstances PressureDependence PressureValuefor_H2O TemperatureDependence SpectralBand Halfwidth Pressure Temperature Shift Субъектно-предикатная структура «information source 1998_ToBr_H2_17O-H2O» 61 высказывание RCDL-2009

  24. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_CorrelationPair hasCorrelationMember V3_T7_269_NaMaLeTe_D2O hasCorrelationMember V3_T1_284_ShZoPo_D2O hasPhysicalQuantity EnergyLevels hasBandCorrelationPair V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_v1_v2_v3_CorrelationBand hasTotalRMSDeviationValue 34.800 hasTotalMaxDifferenceValue 225.9971 hasTotalNumberCorrelationLines 530 V3_T1_284_ShZoPo_D2O …………. hasReferenceS.V. Shirin, N.F. Zobov, O.L. Polyansky, Theoretical line list of D216O up to 16000 cm-1 with an accuracy close to experimental, J. Quant. Spectr. Rad. Trans., 109 (2008) 549 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_v1_v2_v3_BandCorrelationPair hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_0_3_3_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_1_1_3_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_1_3_2_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_2_1_2_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_2_3_1_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_3_1_1_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_3_3_0_CorrelationBand hasCorrelationBand V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_4_1_0_CorrelationBand hasNumberOfCorrelationBands 8 V3_T7_269_NaMaLeTe_D2O ………. hasReferenceO.V.Naumenko, F. Mazzotti, O.M. Leshchishina, J. Tennyson and A. Campargue, Intracavity laser absorption spectroscopy of D2O between 11 400 and 11 900 cm-1. // Journal of Molecular Spectroscopy, 2007, v. 242, no. 1, p. 1-9 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_1_1_3_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_0_3_3_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_2_3_1_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_0_3_3_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_1_3_2_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_0_3_3_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_3_1_1_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_0_3_3_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_2_1_2_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_0_3_3_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_4_1_0_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_4_1_0_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_0_3_3_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_0_3_3_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_3_3_0_CorrelationBand hasQuantumNumberBand QuantumNumbers_on_NormalModes_3_3_0_Band hasBandMaxDifferenceValue 121.42 hasBandNumberCorrelationLines 45 hasBandRMSDeviationValue 23.717 (131 + 5Nbands) высказываний Индивид «Information source V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_CorrelationPair» RCDL-2009

  25. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_CorrelationPair V3_T7_269_to_V3_T1_284 NaMaLeTe_D2O ShZoPo_D2O Индивид «information source V3_T7_269_to_V3_T1_284_by_EnergyLevels_on_NormalModes_CorrelationPair» RCDL-2009

  26. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Статистика высказываний по задачам и приближениям Число 1467 утверждений для таксономий. Число фактов для молекулы воды (H2O) и ее изотопомеров: T1 1432 T2 1586 T3 4265 T5 28723 T6 17202 T7 6159 Факты о среднеквадратических отклонениях с полосами для H2O и его изотопомеров: Т1, Т7 - 216,567 Т2, Т5 - 543,515 Е3, Т5 - 521,269 Всего фактов 1,346,329 RCDL-2009

  27. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Классы прикладной онтологии (проблема достоверности(формальные ограничения и проверка опубликования)) RCDL-2009

  28. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Канонический источник информации для решения задачи нахождения уровней энергии молекулы воды (проверка формальных ограничений) Определение.(Естественный язык) Информационный источник является каноническим источником информации, если и только если, в решении задачи, относящейся к нему, нет ошибок в квантовых числах и это решение опубликовано. Def. (OWL DL language, Для группы симметрии C2vи Cs) (CanonicIST1T7-H2O и CanonicIST2T6-HDO) InformationSource that hasSubstance value H2Oand hasOutputData_MD some (    (hasQuantumNumbers_MD min 1 QuantumNumbers_MD        and hasQuantumNumbers_MD some             (hasQuantumNumbersType value NormalModes                and hasNumberOfNonuniqueQuantumNumbers some {0}                and (hasNumberOfUnlabeledQuantumNumbers some {0}                     or hasNumberOfUnassignedQuantumNumbers some {0}                ) and hasNumberOfInvalidQuantumNumbers some {"0"^^integer}                and hasNumberOfInvalidComparedWithBT2QuantumNumbers some {"0"^^integer}            )     ) ) RCDL-2009

  29. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Канонический источник информации для решений задач Т2, Т3, Т5, Т6 Def. (OWL DL language, Для группы симметрии C2v) (CanonicIST1T7-H2O) InformationSource that hasSubstance value H2O and hasOutputData_MD some ( hasTransitions_MD some ( (hasQuantumNumbersType value NormalModes and hasNumberOfNonuniqueTransitions some {0} and (hasNumberOfUnlabeledTransitions some {0} or hasNumberOfUnassignedTransitions some {0}) and hasNumberOfInvalidIdentifications some {0} and hasNumberOfInvalidTransitions some {0} and hasNumberOfInvalidWaterTransitions some {0} and hasNumberOfInvalidWater-C2V-Transitions some {0} and hasNumberOfRejectedTransitions some {0} ) ) ) Def. (OWL DL language, Для группы симметрии Cs) (CanonicIST2T6-HDO) InformationSource that hasSubstance value H2O and hasOutputData_MD some ( hasTransitions_MD some ( (hasQuantumNumbersType value NormalModes and hasNumberOfNonuniqueTransitions some {0} and (hasNumberOfUnlabeledTransitions some {0} or hasNumberOfUnassignedTransitions some {0}) and hasNumberOfInvalidIdentifications some {0} and hasNumberOfInvalidTransitions some {0} and hasNumberOfInvalidWaterTransitions some {0} and hasNumberOfInvalidWater-C2V-Transitions some {0} and hasNumberOfRejectedTransitions some {0} ) ) ) RCDL-2009

  30. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Полнота A-box’a RCDL-2009

  31. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Проверка ограничений на опубликование. Декомпозиция составных источников данных для молекулы воды (T3, T5) остаток L.S. Rothman, I.E. Gordon, A. Barbe, D.Chris Benner, P.F. Bernath, M. Birk, V. Boudon, L.R. Brown, A. Campargue, J.-P. Champion, K. Chance, L.H. Coudert, V. Dana, V.M. Devi, S. Fally, J.-M. Flaud, R.R. Gamache, A. Goldman, et al, The HITRAN 2008 molecular spectroscopic database. Journal of Quantitative Spectroscopy and Radiation Transfer, 2009, v. 110, Issue 9, p. 533-572. 181 data sources(including HITRAN 2004, GEISA 1997) ~ 25 linesWN -11000-25000 Intensity 10-25 – 10-28 Total 36000 N. Jacquinet-Husson, E. Arié, J. Ballard, A. Barbe, G. Bjoraker, B. Bonnet, L. R. Brown, C. Camy-Peyret, J. P. Champion, A. Chédin, A. Chursin, C. Clerbaux, G. Duxbury, J. -M. Flaud, N. Fourrié, A. Fayt, G. Graner, et al, The 1997 spectroscopic GEISA databank. Journal of Quantitative Spectroscopy and Radiation Transfer, 1999, v. 62, Issue 2, p. 205-254 183 data sources(including HITRAN 2004, HITRAN 2008) ~ 4000 linesWN – 0.4012 -19000 Intensity 10-20 – 10-32 Total 38000 Общее число источников данных ~ 250 Tdecomposition ~ 10 минут RCDL-2009

  32. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Результаты проверки достоверности источников информации о решениях задач спектроскопии воды RCDL-2009

  33. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Компьютерный логическийвывод Логическая теориясвойств решений задач молекулярной спектроскопии Веб-сервис для формирования онтологии свойств решений задач молекулярной спектроскопии Интерфейс Protégé Проверка согласованности логической теории W@DIS, CaD@DIS Веб-сервис формирования однородного массивасвойств решений прямых и обратных задач в распределенной системе Описание не вычисляемых свойств решений прямых и обратных задач спектроскопии Свойства решений задач молекулярной спектроскопии Декомпозициярешений задач по публикациям Расчет вычисляемых свойств решений прямых и обратныхзадач спектроскопии Первичные решения обратных спектроскопическихзадач Составные решения спектроскопических задач Формирование составных решений задач Интерфейсы Первичныерешения прямых спектроскопических задач Система ввода решений прямых и обратныхзадач спектроскопии Расчет спектральных функций БД публикаций Веб-сервис синхронизации базы данных публикаций Слой знаний Слой метаданных Слой данных и вычислений

  34. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Таксономии и факты прикладной онтологии http://wadis.saga.iao.ru/saga2/ontology RCDL-2009

  35. Введение Введение Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Благодарю за внимание! Questions?

  36. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии Концептуализация «Формально представленное знание основано на концептуализации: объектах, концептах и других сущностях, которые предполагается существуют в некоторой интересующей нас области и отношений между ними. Концептуализация является абстракцией, упрощающей мир который мы хотим представить с некоторой целью. Каждая база знаний, система, основанная на знании или агент уровня знаний фиксирует некоторую концептуализацию, явно или неявно.» Грубер Т. Определение (Genesereth) Концептуализация является парой (D, R), где D – вселенная, а R – множество отношений на D. Предполагается, что D –множество, а R – экстенсиональные отношения. Определение (Guarino) Концептуализация для предметной области D теперь может быть определена как упорядоченная тройка C = <D, W, Â>, где Â - это набор концептуальных отношений на пространстве предметных областей <D, W>.

  37. Построение логической теории информационных ресурсов на примере молекулярной спектроскопии . Структура первого порядка Определение Структурой первого порядка M логического языка L со словарем V является пара M=(S,I), где S=(D,R) – концептуализация и I – функция интерпретации: V ->D+R, отображающей символы словаря V в элементы предметной области или экстенсиональные отношения R. Логическая теория F предметной области, содержащая набор аксиом, является структурой первого порядка M, если все ее аксиомы истинны. В этом случае М называется моделью предметной области. RCDL-2009

  38. Введение Введение Онтологии. Точка зрения Гуарино Н. Онтологическое соглашение • Определение • Онтологическое соглашение К логического языка L со словарем V является парой K=(C,J) c • C=(D, W, R) – концептуализацией и • J функцией J:V ->D+R, отображающей словарные символы V в элементы вселенной и концептуальные отношения R. • Понятие онтологического соглашения является связью между концептуализацией C, которая не зависит от языка и онтологией, т.е. логической теорией, выраженной в L в соответствие с K.

  39. Введение Введение Онтологии. Точка зрения Гуарино Н. Совместимость: Логическая теория – Онтологическое соглашение • Определение • Модель М=(S,I) логической теории L с концептуализацией S=(D,R) совместима с онтологическим соглашением K=(C,J) c концептуализацией C=(D,W,R) если и только если • Существует w,принадлежащая W, такая, что для всех r из R существует по крайней мере одно p из V с r = J(p)(w) • Для всех постоянных символов c из V мы имеем I(c)=J(c) • Для всех отношений символа pиз V существует по крайней мере одно p из R c J(p)=p • Существует w из W такое, что для всех отношений символа pиз V существует по крайней мере одно p из R c I(p)=p(w) • Множество IK(L) всех моделей L совместимых с K называется множеством намеренных моделей L в соответствие с K.

  40. Введение Введение Онтологии. Точка зрения Гуарино Н. Совместимость: Логическая теория – Онтологическое соглашение Условие 1 означает, что экстенсиональные отношения R должны равняться концептуальным отношениям описываемого мира. Условие 2 требует, чтобы отображение символов констант в элементы предметной области было идентичным. Условие 3 требует, чтобы интерпретация J, определенная в онтологической фиксации, отображала каждый символ отношения p в концептуальное отношение p. Условие 4 требует, чтобы интерпретации символов отношений являлись элементами соответствующих концептуальных отношений в предметной области.

  41. Введение Введение Онтологии. Точка зрения Гуарино Н. Онтология Определение Для данного языка L с онтологическим соглашением K онтологией O для L является логическая теория, сконструированная таким образом, что множество ее моделей как можно лучше соответствует возможному набору совместимых, т.е. намеренных моделей L, соответствующих K. Концептуализация фиксирует термины, отношения и понятия, относящиеся к предметной области, но не фиксирует интерпретируемую логику.

More Related