Класс (представление знаний)
В представлении знаний класс представляет собой набор отдельных лиц или объектов. [1] Класс может быть определен либо по расширению (определение членов), либо по содержанию (определение условий), используя то, что называется в некоторых онтологических языках, таких как OWL . В соответствии с различием типа и токена онтология делится на индивидуумов, которые являются объектами или событиями реального мира, и типами или классами, которые являются наборами объектов реального мира. Выражения или определения класса задают свойства, которым должны соответствовать отдельные лица, чтобы быть членами класса. Индивидуумы, выполняющие свойство, называются Экземплярами .
Отношение инстанцирования — это отношение между объектами и классами. Мы говорим, что объект O, скажем , орел Гарри , является экземпляром класса, скажем, Eagle . У орла Гарри есть все свойства, которые мы можем приписать орлу, например, его родители были орлами, он птица, он мясоед и так далее. Это особый вид отношений . Его отмеченное утверждение концепции ( ) в логике описания , семействе логики, основанной на классах, утверждении класса [2] .
Классы могут включать друг друга. Обычно мы говорим, что если Aи Bявляются классами, и все Aэкземпляры также являются Bэкземплярами, то B включает в себя A, или A является подклассом B, например, в языке OWL он называется 'subclassof'. [2]
Эта статья, относящаяся к библиотечному делу или информатике , незавершена . Вы можете помочь Википедии, дополнив ее .