Описание логики

Логики описания ( DL ) - это семейство формальных языков представления знаний . Многие DL более выразительны, чем логика высказываний, но менее выразительны, чем логика первого порядка . В отличие от последнего, основные проблемы рассуждений для DL (обычно) разрешимы , и для этих проблем были разработаны и реализованы эффективные процедуры принятия решений. Существуют общие, пространственные, временные, пространственно-временные и нечеткие логики описания, и каждая логика описания имеет различный баланс между выразительной силой и сложностью рассуждений , поддерживая различные наборы математических конструкторов. ^[1]

DL используются в искусственном интеллекте для описания и обоснования соответствующих концепций предметной области (известные как терминологические знания ). Это особенно важно для обеспечения логического формализма для онтологий и семантической сети : язык веб-онтологий (OWL) и его профили основаны на DL. Наиболее заметное применение DL и OWL - это биомедицинская информатика, где DL помогает в кодификации биомедицинских знаний.

Введение [ править ]

Логика описания (DL) моделирует концепции , роли и людей , а также их отношения.

Фундаментальной концепцией моделирования DL является аксиома - логическое утверждение, связывающее роли и / или концепции. ^[2] Это ключевое отличие от парадигмы фреймов, в которой спецификация фрейма объявляет и полностью определяет класс. ^[2]

Номенклатура [ править ]

Терминология по сравнению с FOL и OWL [ править ]

Сообщество логики описания использует терминологию, отличную от терминологии сообщества логики первого порядка (FOL) для функционально эквивалентных понятий; некоторые примеры приведены ниже. Язык веб-онтологий (OWL) снова использует другую терминологию, также приведенную в таблице ниже.

Соглашение об именах [ править ]

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

${\ displaystyle {\ mathcal {AL}}}$	Атрибутивный язык. Это базовый язык, который позволяет:
	Атомарное отрицание (отрицание названий понятий, которые не появляются в левой части аксиом) Концепция пересечения Универсальные ограничения Ограниченная экзистенциальная количественная оценка
${\ displaystyle {\ mathcal {FL}}}$	Язык описания на основе фреймов [3] позволяет:
	Концепция пересечения Универсальные ограничения Ограниченная экзистенциальная количественная оценка Ограничение роли
${\ displaystyle {\ mathcal {EL}}}$	Экзистенциальный язык, позволяет:
	Концепция пересечения Экзистенциальные ограничения (полной экзистенциальной количественной оценки)

За ним следует любое из следующих расширений:

${\ displaystyle {\ mathcal {F}}}$	Функциональные свойства, частный случай количественной оценки уникальности .
${\ displaystyle {\ mathcal {E}}}$	Полная экзистенциальная квалификация (экзистенциальные ограничения, у которых есть другие наполнители, кроме ).${\ displaystyle \ top}$
${\ displaystyle {\ mathcal {U}}}$	Концепция союза.
${\ Displaystyle {\ mathcal {C}}}$	Отрицание сложного понятия.
${\ displaystyle {\ mathcal {H}}}$	Иерархия ролей (подсвойства :) rdfs:subPropertyOf.
${\ Displaystyle {\ mathcal {R}}}$	Аксиомы ограниченного включения сложных ролей; рефлексивность и нерефлексивность; разобщенность ролей.
${\ displaystyle {\ mathcal {O}}}$	Номиналы. (Перечислимые классы ограничений стоимости объекта: owl:oneOf, owl:hasValue).
${\ displaystyle {\ mathcal {I}}}$	Обратные свойства.
${\ Displaystyle {\ mathcal {N}}}$	Ограничения мощности ( owl:cardinality, owl:maxCardinality), частный случай подсчета количественной оценки
${\ displaystyle {\ mathcal {Q}}}$	Квалифицированные ограничения количества элементов (доступны в OWL 2, ограничения количества элементов с другими заполнителями, кроме ).${\ displaystyle \ top}$
${\ Displaystyle ^ {\ mathcal {(D)}}}$	Использование свойств типа данных, значений данных или типов данных.

Исключения [ править ]

Вот некоторые канонические списки рассылки, которые не совсем соответствуют этому соглашению:

