Web Ontology Language
Logic-based language for rich ontologies. Complex class descriptions, restrictions, and automated reasoning.
Visit WebsiteBrowse the tree, filter it, or click any class to see just its corner of it.
Where this one tends to earn its keep.
Author formal domain ontologies with reasoning
Automated consistency checking of knowledge bases
Inference and classification over RDF data
Define complex class restrictions and axioms
I haven't checked this label against the actual licence text — it's the catalogue's original guess. Check the ontology's own site before you rely on it.
Others worth a look in Web Standards.