# RDF plus OWL

See [https://www.w3.org/RDF/](https://www.w3.org/RDF/)
plus [https://www.w3.org/OWL/](https://www.w3.org/OWL/)

## Theories
- [owl:AllDifferent](owl-AllDifferent.n3)
- [owl:AllDisjointClasses](owl-AllDisjointClasses.n3)
- [owl:AllDisjointProperties](owl-AllDisjointProperties.n3)
- [owl:AsymmetricProperty](owl-AsymmetricProperty.n3)
- [owl:FunctionalProperty](owl-FunctionalProperty.n3)
- [owl:InverseFunctionalProperty](owl-InverseFunctionalProperty.n3)
- [owl:IrreflexiveProperty](owl-IrreflexiveProperty.n3)
- [owl:NegativePropertyAssertion](owl-NegativePropertyAssertion.n3)
- [owl:Nothing](owl-Nothing.n3)
- [owl:SymmetricProperty](owl-SymmetricProperty.n3)
- [owl:TransitiveProperty](owl-TransitiveProperty.n3)
- [owl:allValuesFrom](owl-allValuesFrom.n3)
- [owl:complementOf](owl-complementOf.n3)
- [owl:differentFrom](owl-differentFrom.n3)
- [owl:disjointUnionOf](owl-disjointUnionOf.n3)
- [owl:disjointWith](owl-disjointWith.n3)
- [owl:distinctMembers](owl-distinctMembers.n3)
- [owl:equivalentClass](owl-equivalentClass.n3)
- [owl:equivalentProperty](owl-equivalentProperty.n3)
- [owl:hasKey](owl-hasKey.n3)
- [owl:hasValue](owl-hasValue.n3) ([alternate](x-owl-hasValue.n3))
- [owl:intersectionOf](owl-intersectionOf.n3)
- [owl:inverseOf](owl-inverseOf.n3)
- [owl:maxCardinality](owl-maxCardinality.n3)
- [owl:maxQualifiedCardinality](owl-maxQualifiedCardinality.n3)
- [owl:oneOf](owl-oneOf.n3)
- [owl:propertyChainAxiom](owl-propertyChainAxiom.n3)
- [owl:propertyDisjointWith](owl-propertyDisjointWith.n3)
- [owl:sameAs](owl-sameAs.n3) ([extended](owl-sameAs-ext.n3))
- [owl:someValuesFrom](owl-someValuesFrom.n3)
- [owl:unionOf](owl-unionOf.n3)
- [rdfs:domain](rdfs-domain.n3)
- [rdfs:range](rdfs-range.n3)
- [rdfs:subClassOf](rdfs-subClassOf.n3)
- [rdfs:subPropertyOf](rdfs-subPropertyOf.n3)
