OWL онтологии состоят из Individuals, Properties, and Classes в Протеже они называются Instances, Slots and Classes.
Individuals это части классов, они к ним относятся, например Имена, клички и так далее, когда классы имеют очень общие понятия, например "Правители", "Собаки" и так далее
Properties описыают взаимоотношения между индивидуумами и могут быть обратными (inverse), так же функциональными - иметь единственное значение , а так же транситными и симметричными.
В языке OWL классы интерпретируются как набор индивидуомов. Например класс коты будет содержать всех индивидуумов, являющихся котами в нашей области интересов. Могут быть и суперклассы, например Кошки подкласс животных, а животные суперкласс кошек.
При построении онтологии все классы в OWL принадлежат классу THings, иными словами все классы это подклассы класса Things.
Иерархия классов так же называется тахономией. Чаще всего используют CamelBack notation - название классов в котором нет пробелов и каждое из слов начинается с большой буквы.
Важно показывать что классы являются раздельными когда это нужно, что индивидуумы одного из классов не могут принадлежать другому
В рамках построения онтологий существует 2-а типа свойств - свойства объектов (это отношения между индивидами) и свойства данных. Так же есть свойства аннотаций, которые дополняют метаданные к классам, индивидами или связям и данным.
Так же как и с классами у свойств есть подсвойства и суперсвойства.
Функциональные свойства - свойство, через которое возможна связь только с одним индивидом, такие свойства могут быть описаны как фичи. Функциональность наследуется и для инвертированных свойств если обычное свойство функциональное.
Transitive или переходные свойства - могут наследоваться и обуславливать связь между начальным и конечным индивидом.
