WikiDer > Метакласс (семантическая сеть) - Википедия

Metaclass (Semantic Web) - Wikipedia

в Семантическая сеть И в представление знаний, а метакласс это учебный класс экземпляры которых сами являются классами. Подобно их роли в языках программирования, метаклассы в языках семантической паутины могут иметь свойства, которые в противном случае применимы только к отдельным лицам, сохраняя при этом способность одного и того же класса классифицироваться в иерархии концепций. Это позволяет сделать вывод об экземплярах этих метаклассов семантические рассуждения используя операторы, сделанные в метаклассе. Таким образом, метаклассы повышают выразительность представлений знаний таким образом, чтобы они были интуитивно понятными для пользователей. Хотя классы подходят для представления совокупности индивидов, метаклассы, как одна из их характеристик, могут использоваться для представления концептуального измерения онтологии.[1] Метаклассы поддерживаются на языке онтологий. СОВА и словарь моделирования данных RDFS.

Метаклассы часто моделируются, задавая их как объект утверждений, связанных с rdf: type и rdfs: subClassOf - встроенные свойства, обычно называемые экземпляр и подкласс. Экземпляр означает, что предмет утверждения является экземпляром, то есть лицом, которое является членом класса. Подкласс означает, что предмет - это класс. В контексте экземпляр и подкласс, обычные могут быть объектом экземпляр утверждения, используемые в классе, но обычные классы - нет. (где в иске Боб экземпляр Человек, Боб - субъект, а Человек - объект).

OWL 2 DL поддерживает метаклассы с помощью функции, называемой каламбур,[2] в котором одна сущность интерпретируется как два разных типа вещей - класс и индивид - в зависимости от ее синтаксического контекста. Например, через каламбур онтология может иметь иерархию понятий, такую ​​как Гарри орел экземпляр Золотой орел, Золотой орел подкласс птица, и Золотой орел экземпляр разновидность. В этом случае наказуемым объектом будет беркут, потому что он представлен как класс (второе утверждение) и экземпляр (третье утверждение); тогда как метакласс будет видом, поскольку у него есть экземпляр, который является классом. Punning также позволяет использовать другие свойства, которые в противном случае были бы применимы только к обычным экземплярам, ​​непосредственно в классах, например "золотой орел статус сохранения наименьшие опасения."[3]

Возникнув на полях представление знаний, логика описания и формальная онтология, Языки семантической сети имеют более тесную связь с философская онтология чем традиционные языки программирования, такие как Ява или же Python. Соответственно, природа метаклассов определяется такими философскими понятиями, как абстрактные объекты, то абстрактный и конкретный, и различие типа-токена. Метаклассы позволяют интерпретировать концепции как токены других концептов, сохраняя при этом их онтологический статус как типы. Это позволяет перечислять типы, сохраняя при этом возможность наследования от типов. Например, метаклассы могут позволить машинному логику сделать вывод из дружественной человеку онтологии, сколько элементы находятся в периодическая таблица, или, учитывая, что количество протонов - свойство химического элемента, а изотопы - это подкласс элементов, сколько протонов существует в изотопе водород-2.

Метаклассы иногда организованы по уровням, аналогично простой теории типов.[4] где классам, которые не являются метаклассами, назначается первый уровень, классы классов первого уровня находятся на втором уровне, классы классов второго уровня - на следующем и так далее.[5]

Примеры

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

Реализации

RDF и RDFS

В RDF, то rdf: тип Свойство используется, чтобы указать, что ресурс является экземпляром класса.[6] Это позволяет легко создавать метаклассы с помощью rdf: тип цепочкой.[нужна цитата][сомнительный – обсуждать] Например, в двух тройки

Орел гарри rdf: типовой золотой орелеголовый орел rdf: типовой вид

ресурс разновидность это метакласс,[сомнительный – обсуждать] потому что Золотой орел используется как класс в первом операторе, а класс Золотой орел считается экземпляром класса разновидность во втором заявлении.

RDF также предоставляет rdf: Свойство как способ создания свойств помимо тех, которые определены во встроенном словаре. Свойства можно использовать непосредственно в метаклассах, например "разновидность количество 8,7 миллиона", куда количество это свойство, определенное через rdf: Свойство и разновидность является метаклассом из предыдущего примера выше.

RDFS, расширение RDF, представило rdfs: Класс и rdfs: subClassOf и расширили возможности словаря для классификации понятий.[7][8] В то время как rdf: тип позволяет словарям представлять реализация, недвижимость rdfs: subClassOf позволяет словарям представлять подчинение. Таким образом, RDFS позволяет словарям представлять таксономии, также известные как иерархии подчинения или иерархии понятий, которые являются важным дополнением к различие типа и токена стало возможным благодаря RDF.

