| Vocabulary Comparison Matrix | Proposal 1 | Proposal 2 | OWL Lite | ||||||||
| RDF Schema Features: | |||||||||||
| * Class (Thing, Nothing) | yes | yes | yes | ||||||||
| * rdfs:subClassOf | yes | yes | yes | ||||||||
| * rdf:Property | yes | yes | yes | ||||||||
| * rdfs:subPropertyOf | yes | yes | yes | ||||||||
| * rdfs:domain | yes | yes | yes | ||||||||
| * rdfs:range | yes | yes | yes | ||||||||
| * Individual | yes | yes | yes | ||||||||
| "Annotation" Properties: | |||||||||||
| * rdfs:label | yes | yes | yes | ||||||||
| * rdfs:comment | yes | yes | yes | ||||||||
| * rdfs:seeAlso | yes | yes | yes | ||||||||
| * rdfs:isDefinedBy | yes | yes | yes | ||||||||
| ADD FROM OWL | |||||||||||
| (In)Equality: | |||||||||||
| * equivalentClass | yes | yes | yes | ||||||||
| * equivalentProperty | yes | yes | yes | ||||||||
| * sameAs | yes | yes | yes | ||||||||
| * differentFrom | yes | yes | yes | ||||||||
| Property Characteristics: | |||||||||||
| * inverseOf | yes | yes | yes | ||||||||
| * TransitiveProperty | yes | yes | yes | ||||||||
| * SymmetricProperty | yes | yes | yes | ||||||||
| * FunctionalProperty | yes | yes | yes | ||||||||
| * InverseFunctionalProperty | yes | yes | yes | ||||||||
| * AnnotationProperty | no | yes | yes | ||||||||
| MAYBE: | |||||||||||
| * AllDifferent, distinctMembers | ? | ? | yes | Note: this is just syntatic sugar for "differentFrom" | |||||||
| * ObjectProperty | ? | yes | yes | ||||||||
| * DatatypeProperty | ? | ? | yes | ||||||||
| * disjointWith | ? | yes | no | ||||||||
| Class/Restriction/MISC | |||||||||||
| * complementOf | no | yes* | no | Note: complementOf is doable because we don't have class intersection or union | |||||||
| * oneOf | no | no | no | ||||||||
| * Restriction | no | no | yes | ||||||||
| * allValuesFrom, someValuesFrom | no | no | yes | ||||||||
| * minCardinality, maxCardinality | no | no | yes* | Note: cardinality can only be 0 or 1 for OWL LITE | |||||||
| * cardinality | no | no | yes* | ||||||||
| * unionOf | no | no | no | ||||||||
| * intersectionOf | no | no | yes | ||||||||
| * hasValue | no | no | no | ||||||||
| * DataRange | no | no | no | ||||||||
| Note: OWL DL/FULL has everything. | |||||||||||