Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Flips solver
-
An ecumenical natural deduction system
-
-
An ecumenical natural deduction system
-
-
-
Lazy lavender is a simulation environment for "cultural knowledge evolution", i.e. experimenting with several agents evolving their own knowledge through interacting.
-
Adrien vigné => Stage 2020 Sujet : Génération de trajectoires robustes aux incertitudes paramétriques tenant compte de la commande pour une formation multi-robots
-
Dumb project to test pipelines in a c++ project
-
CPU architecture performance evaluation tool
-
-
PSPARQL engine is an extension to SPARQL engine written in Java. It evaluates string queries of SPARQL, PSPARQL and CPSPARQL.
-
Scarlet is a highly flexible context-based ontology matcher developed in the context of the NeOn European project. Such a matcher matches ontologies using external resources. Scarlet uses all the ontologies of the web accessible through Watson.
-
Elster is an ontology-based picture annotation sharing system. It is used as a testbed to demonstrate original features such as lightweight ontology alignment and knowledge+social network analysis.
-
Transmorpher is a software environment for defining and processing complex transformations of XML documents.
-
Semantic web in the pocket.
SWIP is a project for supporting RDF under the Android hood.
-
The Alignment API allows various ontology matchers to share the same format and interface for accessing matching results. It also features a reference implementation and the Alignment server.