${\ Displaystyle {\ mathcal {S}}}$	Аббревиатура для переходных ролей.${\ displaystyle {\ mathcal {ALC}}}$
${\ displaystyle {\ mathcal {FL ^ {-}}}}$	Дополнительный язык , который получается путем запрета ограничения ролей. Это эквивалентно без атомарного отрицания.${\ displaystyle {\ mathcal {FL}}}$${\ displaystyle {\ mathcal {AL}}}$
${\ displaystyle {\ mathcal {FL}} _ {o}}$	Подъязык , который получается путем запрета ограниченной экзистенциальной количественной оценки.${\ displaystyle {\ mathcal {FL ^ {-}}}}$
${\ displaystyle {\ mathcal {EL ^ {++}}}}$	Псевдоним для . [4]${\ displaystyle {\ mathcal {ELRO}}}$

Примеры [ править ]

В качестве примера приводится центрально важная логика описания, на основе которой можно проводить сравнения с другими разновидностями. просто с дополнением любой допустимой концепции, а не только атомарных концепций. используется вместо эквивалента .${\ displaystyle {\ mathcal {ALC}}}$${\ displaystyle {\ mathcal {ALC}}}$${\ displaystyle {\ mathcal {AL}}}$${\ displaystyle {\ mathcal {ALC}}}$${\displaystyle {\mathcal {ALUE}}}$

Еще один пример, логика описания - это логика плюс ограничения на расширенную мощность, а также транзитивные и обратные роли. Соглашения об именах не являются чисто систематическими, так что логика может упоминаться как и другие сокращения, где это возможно.${\displaystyle {\mathcal {SHIQ}}}$${\displaystyle {\mathcal {ALC}}}$${\displaystyle {\mathcal {ALCOIN}}}$${\displaystyle {\mathcal {ALCNIO}}}$

Редактор онтологий Protégé поддерживает . Три основные терминологические базы биомедицинской информатики, SNOMED CT , GALEN и GO, могут быть выражены в (с дополнительными ролевыми свойствами).${\displaystyle {\mathcal {SHOIN}}^{\mathcal {(D)}}}$${\displaystyle {\mathcal {EL}}}$

OWL 2 обеспечивает выразительность , на которой основан OWL-DL , и для OWL-Lite это так .${\displaystyle {\mathcal {SROIQ}}^{\mathcal {(D)}}}$${\displaystyle {\mathcal {SHOIN}}^{\mathcal {(D)}}}$${\displaystyle {\mathcal {SHIF}}^{\mathcal {(D)}}}$

История [ править ]

Современное название логика описания получила в 1980-х годах. До этого он назывался (в хронологическом порядке): терминологические системы и концептуальные языки .

Представление знаний [ править ]

Фреймам и семантическим сетям не хватает формальной (логической) семантики. ^[5] DL был впервые введен в системы представления знаний (KR) для преодоления этого недостатка. ^[5]

Первой системой KR на основе DL была KL-ONE ( Рональд Дж. Брахман и Шмольце, 1985). В 80-х годах были разработаны другие системы на основе DL, использующие алгоритмы структурного подчинения ^[5], включая KRYPTON (1983), LOOM (1987), BACK (1988), K-REP (1991) и CLASSIC (1991). В этом подходе был DL с ограниченной выразительностью, но относительно эффективным (полиномиальное время) рассуждением. ^[5]

В начале 90-х годов появление новой парадигмы алгоритмов, основанной на таблицах, позволило эффективно рассуждать о более выразительном DL. ^[5] Системы на основе DL, использующие эти алгоритмы, такие как KRIS (1991), демонстрируют приемлемую производительность рассуждений по типичным задачам вывода, даже несмотря на то, что сложность наихудшего случая больше не является полиномиальной. ^[5]

С середины 90-х годов были созданы механизмы рассуждений с хорошими практическими характеристиками на очень выразительном DL с высокой сложностью наихудшего случая. ^[5] Примеры этого периода включают FaCT, ^[6] RACER (2001), CEL (2005) и KAON 2 (2005).

Разработчики рассуждений DL, такие как FaCT, FaCT ++, ^[6] RACER, DLP и Pellet ^[7], реализуют метод аналитических таблиц . KAON2 реализуется с помощью алгоритмов , которые уменьшают базу SHIQ (D) знаний к дизъюнктивной регистрации данных программы.

Семантическая сеть [ править ]

