Результат интеллектуальной деятельности: УСТРОЙСТВО ДЛЯ ОБРАБОТКИ ДАННЫХ В ЛОГИЧЕСКОЙ СИСТЕМЕ С КОМПЬЮТЕРНОЙ ПОДДЕРЖКОЙ И СООТВЕТСТВУЮЩИЙ СПОСОБ

Изобретение относится к устройству для обработки данных в логической системе с компьютерной поддержкой, а также к соответствующему способу, соответствующему применению и соответствующему компьютерному программному продукту.

Изобретение относится к области информатики и касается компьютеризованных логических систем, при которых основанное на компьютерной поддержке знание согласно логике описания может быть выведено на основе семантической модели (также называемой онтологией) и соответствующих реализаций модели. Этот вывод знаний соответствует выводу умозаключений (логических выводов) в логике описания. Понятие «логика описания» является специальным термином в области информатики и описывает семейство языков для представления знания, причем большинство логик описания являются фрагментом предикатной логики первой ступени. В противоположность предикатной логике, логики описания, однако, поддаются решению, благодаря чему обеспечивается возможность генерации нового знания посредством логических выводов.

Применяемая согласно изобретению онтология или семантическая модель определена формально в логике описания и также обозначается специалистом как ТВох (ТВох=терминологический набор). ТВох содержит терминологическое знание о понятиях области (знаний). В отличие от этого, экземпляр модели ТВох (также называется АВох = ассерторический (относящийся к утверждениям) набор) представляет логические высказывания об индивидах посредством соответствующих терминологических понятий онтологии. Терминологическими понятиями ТВох в промышленном сценарии являются, например, системы и установки, которые контролируются датчиками, которые предоставляют в распоряжение данные контроля прямо или косвенно, например, через банк данных. Соответствующие наборы АВох, которые представляют конкретные экземпляры, содержат в промышленном сценарии, например, конкретные датчики, такие как датчики дистанции, датчики газа, датчики температуры и т.д.

Для того чтобы в логике описания вывести логические выводы, обычно применяются так называемые механизмы (блоки) рассуждения, которые являются системами, которые применяют способы логических выводов к явно заданному знанию в форме вышеупомянутых наборов ТВох или АВох. В зависимости от выразительности лежащей в основе логики описания соответствующий способ логических выводов блока рассуждений строится с различной степенью сложности, что в свою очередь приводит к различной потребности в ресурсах блока рассуждений в форме машинного времени и потребности в памяти. Эта потребность в ресурсах, в свою очередь, зависит от объема подлежащего переработке знания в форме наборов ТВох и АВох. Если подлежащее обработке знание возрастает, то увеличивается и потребность в ресурсах блока рассуждений логики описания.

При использовании логических систем в распределенных промышленных сценариях часто должен одновременно рассматриваться очень большой объем знаний и обрабатываться в интегрированной форме. Это знание, как правило, интегрируется в единственном наборе АВох. Если это количество данных в наборе АВох слишком велико, то известные блоки рассуждения логики описания не могут более применять интегрированные в них способы логических выводов надлежащим образом, так как блоки рассуждений на основе логики описания эффективно работают только на локально имеющемся знании, и их внутренние структуры данных поддерживают исключительно в рабочей памяти соответствующего компьютера. Поэтому применение обычных блоков рассуждений на основе логики описания для распределенных логических систем, при которых данные имеются в форме наборов АВох в больших количествах и во многих распределенных местах, невозможно.

Это справедливо, в частности, также для так называемых основанных на стимулировании спроса решениях, при которых приложения активно представляют запросы в блоки рассуждений, которые получают логические выводы на основе наборов ТВох и АВох. Они недостаточно производительны, чтобы иметь возможность обрабатывать большие количества данных с высокой частотой, обусловленной активными запросами данных. Тем самым быстрая реакция приложения возможна лишь в ограниченной степени, например, если приложение должно в реальном времени распознать критическое событие и ввести противодействующие меры.

