Web Ontology Language
Logic-based language for rich ontologies. Complex class descriptions, restrictions, and automated reasoning.
Visit WebsiteBrowse the class tree, filter it, and select any class to see its subtree.
When and where you'd use this ontology in practice.
Author formal domain ontologies with reasoning
Automated consistency checking of knowledge bases
Inference and classification over RDF data
Define complex class restrictions and axioms
This licence label has not been independently verified against the licence text. Check the ontology's own site before relying on it.
Other ontologies in Web Standards.