This poster paper presents the design and implementation of an RDFS reasoner based on a backward chaining approach and implemented on a clustered RDF triplestore. The system presented, called 4sr, uses 4store as base infrastructure. In order to achieve a highly scalable system we implemented the reasoning at the lowest level of the quad store, the bind operation. The bind operation in 4sr trave...

In previous work we have shown that grounding, while used by most (if not all) modern state-of-the-art planners, is not necessary and is sometimes even undesirable. In this paper we extend this work and present a novel forward-chaining planner that does not require grounding and can solve problem instances that are too large for current planners to handle. We achieve this by exploiting equivale...

We describe a method for incrementally construct­ ing belief networks. We have developed a network­ construction language similar to a forward-chaining lan­ guage using data dependencies, but with additional features for specifying distributions. Using this lan­ guage, we can define parameterized classes of proba­ bilistic models. These parameterized models make it possible to apply probabilist...

with the help of a forward-chaining inference engine to find out about a specific item (object) of the domain of instruction. As the questioning process is bidirectional ("open" questions can be asked by the system as well as by the learner), DOLE is more targeted at advanced and adult learners than at young learners. The ultimate goal is to use the DOLE system concept as a part of a virtual co...

The construction of explanations is a key process in human understanding, having many applications for internal tasks such as learning through to external tasks such as diagnosis and image interpretation. In this paper we introduce ve orthogonal dimensions along which any explanation task can be characterised and show how their identiication gives rise to a new model of explanation construction...

Evaluating food quality is a complex process since it relies on numerous criteria historically grouped into four main types: nutritional, sensorial, practical and hygienic qualities. They may be completed by other emerging preoccupations such as the environmental impact, economic phenomena, etc. However, all these aspects of quality and their various components are not always compatible and the...

This paper presents the SATIS project, which aims at providing to final users the capability to capitalise their know-how about how to search for web services to operationalise business processes. In SATIS, search procedures are elicited through intentions and strategies from which queries dedicated to search for web services are derived. We rely on semantic web models and languages in order to...

The technique of forward/backward simulations has been applied successfuly in many distributed and concurrent applications. In this paper, however, we claim that the technique can actually have more genericity and mathematical clarity. We do so by identifying forward/backward simulations as lax/oplax morphisms of coalgebras. Starting from this observation, we present a systematic study of this ...

The Web-based Weather Expert System (WES) is a critical module of the Virtual Test Bed development to support “go/no go” decisions for Space Shuttle operations in the Intelligent Launch and Range Operations program of NASA. The weather rules characterize certain aspects of the environment related to the launching or landing site, the time of the day or night, the pad or runway conditions, the m...

We present a computational model of approach learning in a T-maze environment. We show that our model learns the correct sequence of six decisions that lead to the location of positive reinforcement and in a manner consistent with experimental observations. Our model exhibits many properties that are characteristic of animal learning in maze environments including delay conditioning, secondary ...