Для решения этой задачи из DE 10 2007 029 122 А1 известен способ, который применяет множество блоков рассуждений. Набор АВох для этого разделен на различные блоки рассуждений. Если представляется запрос приложения к одному из блоков рассуждений, то сначала определяются те блоки рассуждений, которые требуются для обработки запроса. Запрос приложения затем разделятся на подзапросы и обрабатывается отдельно от определенных перед этим блоков рассуждений. Затем отдельные блоки рассуждений возвращают затем результат соответствующих подзапросов, выполняется сведение к общему результату, который возвращается приложению. При этом, однако, недостатком является то, что должно использоваться множество блоков рассуждений. К тому же критичные к времени запросы и определение соответствующих логических выводов посредством блока(ов) рассуждений возможны лишь в ограниченной степени, так как подразделение первоначального запроса на подзапросы и объединение результатов подзапросов требуют дополнительного времени. К тому же различные блоки рассуждений, ввиду различных подзапросов, требуют различного количества времени для получения логического вывода, так что здесь общий результат в форме логического вывода для приложения только тогда предоставляется в распоряжение, когда все блоки рассуждений отослали результат подзапроса.

Поэтому задачей предложенного изобретения является предоставить устройство и способ, который обеспечивает возможность того, что критичные к времени запросы и логические выводы могут создаваться или выполняться просто и экономично, и одновременно требует ограниченного объема памяти для логических выводов.

Эта задача решается устройством для обработки данных в логической системе с компьютерной поддержкой, содержащим по меньшей мере одно устройство логических выводов с блоком рассуждений, который генерирует логические выводы на основе семантической модели и экземпляра модели семантической модели на основе данных, по меньшей мере один источник данных для предоставления данных для обработки посредством устройства логических выводов, а также по меньшей мере одно приложение, которое направляет запрос в устройство логических выводов и получает результаты логических выводов от устройства логических выводов, причем устройство логических выводов и источник данных таким образом взаимодействуют, что устройство логических выводов на основе поступающих событий источника данных, в особенности к определенным моментам времени, получает информации о событии, а также основанные на событии данные от источника данных для генерации причинного и/или основанного на времени логического вывода и причем информации о событии и/или основанные на событии данные источника данных включают в себя временные и причинные компоненты.

Задача также решается способом для обработки данных в логической системе с компьютерной поддержкой, включающим в себя следующие этапы:

- направление запроса приложения на по меньшей мере одно устройство логических выводов,

- передача информаций основанных на событии данных источника данных на устройство логических выводов, причем передача данных источника данных на устройство логических выводов осуществляется, основываясь на событии, в особенности к определенным моментам времени,

- определение причинного и/или основанного на времени логического вывода посредством блока рассуждений устройства логических выводов на основе семантической модели и экземпляра модели семантической модели на основе данных источника данных переданных информаций и

- передача логического вывода в приложение посредством устройства логических выводов.

Достижимое этим преимущество состоит в том, что по существу потребность в памяти и необходимое для обработки запросов время вычислений блока рассуждений остается одинаковым. Кроме того, семантическая модель (ТВох) может выбираться путем почти свободного выбора в отношении ее сложности, не приводя к тому, что критичные ко времени запросы не могут более обрабатываться своевременно. Кроме того, устройство обеспечивает возможность обработки темпорально-логических взаимосвязей различных событий. Для того чтобы не терять важные зависимости, ввиду ограниченной потребности в памяти устройства, устройство и, соответственно, способ обеспечивают возможность агрегирования событий к логическим выводам более высокого уровня. Так, например, различные значения датчиков, которые, соответственно, дают во временном окне t_n, t_n+1 логический вывод повышения температуры, могут комбинироваться в логический вывод повышения температуры между моментами времени t_i, t_n+1 при 0<=i<=n+1.

Другие признаки и преимущества изобретения описаны в зависимых пунктах формулы изобретения.

Предпочтительным образом устройство логических выводов содержит средства удаления для удаления устаревших данных и/или логических выводов из памяти устройства логических выводов. При этом достигаемое преимущество заключается в том, что и при высокой частоте возникающих событий потребность в ресурсах, особенно потребность в памяти, не возрастает или по существу поддерживается постоянной. Средства для удаления устаревших данных удаляют их только в том случае, если осуществляется агрегирование информаций о логических выводах на более высоком уровне.

