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.
N. Lathia, S. Hailes, and L. Capra. RecSys '08: Proceedings of the 2008 ACM conference on Recommender systems, page 227--234. New York, NY, USA, ACM, (2008)
J. Cruz. Proceeding of the 2005 conference on Constraint Reasoning for Differential Models, page 1--216. Amsterdam, The Netherlands, The Netherlands, IOS Press, (2005)