DARPA Agent Markup Language (DAML) и онтология Умозаключение Layer (OIL) онтология языков для Semantic Web можно рассматривать как синтаксические варианты DL. ^[8] В частности, формальная семантика и рассуждения в OIL используют DL. ^[9] DAML + масло DL был разработан в качестве представления ^[10] -А сформировали начальную точку, в Консорциум World Wide Web (W3C) Web - онтологий рабочей группы. ^[11] В 2004 г. рабочая группа по веб-онтологиям завершила свою работу, выпустив OWL ^[12]${\displaystyle {\mathcal {SHIQ}}}$рекомендация. Дизайн OWL основан на семействе DL ^[13] с OWL DL и OWL Lite на основе и соответственно. ^[13]${\displaystyle {\mathcal {SH}}}$${\displaystyle {\mathcal {SHOIN}}^{\mathcal {(D)}}}$${\displaystyle {\mathcal {SHIF}}^{\mathcal {(D)}}}$

В 2007 году рабочая группа W3C OWL начала работу над усовершенствованием и расширением OWL. ^[14] В 2009 году это было завершено выпуском рекомендации OWL2 . ^[15] OWL2 основан на логике описания . ^[16] Практический опыт показал, что в OWL DL отсутствуют некоторые ключевые функции, необходимые для моделирования сложных доменов. ^[2]${\displaystyle {\mathcal {SROIQ}}^{\mathcal {(D)}}}$

Моделирование [ править ]

В DL проводится различие между так называемыми TBox (терминологическим блоком) и ABox (утвержденным блоком). В общем, TBox содержит предложения, описывающие иерархии понятий (т. Е. Отношения между концептами ), тогда как ABox содержит базовые предложения, указывающие, где в иерархии принадлежат индивиды (т. Е. Отношения между индивидами и концептами). Например, утверждение:

Каждый сотрудник - личность

( 1 )

принадлежит TBox, а утверждение:

Боб - сотрудник

( 2 )

принадлежит в ABox.

Обратите внимание, что различие TBox / ABox не имеет значения в том же смысле, что два «типа» предложений не обрабатываются по-разному в логике первого порядка (которая включает большую часть DL). При переводе в логику первого порядка аксиома подчинения, подобная ( 1 ), представляет собой просто условное ограничение на унарные предикаты (концепции), в которых появляются только переменные. Ясно, что предложение этой формы не является привилегированным или особенным по сравнению с предложениями, в которых только константы («обоснованные» значения) появляются как ( 2 ).

Так почему было введено различие? Основная причина состоит в том, что разделение может быть полезно при описании и формулировании процедур принятия решений для различных DL. Например, рассуждающий может обрабатывать TBox и ABox по отдельности, отчасти потому, что определенные ключевые проблемы вывода привязаны к одной, но не к другой («классификация» связана с TBox, «проверка экземпляра» - с ABox). Другой пример: сложность TBox может сильно повлиять на производительность данной процедуры принятия решения для определенного DL, независимо от ABox. Таким образом, полезно иметь возможность говорить об этой конкретной части базы знаний .

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

Есть две особенности логики описания, которые не разделяются большинством других формализмов описания данных: DL не делает предположение об уникальном имени (UNA) или предположение о замкнутом мире (CWA). Отсутствие UNA означает, что две концепции с разными именами могут быть признаны эквивалентными по некоторому выводу. Отсутствие CWA или, скорее, наличие предположения об открытом мире (OWA) означает, что незнание факта не сразу означает знание об отрицании факта.

Официальное описание [ править ]

Подобно логике первого порядка (FOL), синтаксис определяет, какие наборы символов являются допустимыми выражениями в логике описания, а семантика определяет значение. В отличие от FOL, DL может иметь несколько хорошо известных синтаксических вариантов. ^[8]

Синтаксис [ править ]

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

Обозначение [ править ]

Пусть C и D - понятия, a и b - индивидуумы, а R - роль.

Если a R-связано с b, то b называется R-преемником a.

Условное обозначение

