matthewlynn
Researcher working in knowledge representation, automated reasoning, and automated planning.
Germany
matthewlynn's Stars
julianmendez/jcel
Reasoner for the description logic EL+.
ha-mo-we/Racer
Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
SmartDataAnalytics/DL-Learner
A tool for supervised Machine Learning in OWL and Description Logics
YCAMInterlab/mda.js
half edge mesh data structure in js
antoniogarrote/rdfstore-js
JS RDF store with SPARQL support
erikolson186/relational.js
Implementation of the relational algebra
unconst/BitTensor
A peer to peer machine intelligence benchmark