W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

ISSUE-37 (axiom closure): REPORTED: Explain term "axiom closure" in non-structural chapter

From: OWL <sysbot+tracker@w3.org>
Date: Thu, 25 Oct 2007 08:16:11 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071025081611.680B66B5E9@tibor.w3.org>


ISSUE-37 (axiom closure): REPORTED: Explain term "axiom closure" in non-structural chapter

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Peter Patel-Schneider
On product: 

Reported by schn...@fzi.de, Oct 18 (6 days 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.
Received on Thursday, 25 October 2007 08:16:22 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:26 GMT