Using Reasoners

From Protege Wiki
Revision as of 14:59, April 18, 2008 by TaniaTudorache (talk | contribs) (New page: <br /> <span style="font-size:18px; font-weight:bold;">Using DL reasoners in Protege-OWL</span> <em>This tutorial assumes a basic working knowledge of Protege-OWL. Please refer first to ...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Using DL reasoners in Protege-OWL


This tutorial assumes a basic working knowledge of Protege-OWL. Please refer first to the Protege-OWL Tutorial section 4.9 Using a Reasoner. This page explains some additions (e.g. the direct reasoner) that occurred after the publication of the Protege-OWL tutorial.