My favorites | Sign in
Project Logo
                
Search
for
Updated Aug 17, 2007 by bparsia
Labels: Featured
Implementations  
List of implementations claiming to support OWL 1.1

Name Type Maturity Coverage Comment
Protege Editor Alpha Complete Uses OWL API; connects directly to Pellet or FaCT++
SWOOP Editor Experimental Browse only, old syntax OWL 1.1 branch defunct
OWLSight Browser pre-Alpha Complete Uses OWL API; Pellet backend
Pellet 1.4 Reasoner Final release No nary datatypes
FaCT++ Reasoner ?? ??
TopBraid Composer 2.0 Editor Final release?? ?? Bundles Pellet
OWL API API ?? Complete

Other OWL implementations may support OWL 1.1 features, but perhaps not the specific syntax (though this might be a namespace change away). For example, both RacerPro and KAON2 support qualified number restrictions.


Sign in to add a comment
Hosted by Google Code