Tags : Browse Projects

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

Showing page 1 of 2
Filter by Related Tags:

Pellet

Compare

  Analyzed 5 months 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

About 1 year since last commit

6 users on Open Hub

Activity Not Available
4.75
   

factplusplus

Compare

  Analyzed 3 months ago

SummaryFaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 2 The latest available version is 1.3.0, released 29 May 2009. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. Release History Version Date Comment 1.3.0 29 May 2009 Incremental reasoning implementation 1.2.3 ... [More]

32.8K lines of code

2 current contributors

7 months since last commit

0 users on Open Hub

Activity Not Available
0
 

adli

Compare

  No analysis available

The main puprose of this project is to integrate and provide software stack for tasks related to: Description Logic Semantic Web (Web 3.0) Formal methods Ontology engeeneering and presentation (graphs) Uniform Description Logic Language (UDLL) is the main interface language with Description Logic Reasoner. Supported DL reasoner is FA... [More]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
Mostly written in language not available
Licenses: GPL-3.0+

kipler

Compare

  Analyzed about 1 month ago

Kipler is an object-oriented tableau framework for rapid development of (modalized) description logic reasoners.It also comes with readily implemented decision procedures for some of these logics. A decision procedure for such a logic can be implemented by (programmatically) extending the classes provided by Kipler and thus making us... [More]

3.65K lines of code

0 current contributors

Almost 4 years since last commit

0 users on Open Hub

Activity Not Available
0
 

umls-biotop

Compare

  Analyzed about 1 month ago

A mapping of the Universal Medical Language System (UMLS) Semantic Network (SN) (in OWL form) to Biotop (see http://purl.org/biotop). For now, it's just the Semantic Types, and Biotop itself is still under active development.

19.2K lines of code

0 current contributors

Over 6 years since last commit

0 users on Open Hub

Activity Not Available
0
 

kiids

Compare

  Analyzed about 1 month 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 repository of ontologies (representing ... [More]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
Mostly written in language not available
Licenses: LGPL

dlapplication

Compare

  Analyzed 5 days 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 developed independently, creating a library t... [More]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
Mostly written in language not available
Licenses: LGPL

intohylo

Compare

  Analyzed 3 days 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 compare provers on a single machine or ... [More]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
Mostly written in language not available
Licenses: GPL-2.0+

dlmodel

Compare

  Analyzed 4 days 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 Pellet. The purpose of this project is ... [More]

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0
 
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
 
Mostly written in language not available
Licenses: GPL-2.0+