| http://www.w3.org/ns/prov#value | - Since OWL 1.1 is an extension of OWL DL, this document also provides a formal semantics for OWL Lite and OWL DL and it is equivalent to the definition given in [<cite>[[#ref-owl-abstract-syntax-and-semantics|OWL Abstract Syntax and Semantics]]</cite>].
|