Символ	Описание	Пример	Читать
${\displaystyle \top }$	⊤ - это особая концепция, в которой каждый человек в качестве примера	${\displaystyle \top }$	верх
${\displaystyle \bot }$	пустая концепция	${\displaystyle \bot }$	Нижний
${\displaystyle \sqcap }$	пересечение или соединение понятий	${\displaystyle C\sqcap D}$	C и D
${\displaystyle \sqcup }$	объединение или разъединение понятий	${\displaystyle C\sqcup D}$	C или D
${\displaystyle \neg }$	отрицание или дополнение понятий	${\displaystyle \neg C}$	не C
${\displaystyle \forall }$	универсальное ограничение	${\displaystyle \forall R.C}$	все R-преемники находятся в C
${\displaystyle \exists }$	экзистенциальное ограничение	${\displaystyle \exists R.C}$	R-преемник существует в C
${\displaystyle \sqsubseteq }$	Включение концепции	${\displaystyle C\sqsubseteq D}$	все C являются D
${\displaystyle \equiv }$	Эквивалентность концепций	${\displaystyle C\equiv D}$	C эквивалентно D
${\displaystyle {\dot {=}}}$	Определение понятия	${\displaystyle C{\dot {=}}D}$	C определяется как D
${\displaystyle :}$	Утверждение концепции	${\displaystyle a:C}$	а - это C
${\displaystyle :}$	Утверждение роли	${\displaystyle (a,b):R}$	a является R-связанным с b

Описание логики ALC [ править ]

Прототипный язык атрибутивных концепций DL с дополнениями ( ) был представлен Манфредом Шмидт-Шауссом и Гертом Смолкой в ​​1991 году и является основой для многих более выразительных DL. ^[5] Следующие определения соответствуют трактовке, предложенной Baader et al. ^[5]${\displaystyle {\mathcal {ALC}}}$

Пусть , и быть (соответственно) наборами из наименований понятий (также известных как атомарные понятия ), имен ролей и индивидуальных имен (также известных как отдельные люди , номиналы или объектов ). Тогда упорядоченная тройка ( , , ) является подпись .${\displaystyle N_{C}}$${\displaystyle N_{R}}$${\displaystyle N_{O}}$${\displaystyle N_{C}}$${\displaystyle N_{R}}$${\displaystyle N_{O}}$

Концепции [ править ]

Набор концептов - это наименьший набор, такой что:${\displaystyle {\mathcal {ALC}}}$

• Ниже приведены концепции :
  • ${\displaystyle \top }$( сверху это концепция )
  • ${\displaystyle \bot }$( Нижняя является концепция )
  • Каждый (все атомарные концепции - это концепции )${\displaystyle A\in N_{C}}$
• Если и являются концепция и то следующие понятия :${\displaystyle C}$${\displaystyle D}$${\displaystyle R\in N_{R}}$
  • ${\displaystyle C\sqcap D}$(пересечение двух понятий - это понятие )
  • ${\displaystyle C\sqcup D}$(объединение двух понятий - это понятие )
  • ${\displaystyle \neg C}$(дополнение концепта - это концепт )
  • ${\displaystyle \forall R.C}$(универсальное ограничение на концепции с помощью роли является понятие )
  • ${\displaystyle \exists R.C}$(экзистенциальная сужение понятия с помощью роли является понятие )

Терминологические аксиомы [ править ]

Общее включение концепции (ИГС) имеет вид , где и являются понятием . Напиши когда и . TBox любое конечное множество GCIS.${\displaystyle C\sqsubseteq D}$${\displaystyle C}$${\displaystyle D}$${\displaystyle C\equiv D}$${\displaystyle C\sqsubseteq D}$${\displaystyle D\sqsubseteq C}$

Аксиомы утверждений [ править ]

• Концепция утверждение является утверждением вида , где и C является понятием .${\displaystyle a:C}$${\displaystyle a\in N_{O}}$
• Роль утверждение является утверждением вида , где и R является ролью .${\displaystyle (a,b):R}$${\displaystyle a,b\in N_{O}}$

ABox конечное множество assertional аксиом.

База знаний [ править ]

База знаний (KB) является упорядоченной парой для TBox и ABox .${\displaystyle ({\mathcal {T}},{\mathcal {A}})}$ ${\displaystyle {\mathcal {T}}}$ ${\displaystyle {\mathcal {A}}}$

Семантика [ править ]

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

Описание логики ALC [ править ]

Следующие определения соответствуют трактовке, предложенной Baader et al. ^[5]

Терминологическое толкование по подписи состоит из${\displaystyle {\mathcal {I}}=(\Delta ^{\mathcal {I}},\cdot ^{\mathcal {I}})}$ ${\displaystyle (N_{C},N_{R},N_{O})}$

• непустой набор, называемый доменом${\displaystyle \Delta ^{\mathcal {I}}}$
• функция интерпретации , что карты:${\displaystyle \cdot ^{\mathcal {I}}}$
  • каждый человек к элементу${\displaystyle a}$${\displaystyle a^{\mathcal {I}}\in \Delta ^{\mathcal {I}}}$
  • каждое понятие к подмножеству${\displaystyle \Delta ^{\mathcal {I}}}$
  • каждое имя роли к подмножеству${\displaystyle \Delta ^{\mathcal {I}}\times \Delta ^{\mathcal {I}}}$

