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.
M. Stollberg, M. Hepp, and J. Hoffmann. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 477--490. Berlin, Heidelberg, Springer Verlag, (November 2007)
C. Elsenbroich, O. Kutz, and U. Sattler. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, volume 216 of CEUR-WS.org, (November 2006)
J. Pemberton, and F. Galiber. Constraint Programming and Large Scale Discrete Optimization, volume 57 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, E.C. Freuder, R.J.Wallace (editors), (1998)