Skip to main content

Levels of presenting ontologies, languages, mathematical models, and ontology web-server project in Web 2.0


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.

This is a preview of subscription content, access via your institution.


  1. Web 2.0. Wikipedia.

  2. Gruber, T.R., Toward Principles for the Design of Ontologies Used for Knowledge Sharing, Technical Report KSL-93-21, Stanford University, 1993.

  3. Guarinio, N., Formal Ontology and Information Systems, Proc. FOIS’98, Trento, Italy, 1998.

  4. Lapshin, V.A., Ontologii v komp’yuternykh sistemakh, (Ontologies in Computer Systems), Moscow: Nauchnyi Mir, 2010.

    Google Scholar 

  5. Folksonomia. Wikipediya.

  6. Semantic Web. Wikipedia.

  7. Semantic Wiki. Wikipedia.

  8. Project Ontolingua.

  9. Beniaminov, E.M. and Boldina, D.M., System of Ontolingua Knowledge Presentation-Principles and Perspectives, Nauchn. Tekhn. Inform., Ser. 2, 1999, no. 10, pp. 26–32.

  10. Free Encyclopaedia Wikipedia.

  11. Bidoit, M. and Mosses, P.D., CASL User Manual. Introduction to Using the Common Algebraic Specification Language, New York: Springer Verlag, 1998.

    Google Scholar 

  12. SoFI Project.

  13. Protege Project.

  14. KAON Project. Wikipedia.

  15. Review of OWL Language. The World Wide Web Consortium (W3C).

  16. Description of SRARQL Language. The World Wide Web Consortium (W3C).

  17. Review of SWRL Language. The World Wide Web Consortium (W3CS).

  18. Review of RIF Language. The World Wide Web Consortium (W3C).

  19. RDF Language. The World Wide Web Consortium (W3C).

  20. JENA Project. SourgeForge.

  21. Oren RDF Project.

  22. Database Semantic Technologies. ORACLE.

  23. Beniaminov, E.M., Algebraicheskie metody v teorii baz dannykh i predstavlenii znanii (Algebraic Methods in Data Base and Knowledge Presentation Theory), Moscow: Nauchnyi Mir, 2003.

    Google Scholar 

  24. DOLCE Project. Laboratory for Applied Ontology.

  25. Upper Ontology (Information Science). Wikipedia.

  26. Haskell Language.

  27. Project of Experimental Ontology EZOP Web-Server.

  28. Drupal Project: Open source Content Management Platform.

  29. Adamenko, A. and Kuchukov, A., Logicheskoe programmirovanie i Visual Prolog (Logic Programming and Visual Prolog), St. Petersburg: BKhV-Petersburg, 2003.

    Google Scholar 

  30. SWI-Prolog Language.

  31. Beniaminov, E.M. and Boldina, D.M., EZOP System of Representation and Treatment of Knowledges, in Materialy konferentsii “Dialog’2001”. Prikladnye problemy. (Proc. Conf. ‘Dialog-2001’. Application Problems), Moscow, 2001.

  32. Beniaminov, E.M. and Manushina, M.Yu., Principles of Construction of Open Language of Trite Expressions in Knowledge Presentation System, Nauchn. Tekhn. Inform. Ser. 2, 2000, no. 7, pp. 10–17.

  33. Examples of Ontology. EZOP Project.

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to E. M. Beniaminov.

Additional information

Original Russian Text © E.M. Beniaminov, V.A. Lapshin, 2012, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2, 2012, No. 3, pp. 1–10.

About this article

Cite this article

Beniaminov, E.M., Lapshin, V.A. Levels of presenting ontologies, languages, mathematical models, and ontology web-server project in Web 2.0. Autom. Doc. Math. Linguist. 46, 59–67 (2012).

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI:


  • ontology
  • levels of presenting ontologies
  • Web server for ontologies
  • algebraic specifications
  • CASL language