New definition of the web ontology language OWL2

TitleNew definition of the web ontology language OWL2
Publication TypeJournal Article
Year of Publication2018
AuthorsKurgaev, AF
Abbreviated Key TitleDopov. Nac. akad. nauk Ukr.
DOI10.15407/dopovidi2018.03.022
Issue3
SectionInformation Science and Cybernetics
Pagination22-35
Date Published3/2018
LanguageRussian
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.
Keywordsformal 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