New definition of the web ontology language OWL2
DOI:
https://doi.org/10.15407/dopovidi2018.03.022Keywords:
formal description, functional style syntax, Manchester syntax, metalanguage of normal forms of knowledge, OWL web ontology language, semantic WebAbstract
In the metalanguage of normal forms of knowledge (NFK), we give descriptions of the Manchester syntax and syntax of the functional style of the web ontology language OWL 2 — the central language of the semantic stack by Tim Berners-Lee. The availability of such descriptions guarantees that OWL 2 can be implemented as long as the interpreter of the NFK meta-language is implemented first. It is shown that the expressive capabilities of the NFK meta-language for the description of OWL 2 are quite comparable with the expressive capabilities of the meta-language of Extended Backus-Naur Form.
Downloads
References
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
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2024 Reports of the National Academy of Sciences of Ukraine
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
