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

 
Ask questions to experts in the
Artificial Intelligence Forum or the Data Mining Forum

Recent Messages

Warning: Cannot modify header information - headers already sent by (output started at /homepages/19/d172206280/htdocs/ai-directory/index.php:45) in /homepages/19/d172206280/htdocs/ai-directory/forum/include/api/user.php on line 2628

Warning: Cannot modify header information - headers already sent by (output started at /homepages/19/d172206280/htdocs/ai-directory/index.php:45) in /homepages/19/d172206280/htdocs/ai-directory/forum/include/api/user.php on line 2630
There are no recent messages
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-2014 Philippe Fournier-Viger
Promote this website