The OWL API is a Java API and reference implmentation for creating, manipulating and serialising OWL Ontologies. The latest version of the API is focused towards OWL 2
Welcome to the OpenMath website. OpenMath is an extensible standard for representing the semantics of mathematical objects. If you haven't heard about it before you might want to consult the overview.
Y. Yang, и J. Calmet. CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06), стр. 457--463. Washington, DC, USA, IEEE Computer Society, (2005)
J. Breslin, A. Harth, U. Bojars, и S. Decker. European Semantic Web Conference (ESWC), том 3532 из Lecture Notes on Computer Science, стр. 500-514. Springer, (2005)
T. Gruber, и G. Olsen. Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27, стр. 258-269. Morgan Kaufmann Publishers, (1994)