Levels of presenting ontologies, languages, mathematical models, and ontology web-server project in Web 2.0
E. M. Beniaminov, V. A. Lapshin · Automatic Documentation and Mathematical Linguistics · 2012
This paper presents an ontology web-server project in Web 2.0 that allows the collaborative development of ontologies. The levels of presenting ontologies and mathematical models underlying these presentations are discussed. The CASL language (Common Algebraic Specification Language) is reviewed.