Projects

Pellet

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

factplusplus

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 ... [More] Incremental reasoning implementation 1.2.3 05 March 2009 Bug-fix release 1.2.2 14 January 2009 Bug-fix release, some speedup 1.2.1 20 November 2008 Bug-fix release, some speedup 1.2.0 25 September 2008 Bug-fix release, some speedup 1.1.11 28 March 2008 Bug-fix release, some speedups in ABox reasoning 1.1.10 30 November 2007 Bug-fix release 1.1.9 04 October 2007 Bug-fix release; floating point datatypes now supported 1.1.8 12 July 2007 Bug-fix release, improve performance 1.1.7 11 May 2007 Bug-fix release 1.1.6 30 April 2007 Bug-fixes, prepare the movement to Google Code. 1.1.5 12 March 2007 Bug-fix release. 1.1.4 07 December 2006 SROIQ logic (OWL 1.1) is supported now. 1.1.3 05 April 2006 Bug-fixes, stability improvements. 1.1.2 08 March 2006 Bug-fix release. 1.1.1 20 February 2006 Improve performance. 1.1.0 16 January 2006 DataTypes (like String and Integer) support added. 1.0.0 17 November 2005 Reasoning in SHOIQ (a.k.a. OWL DL) is supported. [Less]

adli

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 ... [More] Reasoner. Supported DL reasoner is FACT++ from university of Menchester, which is reasoning over SROIQ(D) Description Logic dialect. [Less]

kipler

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 ... [More] provided by Kipler and thus making use of object-oriented programming techniques. It is not our aim to develop a general tableau definition language for these logics. Kipler is under heavy development. Currently it supports SHIQ ABox reasoning and experimental SHOIQ reasoning. These logics are the underlying formalism of Web Ontology Language: OWL and thus are included in Kipler's profile to demonstrate its capabilities. These implementations also employ some optimization techniques, e.g., semantic branching and backjumping, to make them "practical". The facilities provided by Kipler for optimizations can be extended to modal description logics as well. The first alpha version is planned to be released when integration with an OWL parsing API is completed and more tests are done. The name Kipler means "modalities" in Turkish. [Less]

umls-biotop

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.

kiids

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]

dlapplication

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]

intohylo

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 ... [More] test and compare provers on a single machine or a grid These tools can be obtained from the Home page of the project. [Less]

dlmodel

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]

dlog-reasoner

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