такой, что

• ${\displaystyle \top ^{\mathcal {I}}=\Delta ^{\mathcal {I}}}$
• ${\displaystyle \bot ^{\mathcal {I}}=\emptyset }$
• ${\displaystyle (C\sqcup D)^{\mathcal {I}}=C^{\mathcal {I}}\cup D^{\mathcal {I}}}$ ( союз означает дизъюнкцию )
• ${\displaystyle (C\sqcap D)^{\mathcal {I}}=C^{\mathcal {I}}\cap D^{\mathcal {I}}}$ ( пересечение означает соединение )
• ${\displaystyle (\neg C)^{\mathcal {I}}=\Delta ^{\mathcal {I}}\setminus C^{\mathcal {I}}}$ ( дополнение означает отрицание )
• ${\displaystyle (\forall R.C)^{\mathcal {I}}=\{x\in \Delta ^{\mathcal {I}}|{\text{for}}\;{\text{every}}\;y,(x,y)\in R^{\mathcal {I}}\;{\text{implies}}\;y\in C^{\mathcal {I}}\}}$
• ${\displaystyle (\exists R.C)^{\mathcal {I}}=\{x\in \Delta ^{\mathcal {I}}|{\text{there}}\;{\text{exists}}\;y,(x,y)\in R^{\mathcal {I}}\;{\text{and}}\;y\in C^{\mathcal {I}}\}}$

Определим (читай в I ) следующим образом${\displaystyle {\mathcal {I}}\models }$

TBox [ править ]

• ${\displaystyle {\mathcal {I}}\models C\sqsubseteq D}$ если и только если ${\displaystyle C^{\mathcal {I}}\subseteq D^{\mathcal {I}}}$
• ${\displaystyle {\mathcal {I}}\models {\mathcal {T}}}$если и только если для каждого${\displaystyle {\mathcal {I}}\models \Phi }$${\displaystyle \Phi \in {\mathcal {T}}}$

ABox [ править ]

• ${\displaystyle {\mathcal {I}}\models a:C}$ если и только если ${\displaystyle a^{\mathcal {I}}\in C^{\mathcal {I}}}$
• ${\displaystyle {\mathcal {I}}\models (a,b):R}$ если и только если ${\displaystyle (a^{\mathcal {I}},b^{\mathcal {I}})\in R^{\mathcal {I}}}$
• ${\displaystyle {\mathcal {I}}\models {\mathcal {A}}}$если и только если для каждого${\displaystyle {\mathcal {I}}\models \phi }$${\displaystyle \phi \in {\mathcal {A}}}$

База знаний [ править ]

Пусть будет база знаний.${\displaystyle {\mathcal {K}}=({\mathcal {T}},{\mathcal {A}})}$

• ${\displaystyle {\mathcal {I}}\models {\mathcal {K}}}$если и только если и${\displaystyle {\mathcal {I}}\models {\mathcal {T}}}$${\displaystyle {\mathcal {I}}\models {\mathcal {A}}}$

Вывод [ править ]

Проблемы с решением [ править ]

В дополнение к способности формально описывать концепции, можно также использовать описание набора концепций, чтобы задать вопросы об описанных концепциях и примерах. Наиболее частыми проблемами принятия решений являются базовые вопросы, похожие на запросы к базе данных, такие как проверка экземпляра (является ли конкретный экземпляр (член ABox) членом данной концепции) и проверка отношения (выполняется ли отношение / роль между двумя экземплярами, в других слова же обладает свойством б ), а более глобальные-базы-данных вопросов , как категоризации (это понятие подмножеством другого понятия), и понятие согласованности(нет ли противоречия между определениями или цепочкой определений). Чем больше операторов включается в логику и чем сложнее TBox (имеющий циклы, позволяющий неатомарным концепциям включать друг друга), обычно тем выше вычислительная сложность для каждой из этих проблем (см. Примеры в Навигаторе сложности логики описания ) .

Связь с другими логиками [ править ]

Логика первого порядка [ править ]

