Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Pellet

P

Analyzed 2 months ago

Pellet is an open source, OWL DL reasoner in Java developed and supported by Clark & Parsia, LLC.

410K lines of code

0 current contributors

over 8 years since last commit

5 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: AGPL3

Tags descriptionlogic dl java logic ontology owl owl2 owlapi owldl reasoner semanticweb

grools-application

G

Analyzed 2 months 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.

1.31K lines of code

0 current contributors

about 8 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in shell script

Licenses: No declared licenses

Tags application bioinformatic bioinformatics biology conceptual-graph descriptionlogic inconsistency java reasoner reasoning uncertainties uncertainty

grools-checker-genome-properties

G

Analyzed 2 months ago

Use biology data from GenoeProperty ressources and convert them to be usable by Grools reasonner

289 lines of code

0 current contributors

about 8 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: cecill-v2_1

Tags bioinformatics biologicalnetwork descriptionlogic metabolicpathways metabolism pathway_analysis

grools-checker

G

Analyzed 2 months 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.

1.56K lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: cecill-v2_1

Tags descriptionlogic logic reasoner relevant_logic

grools-drools-checker

G

Analyzed 2 months ago

Is the implementation of grools-checker with the DROOLS frameworks

2.26K lines of code

0 current contributors

almost 9 years since last commit

1 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: No declared licenses

Tags descriptionlogic drools logic reasoner relevant_logic

UEL

U

Analyzed 2 months ago

Unification solver for EL.

8.76K lines of code

1 current contributors

5 months since last commit

0 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: apache_2, lgpl3

Tags descriptionlogic java owl owl2 owl2el owlapi protege unification

BORN

B

Analyzed 2 months ago

Bayesian Ontology Reasoner

16.7K lines of code

1 current contributors

5 months since last commit

0 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: apache_2

Tags descriptionlogic java ontology owl owl2 owlapi probabilities reasoner

jcel

J

Analyzed 2 months ago

19.4K lines of code

1 current contributors

5 months since last commit

0 users on Open Hub

Activity Not Available

I Use This

Mostly written in Java

Licenses: apache_2, lgpv3_or_...

Tags descriptionlogic java jcel ontology owl owlapi owl_el protege reasoner semanticweb