Following [5], an ontology is a log

Following [5], an ontology is a logical descriptive theory formally
denoted as a tuple O = hC, P, I, T, V,≤,⊥,∈,=i, where C is the set
of concepts (or classes); P is the set of properties (object and datatype
properties); I is the set of individuals (or instances); T is the set of
datatypes; V is the set of values; ≤ is a reflexive, anti-symmetric, and
transitive relation on (C × C)∪(P × P)∪(T × T) called specialization,
that helps form partial orders on C and P called concept hierarchy
and property hierarchy respectively; ⊥ is an irreflexive and symmetric
relation on (C × C)∪(P × P)∪(T × T) called exclusion; ∈ is a relation
over (I × C)∪(V × P) called instantiation; = is a relation over I×P ×
(I ∪ V ) called assignment. The sets C, P, I, T, V are pairwise disjoint.
It is also assumed (c.f. [6]), that an ontology O comprises its schema
S and the assertional part A:

Результаты (русский) 1:

После [5] онтологии является логическим описательная теория официальнообозначается как кортеж O = hC, P, T, V, ≤, ⊥ ∈, =, где C — это наборконцепции (или классы); P — это набор свойств (объект и тип данныхсвойств); Я — совокупность физических лиц (или экземпляров); T — это набортипы данных; V — это набор значений; ≤-Это рефлекторный, анти симметричный, итранзитивные отношения на ∪ ∪ (P × P) (C × C) (T × T) называется специализации,Это помогает форме частичных заказов на C и P, называется концепция иерархииСвойства иерархии и соответственно; ⊥ Это irreflexive и симметричныйотношения на ∪ ∪ (P × P) (C × C) (T × T) называется изоляции; ∈ является отношениенад (я × C) ∪ (V × P) называется созданием экземпляра; = Это отношение над я × P ×(Я ∪ V) называется назначения. Наборы С, Р, I, T, V, попарно несвязанным.Предполагается также (c.f. [6]), что онтологии O включает его схемыS и assertional часть A:

Результаты (русский) 2:

Следуя [5], онтология является логическим дескриптивная теория формально
обозначается как кортежа O = HC, P, I, T, V, ≤, ⊥, ∈, = я, где С есть множество
понятий (или классов); Р есть множество свойств (объект и типов данных
свойств); Я это совокупность особей (или экземпляров); Т есть множество
типов данных; В это множество значений; ≤ рефлексивно, анти-симметричным, и
транзитивное отношение на (C × C) ∪ (P × P) ∪ (T × T) называется специализацией,
что помогает сформировать частичные заказы на С и Р, называемые концепции иерархии
и иерархии недвижимости соответственно; ⊥ является иррефлексивное и симметрично
отношение на (C × C) ∪ (P × P) ∪ (T × T) называется исключения; ∈ есть отношение
над (I × C) ∪ (V × Р) называется экземпляра; = Есть отношение над I × P ×
(I ∪ V) называется назначение. . Множества C, P, I, T, V попарно не пересекаются
Предполагается также (ср [6]), что онтология О содержит свой ​​схемы
S и assertional Часть A:

Результаты (русский) 3:

после [5], онтологии является логическим описательный теории официально
обозначается как кортеж o = нс, P, я, T, V, ≤, ⊥, ∈, - я, где с - набор
концепций (или классов); р - набор свойств (объект и тип данных свойства.); я - это набор физических лиц (или случаев); t - набор
данных; V - набор ценностей; ≤ является рефлексивным, борьбе с симметричным, а.транзитивность по c × c) ∪ р х P) ∪ t x T) под названием специализации,
по формированию частичное заказов с и р называется концепция иерархии
и собственности иерархии, соответственно; ⊥ является irreflexive и симметричные
связи с c × c) ∪ р х ∪ (п) t x T) назвал исключение; ∈ является отношение
над i × c) ∪ v × P) называется созданием; = является отношение над i × P x
(я ∪ V) назвал назначение.группы с, р,я, T, V - парный disjoint.
предполагается также (см. [6]), что онтологии - включает ее схемы
s и assertional части а: