<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">ellibs</journal-id><journal-title-group><journal-title xml:lang="ru">Электронные библиотеки</journal-title><trans-title-group xml:lang="en"><trans-title>Russian Digital Libraries Journal</trans-title></trans-title-group></journal-title-group><issn pub-type="epub">1562-5419</issn><publisher><publisher-name>Казанский (Приволжский) федеральный университет</publisher-name></publisher></journal-meta><article-meta><article-id custom-type="elpub" pub-id-type="custom">ellibs-480</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Статьи</subject></subj-group></article-categories><title-group><article-title>Базы знаний для описания информационных ресурсов в молекулярной спектроскопии. 3. Формирование базовой и прикладной онтологии</article-title><trans-title-group xml:lang="en"><trans-title>Computed knowledge base for description of information resources of molecular spectroscopy. 3. Basic and applied ontologies.</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Привезенцев</surname><given-names>А. И.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Царьков</surname><given-names>Д. В.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Фазлиев</surname><given-names>А. З.</given-names></name></name-alternatives><email xlink:type="simple">noemail@neicon.ru</email></contrib></contrib-group><pub-date pub-type="collection"><year>2012</year></pub-date><pub-date pub-type="epub"><day>28</day><month>04</month><year>2012</year></pub-date><volume>15</volume><issue>2</issue><elocation-id>480</elocation-id><permissions><copyright-statement>Copyright &amp;#x00A9; Привезенцев А.И., Царьков Д.В., Фазлиев А.З., 2012</copyright-statement><copyright-year>2012</copyright-year><copyright-holder xml:lang="ru">Привезенцев А.И., Царьков Д.В., Фазлиев А.З.</copyright-holder><copyright-holder xml:lang="en">Привезенцев А.И., Царьков Д.В., Фазлиев А.З.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://ellibs.elpub.ru/jour/article/view/480">https://ellibs.elpub.ru/jour/article/view/480</self-uri><abstract><p>Статья посвящена описанию свойств решений задач в предметной области «Количественная спектроскопия» и детализирует результаты работы [<xref ref-type="bibr" rid="cit1">1</xref>]. Для представления свойств решений задач используется язык OWL DL. В качестве примера рассмотрена прикладная онтология источников информации о свойствах решений прямой и обратной задачи нахождения вакуумных волновых чисел в молекулярной спектроскопии диоксида углерода и его изотопологов. Показано, что создание источника информации,  характеризующих свойства решения задачи, позволяет классифицировать решения задач количественной спектроскопии и  организовывать семантический поиск достоверных данных в публикациях. Дано краткое описание особенностей табличного метода используемого в машине вывода FACT++.</p></abstract><trans-abstract xml:lang="en"><p>This paper examines in details the results of the work has done in Ref [<xref ref-type="bibr" rid="cit1">1</xref>]. The solution properties of  "Quantitative spectroscopy" domain tasks article are described. OWL DL language is used for the presentation of the properties of tasks' solutions. An applied information sources'  ontology on the solutions of direct and inverse tasks on the determination of vacuum wavenumbers in molecular spectroscopy of carbon dioxide and its isotopologues  is demonstrated as an example.  It is shown that  the creation of the information sources characterizing tasks solutions' properties allows one to classify the solutions of quantitative spectroscopy tasks and to organize semantic search of valid data in publications.  A short description of peculiarities of the table method used in  FACT++  inference engine is presented.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>количественная спектроскопия</kwd><kwd>язык OWL DL</kwd><kwd>вакуумные волновые числа</kwd><kwd>молекулярная спектроскопия диоксида углерода</kwd><kwd>семантический поиск</kwd></kwd-group><kwd-group xml:lang="en"><kwd>quantitative spectroscopy</kwd><kwd>OWL DL language</kwd><kwd>applied ontology</kwd><kwd>semantic search</kwd><kwd>molecular spectroscopy</kwd><kwd>isotopologues</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
