ISSUE-37: RESOLVED: Explain term "axiom closure" in non-structural chapter

axiom closure

RESOLVED: Explain term "axiom closure" in non-structural chapter

State:

CLOSED

Product:

Raised by:

Peter Patel-Schneider

Opened on:

2007-10-25

Description:

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.

Related Actions Items:

No related actions

Related emails:

1. ISSUE-37 (axiom closure): REPORTED: Explain term 'axiom closure' in non-structural chapter (from sysbot+tracker@w3.org on 2007-10-25)

Related notes:

Display change log