| http://www.w3.org/ns/prov#value | - The following is an example which uses some of the typical modeling features available in OWL 2 QL. The first axiom states that every childless person is a person for which there does not exist another person which has the first person as parent.
|
