Select a tag to browse associated projects and drill deeper into the tag cloud.
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]
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]
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]
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.
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]
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]
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]
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]
The aim of the DLog 2 project is to develop a scalable Description Logic ABox Reasoner for the SROIQ language.