Рациональным образом, устройство логических выводов содержит средства управления событиями для обработки событий, причем средства управления событиями выполнены с возможностью передачи логических выводов блока рассуждений в приложение. Преимущество при этом состоит в том, что за счет этого простым и надежным образом события ли их данные могут подаваться от источника данных на блок рассуждений, и результаты блока рассуждений могут непосредственно передаваться на запрашивающее приложение. Интенсивные по времени дополнительные этапы обработки, такие как, например, передача результатов блока рассуждений через центральный интерфейс, могут тем самым отсутствовать.

Предпочтительным образом устройство логических выводов содержит средства подписки, которые выполнены с возможностью соответствующего выбора источника данных на основе запроса приложения. Преимущество при этом состоит в том, что тем самым запрос приложения требует минимального объема данных, а также приложение может направлять запрос на абстрактном уровне на устройство логических выводов, так как приложению не требуется знать точный выбор и/или доступность источников данных при множестве различных источников данных. Средства подписки анализируют запрос и затем выбирают один или несколько источников данных, подходящих для генерации логического вывода для запроса.

Рациональным образом между источником данных и устройством логических выводов расположены средства запуска. Преимуществом средств запуска является то, что тем самым может выполняться привязка также тех источников данных, например банков данных, которые не могут передавать входящие события, например изменение значения аналогового датчика и соответствующие данные на устройство логических выводов. Средства запуска выполняют тогда независимо от компонентов логического вывода периодически опрос источников данных на наличие новых и/или измененных данных и передают, при наличии новых или измененных данных, эти новые или измененные данные на устройство логических выводов для дальнейшей обработки.

Предпочтительным образом причинные и временные компоненты основанных на событиях данных источников данных связаны друг с другом. Достигаемым преимуществом при этом является то, что тем самым логические выводы причинной взаимосвязи могут осуществляться с помощью устройства логических выводов еще более просто посредством временных соотношений, что повышает гибкость устройства.

Рациональным образом величина экземпляра модели зависит от величины временного окна. Таким образом величина временного окна по существу определяет количество данных экземпляра модели компонентов логического вывода, которые к определенному моменту времени считаются релевантными для устройства логических выводов; в целом количество данных экземпляра модели остается по существу постоянным. Это обеспечивает возможность реализации устройства в форме интегральной схемы, которая обычно имеет ограниченную память.

Предпочтительным образом предусмотрены по меньшей мере одно первое и одно второе устройства логических выводов, причем первое устройство логических выводов выполнено в качестве источника данных для второго устройства логических выводов. Достигаемым преимуществом при этом является то, что тем самым, с одной стороны, обеспечивается возможность параллельности обработки запросов приложения, так что в целом время на обработку запроса снижается. С другой стороны, за счет этого также возможно сокращение сложности за счет поэтапной предварительной обработки. За счет этого снижается объем необходимых для этого передаваемых данных для запроса между двумя устройствами логических выводов.

Предпочтительным образом устаревшие данные и/или устаревшие логические выводы удаляются из устройства логических выводов и/или источника данных. Это сокращает количество необходимых для сохранения событий в устройстве логических выводов и/или источнике данных и минимизируется потребность в памяти устройства логических выводов.

Рациональным образом устройство логических выводов выбирает источник данных на основе запроса приложения. Достигаемым преимуществом при этом является то, что тем самым запросы приложения к устройству логических выводов могут формулироваться более абстрактно и четко, так как приложению не требуется называть отдельные источники данных в запросе, а вместо этого выбор необходимых для логического вывода для запроса источников данных осуществляется устройством логических выводов.

Другие признаки и преимущества изобретения будут понятны из нижеследующего описания примера выполнения.

При этом на фиг. 1 показано схематичное принципиальное представление устройства согласно форме выполнения предложенного изобретения.

На фиг. 1 ссылочной позицией V обозначено устройство для обработки данных в логической системе с компьютерной поддержкой. Устройство содержит приложение 1, устройство R логических выводов и источники данных в форме банка 4 данных и аналогового датчика 5. Приложение 1 направляет на этапе S₁ подлежащий подписке запрос А через интерфейс 2 подписки на устройство R логических выводов. Этот запрос А может, например, определяться в SPARQL и выражать то, что приложение 1 должно информироваться обо всех критических ошибках в полной системе или, например, о критических значениях аналоговых датчиков.

