A backward-chaining reasoner based on RDF and OWL, using resolution inference mechanism and following Euler paths. - (Read more)

Works to further the vision through research, development and internal promotion. Features technology, tools, resources and contact information. - (Read more)

European research project with the goal to develop a software framework for building ontology-based collaboration platforms. - (Read more)