OWL Cheatsheet
Unique Features
- Formal ontology language for representing knowledge in a machine-readable format
- Based on Description Logic, a subset of first-order logic
- Supports rich modeling of concepts and relationships between them
- Used in artificial intelligence, bioinformatics, and semantic web applications
Classes
Class: class_name
Properties
ObjectProperty: property_name
DatatypeProperty: property_name
AnnotationProperty: property_name
Individuals
Individual: individual_name
Class Expressions
Class: class_expression_name
EquivalentTo: class_expression
Property Expressions
ObjectProperty: property_expression_name
EquivalentTo: property_expression
Axioms
SubClassOf: class_expression1 class_expression2
EquivalentClasses: class_expression1 class_expression2
SubObjectPropertyOf: property_expression1 property_expression2
EquivalentObjectProperties: property_expression1 property_expression2
Annotations
AnnotationProperty: annotation_property_name
AnnotationAssertion: annotation_property_name(individual_name "annotation_value")
Resources