Cambridge Journals Online (CJO) is the e-publishing service for over 230 journals published by Cambridge University Press and is entirely developed and hosted in-house. The platform's powerful capacity and reliable performance are maintained by a combination of our own expertise and a process of consultation with the library and research communities. With the help of these stakeholders, we maintain CJO as an industry-leading e-publishing service.
The Suggested Upper Merged Ontology (SUMO) and its domain ontologies form the largest formal public ontology in existence today. They are being used for research and applications in search, linguistics and reasoning. SUMO is the only formal ontology that
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about its approximatel
Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning to exiting information). To a machine, information is only data, until it is processed and compr
Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning to exiting information). To a machine, information is only data, until it is processed and compr
P. Chapman, G. Stapleton, J. Howse, and I. Oliver. 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), page 87-94. (September 2011)
D. Anicic, and N. Stojanovic. Intelligent Event Processing, Papers from the 2009 AAAI Spring Symposium, SS-09-05, page 14-20. Menlo Park, CA, AAAI Press, (2009)
V. Haarslev, and R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, volume 2083 of Lecture Notes in Computer Science, page 701. Siena, Italy, Springer-Verlag, (June 2001)
S. Easterbrook, and M. Chechik. First International Workshop on Inconsistency in Data and Knowledge, at the International Joint Conference on Artificial Intelligence, (IJCAI-01), Seattle, USA, (August 2001)
D. Tishkovsky, and R. Schmidt. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 435--448. Berlin, Heidelberg, Springer Verlag, (November 2007)