artificial intelligence directory
Directory of Web Resources for the Artificial Intelligence Community

 
Home > Knowledge Representation > Logics > Description Logics


Description Logics 
The Description Logics webpage, maintained by Carsten Lutz.
 http://dl.kr.org/


Description Logics Workshops 
Homepage of the yearly Description Logic Workshops.
 http://dl.kr.org/workshops/


KAON2 -- Ontology Management for the Semantic Web 
KAON2 is an infrastructure for managing OWL-DL, SWRL, and F-Logic ontologies. Java source code is available.
 http://kaon2.semanticweb.org/


Racer Systems GmbH & Co. KG 
The Racer Systems GmbH & Co. KG develops and licenses RacerPro for commercial applications. RacerPro is the semantic middleware for industrial projects based on RDF/OWL, a W3C standard.
 http://www.racer-systems.com/


The Pellet OWL Reasoner 
One of the most popular description logics reasoner.
 http://www.mindswap.org/2003/pellet/





©2006 Philippe Fournier-Viger
Promote this website