Данные, которые требуются Pellet-блоку R_P рассуждений устройства R логических выводов для генерации логических выводов, могут в первом случае иметься в банке 4 данных диагностики полной системы, во втором случае они могут происходить от аналогового датчика 5, размещенного на компоненте полной системы. В качестве отдельных или комбинируемых источников 4, 5 данных могут также применяться массивы данных, журналы регистрации событий, сервисы в Интернете и т.д.

Подлежащий подписке запрос А на следующем этапе S₂ передается от интерфейса 2 подписки на средства 8 подписки устройства R логических выводов. Средства 8 подписки выбирают, в зависимости от типа запроса А приложения 1, один или более источников 4, 5 данных, при этом происходящий от приложения 1 запрос А анализируется в соответствии с его семантикой и затем соответствующая подписка, на основе проведенного анализа на этапе S₃ или S₄, направляется на соответствующий источник 4, 5 данных. Одновременно устройство R логических выводов генерирует посредством средств 8 подписки ассоциацию в форме таблицы между соответствующими источниками 4, 5 данных и запросом А приложения 1.

Далее описывается случай, когда средствами 8 подписки выбран банк 4 данных. Выбор аналогового датчика 5, а также соответствующие этапы при этом выполняются в аналоговой форме. Перед банком 4 данных включен триггер (средство запуска) Т, здесь в форме триггера банка данных. Триггер Т проверяет с короткими интервалами, добавлены ли к банку 4 данных новые данные, или уже существующие данные были изменены. Если новые данные поступили, например, путем добавления нового набора данных в банк 4 данных, и это распознается посредством триггера Т, например, путем автоматического активирования триггера Т, то триггер Т посылает соответственно измененные данные в банк 4 данных, например, как событие «опубликовать» посредством протокола потоковой передачи реального времени и т.д., например в форме инфраструктуры описания ресурсов или данных экземпляра языка Web-онтологии (OWL) на интерфейс 3 маршрутизации устройства R логических выводов на этапе S₅. Затем событие, а также относящиеся к нему данные на этапе S₇ передаются от интерфейса 3 маршрутизации на средства 6 управления событиями. Средства 6 управления событиями передают информацию, состоящую из события, а также относящихся к нему данных, на этапе S₈ на Pellet-блок R_P блок рассуждений, при необходимости, с предыдущим преобразованием в OWL данные. Разумеется, вместо Pellet-блока R_P рассуждений также может применяться Fact++- или RacerPro-блок R_P рассуждений.

Pellet-блок R_P рассуждений генерирует теперь логические выводы на основе переданных к нему информаций, например, тем, что он устанавливает критический дефект. Логические выводы от Pellet-блока R_P рассуждений передаются на этапе S₉ на средства 6 управления событиями. Средства 6 управления событиями анализируют с помощью таблицы, сгенерированной перед этим с помощью средств 8 подписки, соответствующее приложение и передают приложению 1 на следующем этапе S₁₀ логические выводы Pellet-блока R_P рассуждений. На следующем этапе S₁₁ выполняется уведомление средств 7 удаления, что имеются новые данные, то есть полученные логические выводы. Средства 7 удаления анализируют набор АВох Pellet-блока R_P рассуждений и удаляют нетребуемые более данные, которые были использованы для логических выводов, из набора АВох на этапе S₁₂.

Хотя настоящее изобретение было описано выше на основе предпочтительного примера выполнения, оно не ограничивается этим, а может модифицироваться различным образом.

Так, например, можно также применять источники данных в форме Excel-файлов, Word-файлов, Access-банков данных, Web-сервисов или общих структурированных данных любой формы в качестве источника данных. Кроме того, также возможно, в зависимости от потребности в ресурсах блока рассуждений или устройства логических выводов, применять различные языки дескрипционной логики, как, например, OWL Light, OWL DL, OWL Full, OWL2 EL, OWL2 QL, OWL2 RL и т.д., в зависимости от необходимой силы выразительности и потребности в ресурсах приложения.

ПЕРЕЧЕНЬ ССЫЛОЧНЫХ ПОЗИЦИЙ

V устройство

1 приложение

S₁ подписка

2 интерфейс подписки

R устройство логических выводов

R_P Pellet-блок рассуждений

Т триггер

4 банк данных

5 датчик

6 средство управления событиями

7 средство удаления

8 средство подписки

S₁-S₁₂ этапы способа