Supporting early adoption of OWL 1.1 with Protégé-OWL and FaCT++
Matthew Horridge, Dmitry Tsarkov, Timothy Redmond · Research Explorer (The University of Manchester) · 2006
Abstract. This paper describes integrated tools support for OWL 1.1 in the form of the FaCT++ Description Logic reasoner and the Protégé-OWL ontology editor. Challenges of designing and implementing OWL 1.1 reasoning algorithms are highlighted, and an outline of an OWL 1.1 API and editing environment is provided. 1