sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

"Nonstructural Restrictions" chapter need clarification #52

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
Chapter 7, "Nonstructural Restrictions on Axioms" in the OWL-1.1 draft

  <http://www.webont.org/owl/1.1/owl_specification.html#7>

should be clarified regarding the question, which combinations of the
listed restrictions are allowed for "simple" properties (answer: all
combinations), and which combinations are allowed for non-simple properties
(answer: no restrictions are allowed). This seems not perfectly clear from
the text.

See: <http://lists.w3.org/Archives/Public/public-owl-dev/2007OctDec/0055.html>

Original issue reported on code.google.com by schn...@fzi.de on 13 Oct 2007 at 6:25

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 25 Oct 2007 at 4:54