Cycorp offers cutting edge innovations in knowledge representation, machine reasoning, natural language processing, semantic data integration, and information management and search.
T. Rahmani, D. Oberle, and M. Dahms. Model Driven Engineering Languages and Systems, volume 6395 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-16129-2_18.(2010)
S. Staab, T. Walter, G. Gröner, and F. Parreiras. Reasoning Web. Semantic Technologies for Software Engineering, volume 6325 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-15543-7_3.(2010)
I. Niles, and A. Pease. Proceedings of the International Conference on Formal Ontology in Information Systems - Volume 2001, page 2--9. New York, NY, USA, ACM, (2001)