New definition of the web ontology language OWL2

1Kurgaev, AF
1V.M. Glushkov Institute of Cybernetics of the NAS of Ukraine, Kyiv
Dopov. Nac. akad. nauk Ukr. 2018, 3:22-35
https://doi.org/10.15407/dopovidi2018.03.022
Section: Information Science and Cybernetics
Language: Russian
Abstract: 

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.

Keywords: formal description, functional style syntax, Manchester syntax, metalanguage of normal forms of knowledge, OWL web ontology language, semantic Web
References: 
  1. Berners-Lee, T. Web Architecture from 50,000 feet. Retrieved from https://www.w3.org/DesignIssues/Architecture.html.
  2. Web Architecture: Describing and Exchanging Data. W3C Note 7 June 1999. Retrieved from https://www.w3.org/1999/04/WebData
  3. 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
  4. 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
  5. 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
  6. 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).
  7. 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/
  8. OWL 2 Web Ontology Language: Primer (2nd ed.). W3C Recommendation 11 December 2012. Retrieved from http://www.w3.org/TR/owl-primer
  9. 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/
  10. 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/
  11. 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/
  12. 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/
  13. Duerst M., Suignard M. RFC 3987: Internationalized Resource Identifiers (IRIs). IETF, January 2005. Retrieved from http://www.ietf.org/rfc/rfc3987.txt
  14. SPARQL 1.1: Query Language. W3C Recommendation 21 March 2013. Retrieved from http://www.w3.org/TR/2013/REC-sparql11-query-20130321/
  15. Tags for Identifying Languages. BCP: 47. Retrieved from http://www.rfc-editor.org/rfc/bcp/bcp47.txt