×

New definition of the web ontology language OWL2. (Russian. English summary) Zbl 1399.68239

Summary: 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 OWL2 – the central language of the semantic stack by Tim Berners-Lee. The availability of such descriptions guarantees that OWL2 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 OWL2 are quite comparable with the expressive capabilities of the meta-language of Extended Backus-Naur Form.

MSC:

68T30 Knowledge representation
68M11 Internet topics