Tags : Browse Projects

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

Pellet

Compare

  Analyzed over 2 years ago

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

588K lines of code

3 current contributors

over 3 years since last commit

6 users on Open Hub

Activity Not Available
4.75
   
I Use This

grools-application

Compare

  Analyzed about 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.43K lines of code

3 current contributors

3 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

grools-checker-genome-properties

Compare

  Analyzed about 2 months ago

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

416 lines of code

1 current contributors

6 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

grools-checker

Compare

  Analyzed 1 day 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

1 current contributors

9 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
I Use This

grools-drools-checker

Compare

  Analyzed 1 day ago

Is the implementation of grools-checker with the DROOLS frameworks

2.22K lines of code

1 current contributors

10 months since last commit

1 users on Open Hub

New Project
0.0
 
I Use This
Licenses: No declared licenses

kiids

Compare

  Analyzed about 1 year ago

KIIDSA Knowledge-Intensive Interactive Digital Storytelling systemKIIDS is a software system for the development of interactive digital storytelling applications as videogames, pieces of interactive art or educational multimedia. This system, instance of DLApplication, consists of an extensible ... [More] repository of ontologies (representing fields of knowledge about interaction, narration and simulation), a software framework of generic and reusable components (implementing domain-specific techniques that are used to generate domain-specific elements for the stories), an automatic direction mechanism and an interface for controlling virtual environments called RCEI. Visit the website of this project: http://federicopeinado.com/projects/kiids [Less]

0 lines of code

0 current contributors

about 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: LGPL

dlapplication

Compare

  Analyzed about 1 year ago

DLApplicationA Framework for Dealing with Description LogicsDLApplication is a software framework for developing Description Logic-based applications, using DLModel as internal model of knowledge. It offers an abstract implementation, which is based on domain-specific components that can be ... [More] developed independently, creating a library that could be reused across many applications. The purpose of this project is to act as an easy starting point for developments that deals with Description Logics and Semantic Web Technologies. Visit the website of this project: http://federicopeinado.com/projects/dlapplication [Less]

0 lines of code

0 current contributors

about 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: LGPL

intohylo

Compare

  Analyzed about 2 years ago

This suite of tools consists of: hylores : a resolution-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) htab : a tableaux-based theorem prover for the hybrid logic H(@,A,D,◇¯,↓) with role inclusion hylolib : the common library used by the other provers gridtest : a framework to test and ... [More] compare provers on a single machine or a grid These tools can be obtained from the Home page of the project. [Less]

0 lines of code

0 current contributors

over 8 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-2.0+

dlmodel

Compare

  Analyzed about 1 year ago

DLModelA Tool for Dealing with Description LogicsDLModel is an API for accesing a Description Logic model, implemented using the latest Semantic Web technologies. It has a Java implementation that offers an abstract interface for easy access to OWL files using an API as Jena and a DL resoner as ... [More] Pellet. The purpose of this project is to act as an easy tool for other developments that have to work with Description Logics models without knowing low level details of Semantic Web technologies. Visit the website of this project: http://federicopeinado.com/projects/dlmodel [Less]

0 lines of code

0 current contributors

over 10 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: LGPL

dlog-reasoner

Compare

  No analysis available

The aim of the DLog 2 project is to develop a scalable Description Logic ABox Reasoner for the SROIQ language.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: GPL-2.0+