Многие ЭБ являются разрешимыми фрагментами из логики первого порядка (ВОЛС) ^[5] , и, как правило , фрагменты двух переменной логики или охраняемого логики . Кроме того, некоторые DL имеют функции, не охваченные FOL; сюда входят конкретные домены (например, целые числа или строки, которые могут использоваться в качестве диапазонов для ролей, таких как hasAge или hasName ) или оператор для ролей для транзитивного закрытия этой роли. ^[5]

Логика нечеткого описания [ править ]

Логика нечеткого описания сочетает в себе нечеткую логику с DL. Поскольку многие концепции, необходимые для интеллектуальных систем, не имеют четко определенных границ или четко определенных критериев принадлежности, нечеткая логика необходима для работы с понятиями неопределенности и неточности. Это предлагает мотивацию для обобщения логики описания для работы с неточными и расплывчатыми понятиями.

Модальная логика [ править ]

Логика описания связана с модальной логикой (ML), но разрабатывается независимо от нее . ^[5] Многие, но не все, DL являются синтаксическими вариантами ML. ^[5]

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

Операции над ролями (например, композиция, инверсия и т. Д.) Соответствуют модальным операциям, используемым в динамической логике . ^[17]

Примеры [ править ]

Синтаксические варианты

DL	ML
${\displaystyle {\mathcal {ALC}}}$	K [5]
${\displaystyle {\mathcal {SR}}}$	PDL [17]
${\displaystyle {\mathcal {FSR}}}$	DPDL (детерминированный PDL) [17]
${\displaystyle {\mathcal {TSL}}{\text{, or }}{\mathcal {SRI}}}$	Converse- PDL [17]
${\displaystyle {\mathcal {FSL}}{\text{, or }}{\mathcal {FSRI}}}$	Конверс- DPDL (детерминированный PDL) [17]

Логика временного описания [ править ]

Логика временного описания представляет и позволяет рассуждать о зависимых от времени концепциях, и существует множество различных подходов к этой проблеме. ^[18] Например, логика описания может быть объединена с модальной временной логикой, такой как линейная временная логика .

См. Также [ править ]

• Формальный анализ концепции
• Решетка (заказ)
• Семантическая параметризация
• Семантический рассуждающий

Ссылки [ править ]

Дальнейшее чтение [ править ]

• Ф. Баадер, Д. Кальванезе, Д.Л. Макгиннесс, Д. Нарди, П.Ф. Пател-Шнайдер: Справочник по описательной логике: теория, реализация, приложения . Издательство Кембриджского университета, Кембридж, Великобритания, 2003. ISBN 0-521-78176-0 
• Ян Хоррокс, Ульрике Саттлер: онтологическое мышление в логике описания SHOQ (D) , в материалах семнадцатой международной совместной конференции по искусственному интеллекту , 2001.
• Д. Фензель, Ф. ван Хармелен, И. Хоррокс, Д. МакГиннесс и П. Ф. Патель-Шнайдер: OIL: онтологическая инфраструктура для семантической сети . Интеллектуальные системы IEEE, 16 (2): 38-45, 2001.
• Ян Хоррокс и Питер Ф. Патель-Шнайдер: Поколение DAML + OIL . В Proceedings of the 2001 Description Logic Workshop (DL 2001) , том 49 CEUR < http://ceur-ws.org/ >, страницы 30–35, 2001.
• Ян Хоррокс, Питер Ф. Патель-Шнайдер и Франк ван Хармелен: От SHIQ и RDF к OWL: Создание языка веб-онтологий . Журнал веб-семантики, 1 (1): 7-26, 2003.
• Бернардо Куэнка Грау, Ян Хоррокс, Борис Мотик, Биджан Парсия, Питер Патель-Шнайдер и Ульрике Саттлер: OWL 2: следующий шаг для OWL . Журнал веб-семантики, 6 (4): 309-322, ноябрь 2008 г.
• Франц Баадер, Ян Хоррокс и Ульрике Саттлер: Глава 3 Описание Логика . В: Франк ван Хармелен, Владимир Лифшиц и Брюс Портер, редакторы, Справочник по представлению знаний . Эльзевир, 2007.
• Алессандро Артале и Энрико Франкони: логика временного описания . В Справочнике по темпоральным рассуждениям в искусственном интеллекте, 2005 г.
• Устав рабочей группы по веб-онтологии (WebONT) . W3C, 2003 г.
• Консорциум World Wide Web выпускает рекомендации по RDF и OWL . Пресс-релиз. W3C, 2004 г.
• Устав рабочей группы OWL . W3C, 2007.
• OWL 2 соединяет сеть знаний с сетью данных . Пресс-релиз. W3C, 2009 г.
• Маркус Кретч , Франтишек Симанчик , Ян Хоррокс : Учебник по логике описания. CoRR arXiv : 1201.4089 . 2012. Самое первое введение для читателей без формальной логической подготовки.
• Себастьян Рудольф : Основы логики описания . In Reasoning Web: семантические технологии для Интернета данных, 7-я Международная летняя школа, том 6848 конспектов лекций по информатике , страницы 76–136. Springer, 2011. ( springerlink ) Вводный текст с акцентом на моделирование и формальную семантику. Также есть горки .
• Йенс Леманн : DL-Learner: концепции обучения в логике описания, Journal of Machine Learning Research, 2009.
• Франц Баадер : Описание Логика . In Reasoning Web: семантические технологии для информационных систем, 5-я Международная летняя школа, том 5689 конспектов лекций по информатике, страницы 1–39. Springer, 2009. ( springerlink ) Вводный текст с акцентом на рассуждения и языковой дизайн, а также расширенный исторический обзор.
• Энрико Франкони : Введение в логику описания . Материалы курса. Факультет компьютерных наук, Свободный университет Больцано, Италия, 2002 г. Слайды лекций и многие указатели литературы, несколько устаревшие.
• Ян Хоррокс : Онтологии и семантическая сеть . Коммуникации ACM , 51 (12): 58-67, декабрь 2008 г. Общий обзор представления знаний в технологиях семантической паутины.

