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.
J. Pemberton, und F. Galiber. Constraint Programming and Large Scale Discrete Optimization, Volume 57 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, E.C. Freuder, R.J.Wallace (editors), (1998)