search

sesuncedu / owl1-1

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

Explain term "axiom closure" in non-structural chapter #57

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
In chapter 7, "Nonstructural Restrictions" of the "Functional Syntax" document

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

the term "axiom closure" is used without explanation. The term is in fact
defined in chapter 3, "Ontologies", of the same document, but only used
there and in chapter 7.

Suggestion: To avoid confusion, add a reference to chapter 3 after the
first use of the term within chapter 7.

Anecdote: Without knowing the correct definition of this term, I always
thought it was meant to be the "set of all entailable axioms" in an
ontology. This is totally wrong, and such a misunderstanding might be
dangerous.

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

GoogleCodeExporter commented 9 years ago

Original comment by pfpschne...@gmail.com on 25 Oct 2007 at 8:16