Внешние ссылки [ править ]

• Описание Logic Complexity Navigator , поддерживаемый Евгением Золином на кафедре компьютерных наук
• Список Reasoners , исследование OWL в Университете Манчестера

Reasoners [ править ]

Есть несколько семантических рассуждений, которые имеют дело с OWL и DL. Вот некоторые из самых популярных:

• CEL - это средство рассуждений на основе LISP с открытым кодом (лицензия Apache 2.0).
• Cerebra Engine - это коммерческое средство рассуждений на основе C ++, приобретенное в 2006 году компанией webMethods.
• FaCT ++ - это бесплатный инструмент рассуждений на основе C ++ с открытым исходным кодом.
• KAON2 - это бесплатный (для некоммерческого использования) модуль рассуждений на основе Java, предлагающий быструю поддержку рассуждений для онтологий OWL.
• MSPASS - это бесплатная программа на языке C с открытым исходным кодом для множества моделей DL.
• Pellet - это коммерческий инструмент рассуждений на базе Java с двойной лицензией (AGPL и проприетарный).
• RacerPro от Racer Systems был коммерческим (доступны бесплатные пробные версии и исследовательские лицензии) рассуждением на основе Lisp, сегодня существует как версия RACER с открытым исходным кодом от первоначальных разработчиков из Любекского университета, использующих лицензию BSD 3, так и коммерческая версия, все еще под названием RacerPro от Franz Inc.
• Sim-DL - это бесплатная программа на основе Java с открытым исходным кодом для языка ALCHQ. Он также обеспечивает функцию измерения сходства между концепциями. Для доступа к этой функции можно использовать плагин Protégé.
• HermiT - это средство рассуждений с открытым исходным кодом, основанное на исчислении «гипертаблиц». Он разработан Оксфордским университетом .
• Owlready2 - это пакет для программирования на Python, ориентированного на онтологии . Он может загружать онтологии OWL 2.0 как объекты Python, изменять их, сохранять и выполнять рассуждения через HermiT (в комплекте). Owlready2 обеспечивает прозрачный доступ к онтологиям OWL (в отличие от обычного API на основе Java).

Редакторы [ править ]

• Protégé - это бесплатный редактор онтологий с открытым исходным кодом и фреймворк базы знаний , который может использовать средства рассуждений DL, предлагающие интерфейс DIG в качестве серверной части для проверки согласованности.
• SWOOP на GitHub , обозревателе / ​​редакторе OWL, который принимает стандартный веб-браузер в качестве базовой парадигмы пользовательского интерфейса .

Интерфейсы [ править ]

• Интерфейс DIG на SourceForge.net , стандартизованный интерфейс XML для систем DL, разработанный Группой реализации DL (DIG) .
• OWL API на SourceForge.net , Java- интерфейс и реализация языка веб-онтологий , используемые для представления онтологий семантической паутины .