Нове визначення мови веб-онтологій OWL2

Автор(и)

  • О.П. Кургаєв Інститут кібернетики ім. В.М. Глушкова НАН України, Київ

DOI:

https://doi.org/10.15407/dopovidi2018.03.022

Ключові слова:

semantic Web, манчестерський синтаксис, метамова нормальних форм знань, мова веб-онтологій OWL, синтаксис функціонального стилю, формальний опис

Анотація

Дано у метамові нормальних форм знань (НФЗ) описи манчестерського синтаксису й синтаксису функціонального стилю мови веб-онтологій OWL 2 — центральної мови семантичного стека Тіма Бернерс-Лі. Наявність таких описів гарантує реалізуємість мови OWL 2 з реалізацією інтерпретатора метамови НФЗ. Показано, що виразні можливості метамови НФЗ для формального опису OWL 2 цілком порівняні з виразними можливостями метамови Extended Backus-Naur Form.

Завантаження

Дані завантаження ще не доступні.

Посилання

Berners-Lee, T. Web Architecture from 50,000 feet. Retrieved from https://www.w3.org/DesignIssues/Architecture.html.

Web Architecture: Describing and Exchanging Data. W3C Note 7 June 1999. Retrieved from https://www.w3.org/1999/04/WebData

Berners-Lee, T., Hall, W., Hendler, J. A., O'Hara, K., Shadbolt, N. & Weitzner, D. J. (2006). A Framework for Web Science. Foundations and Trends in Web Science. 1, No. 1, pp. 1-130. doi: https://doi.org/10.1561/1800000001

Kurgaev, A. & Grygoryev, S. (2015). The normal forms of knowledge. Dopov. Nac. akad. nauk Ukr., No. 11, pp. 36-43 (in Russian). doi: https://doi.org/10.15407/dopovidi2015.11.036

Kurgaev, A. & Grygoryev, S. (2016). Metalanguage of Normal Forms of Knowledge. Cybernetics and Systems Analysis, 52, No. 6, pp. 839-848. doi: https://doi.org/10.1007/s10559-016-9885-3

Kurgaev, A. & Grygoryev, S. (2017). The definition of formal languages in the meta language of normal forms of knowledge. Programming problems, No. 4, pp. 37-50 (in Russian).

OWL 2 Web Ontology Language: Document Overview (2nd ed.). W3C Recommendation 11 December 2012. Retrieved from http://www.w3.org/TR/2012/REC-owl2-overview-20121211/

OWL 2 Web Ontology Language: Primer (2nd ed.). W3C Recommendation 11 December 2012. Retrieved from http://www.w3.org/TR/owl-primer

OWL 2 Web Ontology Language: Manchester Syntax (2nd ed.). W3C Working Group Note 11 December 2012. Retrieved from http://www.w3.org/TR/2012/NOTE-owl2-manchester-syntax-20121211/

OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax (2nd ed.). W3C Recommendation 11 December 2012. Retrieved from http://www.w3.org/TR/2012/REC-owl2-syntax-20121211/

OWL 2 Web Ontology Language: XML Serialization (2nd ed.). W3C Recommendation 11 December 2012. Retrieved from http://www.w3.org/TR/2012/REC-owl2-xml-serialization-20121211/

OWL 2 Web Ontology Language: Mapping to RDF Graphs (2nd ed.). W3C Recommendation 11 December 2012. Retrieved from http://www.w3.org/TR/2012/REC-owl2-mapping-to-rdf-20121211/

Duerst M., Suignard M. RFC 3987: Internationalized Resource Identifiers (IRIs). IETF, January 2005. Retrieved from http://www.ietf.org/rfc/rfc3987.txt

SPARQL 1.1: Query Language. W3C Recommendation 21 March 2013. Retrieved from http://www.w3.org/TR/2013/REC-sparql11-query-20130321/

Tags for Identifying Languages. BCP: 47. Retrieved from http://www.rfc-editor.org/rfc/bcp/bcp47.txt

##submission.downloads##

Опубліковано

09.05.2024

Як цитувати

Кургаєв, О. (2024). Нове визначення мови веб-онтологій OWL2 . Reports of the National Academy of Sciences of Ukraine, (3), 22–35. https://doi.org/10.15407/dopovidi2018.03.022

Номер

№ 3 (2018): Доповіді Національної академії наук України

Розділ

Інформатика та кібернетика

Ліцензія

Авторське право (c) 2024 Доповіді Національної академії наук України

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.