Семантика: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Bunyk (обговорення | внесок) Немає опису редагування |
Bunyk (обговорення | внесок) →В програмуванні: + переклад з en:Semantics |
||
Рядок 11:
== В програмуванні ==
{{main|Семантика мов програмування}}
В [[комп'ютерні науки|комп'ютерних науках]], термін ''семантика'' означає значення конструкції мови, на противагу їхній формі ({{нп|синтаксис (логіка)|синтаксису||syntax (logic)}}). Згідно Еузенату, семантика "надає правила для інтерпретації синтаксису, які не надають значення напряму, але обмежують можливі інтерпретації задекларованого."<ref>Euzenat, Jerome. ''Ontology Matching.'' Springer-Verlag Berlin Heidelberg, 2007, p. 36</ref> В [[Онтологічна інженерія|онтологічній інженерії]], термін ''семантика'' означає значення понять, властивостей, та зв'язків які формально визначають сутності та події реального світу, на логічному фундаменті, такому як [[описова логіка]], і зазвичай реалізовані мовою [[Web Ontology Language]]. Значення понять і ролей [[Описова логіка|описової логіки]] визначається її [[Семантика логіки|теоретико-модельною семантикою]], яка базується на інтерпертаціях.<ref>{{cite book |last=Sikos |first=Leslie F. |date=2017 |title=Description Logics in Multimedia Reasoning |url=https://www.springer.com/us/book/9783319540658 |location=Cham |publisher=Springer International Publishing |isbn=978-3-319-54066-5 |doi=10.1007/978-3-319-54066-5 }}</ref> Поняття, властивості і зв'язки описані онтологіями [[Web Ontology Language | OWL]] можуть розміщуватись прямо в розмітці сторінок веб-сайтів в форматах {{iw|RDFa}}, {{iw|HTML5 Microdata|||Microdata (HTML)}}, або {{iw|JSON-LD}}, в [[Графова база даних|графових базах даних]] як {{iw|Семантичні трійки|RDF трійки||Semantic_triple}} або {{iw|Іменований граф|четвірок||Named_graph}}, і збиратись в наборах даних {{iw|Linked Open Data}}.
== Література ==
| |||