The Artificial Intelligence Directory: Description Logics

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/

Submit a website to this category