Pellet: An OWL DL Reasoner

Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the DL fragment of the Web Ontology Language (OWL). However, existing DL reasoners were implemented long before OWL came into existence and lack some features that are essential for Semantic Web applications, such as reasoning with individuals, querying capabilities, nominal support, elimination of the unique name assumption and so forth. With these objectives in mind we have implemented an OWL DL reasoner and deployed it in various kinds of applications.

• Type: Conference
• Year: 2004
• Where: DLOG
• Authors: Evren Sirin, Bijan Parsia
• Keywords: Automated Reasoning, Dl Reasoner, DLOG 2004, Owl Dl Reasoner, Semantic Web