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, und J. Hoffmann. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, Volume 4825 von LNCS, Seite 477--490. Berlin, Heidelberg, Springer Verlag, (November 2007)
C. Elsenbroich, O. Kutz, und U. Sattler. Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, Volume 216 von CEUR-WS.org, (November 2006)
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)
C. Ghidini, und L. Serafini. Modelling and Using Context -- Proceedings of the 2nd International and Interdisciplinary Conference, Context'99, Volume 1688 von Lecture Notes in Artificial Intelligence, Seite 159--172. Springer Verlag - Heidelberg, (1999)
A. Cal&\#236;, D. Calvanese, G. Giacomo, und M. Lenzerini. ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, Seite 503--513. London, UK, Springer-Verlag, (2002)