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, и J. Hoffmann. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, том 4825 из LNCS, стр. 477--490. Berlin, Heidelberg, Springer Verlag, (ноября 2007)
J. Pemberton, и F. Galiber. Constraint Programming and Large Scale Discrete Optimization, том 57 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, E.C. Freuder, R.J.Wallace (editors), (1998)
C. Ghidini, и L. Serafini. Modelling and Using Context -- Proceedings of the 2nd International and Interdisciplinary Conference, Context'99, том 1688 из Lecture Notes in Artificial Intelligence, стр. 159--172. Springer Verlag - Heidelberg, (1999)
A. Cal&\#236;, D. Calvanese, G. Giacomo, и M. Lenzerini. ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, стр. 503--513. London, UK, Springer-Verlag, (2002)