Search Results for "linux operating systems"

SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...

HERAKLES is a reasoning broker framework for OWL (Web Ontology Language) reasoning systems.

This project was designed for a reserach conducted in the area of mobile science inqiury using ontologies. This mobile web application 'ThinknLearn' uses ontology-based scaffolding to implement NCEA level 1science standard curriculum example as an experimental context. In this application, ontologies are designed using Protege 4.0 while Jena API and Pellet reasoner are used in the technical architecture of this application for extracting relevant information according to the requirements.

The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.

MACOW is a formal and scalable mandatory access implementation suitable on open worlds such as the provided on Semantic Web, Autonomic Computing and Coaltions and Federations scenarios. It is able to access control on distributed systems.