Select a tag to browse associated projects and drill deeper into the tag cloud.
Pellet
P
Analyzed 1 day ago
Pellet is an open source, OWL DL reasoner in Java developed and supported by Clark & Parsia, LLC.
Licenses:
AGPL3
Cwm
C
No analysis available
Cwm (pronounced coom) is a general-purpose data processor for the semantic web, somewhat like sed, awk, etc. for text files or XSLT for XML. It is a forward chaining reasoner which can be used for querying, checking, transforming and filtering information. Its core language is RDF, extended to
Mostly written in language not available
Licenses:
w3c
EulerSharp
E
No analysis available
Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, Javascript and Prolog. Via N3 it is interoperable with W3C Cwm.
Mostly written in language not available
Licenses:
No declared licenses
grools-application
G
Analyzed about 17 hours ago
GROOLS is a powerfull reasoner to deal with uncertainties and contradiction. This application is a standalone tools to show a possible usage of GROOLS API.
Licenses:
No declared licenses
grools-checker
G
Analyzed 2 days ago
Is a non-classic reasoner able to take predicted and expected observation. Conclusion over fact is based on relevant logic with the help of generalized truth value concept.
Licenses:
cecill-v2_1
grools-drools-checker
G
Analyzed 1 day ago
Is the implementation of grools-checker with the DROOLS frameworks
Licenses:
No declared licenses
RDFSharp.Semantics
No analysis available
RDFSharp.Semantics is the RDFSharp extension for creating, validating and reasoning with OWL-DL ontologies. It also implements built-in support for most common Linked data ontologies (DC, FOAF, GEO, SKOS, SIOC)
Mostly written in language not available
Licenses:
apache_2
O-DEVICE
O
Analyzed 6 days ago
O-DEVICE is a CLIPS-based production rule OWL reasoner that maps OWL ontologies on the Object-Oriented language of CLIPS, namely COOL. Furthermore, JO-DEVICE is available that enables O-DEVICE to be used in JAVA applications.
Licenses:
apache_2