Implementations - owl1-1 - List of implementations claiming to support OWL 1.1

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.