Примечательно, что ресурс rdfs: Класс является экземпляром самого себя,[7] демонстрируя как использование метаклассов во внутренней реализации языка, так и рефлексивный использование rdf: тип. RDFS - это собственный метамодель[9]

СОВА

В некоторых ароматах OWL, например OWL1-DL, сущности могут быть классами или экземплярами, но не могут быть и тем, и другим. Это ограничение запрещает метаклассы и метамоделирование.[10] В полной версии OWL1 это не так, но это позволяет модели быть вычислительно неразрешимой.[11]В OWL2, метаклассы могут быть реализованы с помощью каламбур, это способ обращаться с классами как с отдельными людьми.[2] Были предложены и другие подходы, которые использовались для проверки свойств онтологии на мета уровне.[12]

Punning

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

Протеже

В редакторе онтологий Протеже, метаклассы - это шаблоны для других классов, являющихся их экземплярами.[13]

Классификация метаклассов

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

Некоторые онтологии, такие как Cyc AI проект онтология классифицирует классы и сами метаклассы[5] в своих онтологиях. Классы делятся на «классы фиксированного порядка» и «классы переменного порядка». В первом случае метаклассам приписывается порядок путем измерения расстояния до индивидов по отношению к количеству «экземпляров» троек, необходимых для поиска индивида. Классы, которые не являются метаклассами, являются классами индивидов, поэтому их порядок равен «1». Метаклассы, являющиеся классами первого порядка, имеют порядок «2» и так далее. Метаклассы переменного порядка, с другой стороны, могут иметь экземпляры, одним из примеров метакласса переменного порядка является класс всех классов с фиксированным порядком.


Смотрите также

Рекомендации

  1. ^ Ален Пиротт и Дэвид Массарт (2004). «Объединение двух описаний таксономий с материализацией» (PDF). Журнал объектных технологий.CS1 maint: использует параметр авторов (связь)
  2. ^ а б «Новые возможности и обоснование языка веб-онтологий OWL 2 (второе издание)». W3C. Получено 7 марта 2015.
  3. ^ Роберт Стивенс; Алан Ректор. «Знание высшего порядка в онтологиях». ongenesis.knowledgeblog.org.
  4. ^ Уайтхед, Альфред Норт; Рассел, Бертран (1910), Principia mathematica, 1 (1-е изд.), Кембридж: Издательство Кембриджского университета, JFM 41.0083.02
  5. ^ а б Фоксвог, Д. (2005). Экземпляры экземпляров, смоделированные с помощью классов более высокого порядка. Семинар по основополагающим аспектам онтологий (FOnt 2005), 28-я Немецкая конференция по искусственному интеллекту. Кобленц, Германия. С. 46–54.
  6. ^ Дэн Брикли, Р.В. Гуха (10 февраля 2004 г.). "Язык описания словаря RDF 1.0: Схема RDF. Раздел 3.3, rdf: type". Консорциум World Wide Web.CS1 maint: использует параметр авторов (связь)
  7. ^ а б Дэн Брикли, Р.В. Гуха (10 февраля 2004 г.). "Язык описания словаря RDF 1.0: Схема RDF. Раздел 2.2, rdfs: Класс". Консорциум World Wide Web.CS1 maint: использует параметр авторов (связь)
  8. ^ Дэн Брикли, Р.В. Гуха (10 февраля 2004 г.). "Язык описания словаря RDF 1.0: Схема RDF. Раздел 3.4, rdfs: subClassOf". Консорциум World Wide Web.CS1 maint: использует параметр авторов (связь)
  9. ^ S Koide. «Мета-моделирование в ООП, MOF, RDFS и OwL» (PDF).
  10. ^ "Справочник по языку веб-онтологий OWL". W3C. 2004. С. Приложение E. Полезные правила для онтологий OWL DL.. Получено 7 марта 2015.
  11. ^ Борис Мотик (2007). «О свойствах метамоделирования в OWL» (PDF). Журнал логики и вычислений. 17 (4): 617–637. Дои:10.1093 / logcom / exm027.
  12. ^ Интегрированное метамоделирование и диагностика в OWL 2 (PDF). международная семантическая веб-конференция. Получено 7 марта 2015.
  13. ^ Роуз Дьенг и Оливье Корби (ред.). "Модель знаний протеже 2000" (PDF). Методы, модели и инструменты.. Инженерия знаний и управление знаниями. Получено 7 марта 2015. §6.1 обзор модели RDFS