CLLKazan / OntoMathPro
This ontology is a Linked Data Hub for mathematics
☆57Updated 7 months ago
Related projects: ⓘ
- Euler Yet another proof Engine☆125Updated this week
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 6 months ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆38Updated this week
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- Transform UML into a formal OWL ontology and SHACL shapes☆24Updated this week
- Automatically exported from code.google.com/p/colore☆66Updated 5 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆10Updated 2 weeks ago
- ☆57Updated this week
- Sigma Knowledge Engineering Environment☆101Updated 2 weeks ago
- logic programming with SPARQL