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
Bossam is a forward-chaining rule engine for the semantic web. Bossam is implemented based on RETE algorithm and supports OWL inferencing, URI referencing, negation-as-failure, java method attachment, query processing, and SWRL reasoning etc.
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.
This article looks at a small project investigating the use of interactive whiteboards (IWBs) as tools for children's group-based learning in primary science.
C. Ghidini, and L. Serafini. Modelling and Using Context -- Proceedings of the 2nd International and Interdisciplinary Conference, Context'99, volume 1688 of Lecture Notes in Artificial Intelligence, page 159--172. Springer Verlag - Heidelberg, (1999)
D. Rosca, S. Greenspan, M. Feblowitz, and C. Wild. Requirements Engineering, 1997., Proceedings of the Third IEEE International Symposium on, (January 1997)
A. Cal&\#236;, D. Calvanese, G. Giacomo, and M. Lenzerini. ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, page 503--513. London, UK, Springer-Verlag, (2002)