eye

RDF plus OWL

See https://www.w3.org/RDF/ plus https://www.w3.org/OWL/

Theories

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

This site is open source. Improve this page.