SUO: RE: Comment #5 ''Characterizing Axioms"
This message from Mike Uschold bounced, so here it is again:
I agree with Nicola's remark. I have no reason to suppose that each
definition will have anywhere like the same number of axioms defining it.
I believe the intent of that remark is to be surer that there is a
significant
amout o fmeaning specified for each term, not to estimate how many, nor
to suggest that each term wil have a similar number of definitional
statements.
In practice it usually varies a lot.
Mike
------------------------
SUO,
Let's now discuss the comment from Nicola Guarino
[Nicola.Guarino@ladseb.pd.cnr.it].
I believe the specific suggestion is to change "...roughly ten
definitional statements..." to "...some characterizing axioms...".
This comment relates to #4 "Structural Axioms."
Jim Schoening
================================================
Nicola Guarino voted YES, with this being one of the comments:
>Scope of Proposed Project:
>(The Scope describes what is being done, including the technical boundaries
>of the project.)
>This standard will specify the syntax and semantics of a general-purpose
>upper level ontology. An ontology is a set of terms and formal definitions.
>This will be limited to the upper level, which provides definition for
>general-purpose terms and provides a structure for compliant lower level
>domain ontologies. It is estimated to contain between 1000 and 2500 terms
>plus roughly ten definitional statements for each term.
...plus some characterizing axioms for each term [in general, they
will not be "definitional"]
====End of Comment ===========================================
The original Scope and Purpose is as follows:
Scope of Proposed Project:
(The Scope describes what is being done, including the technical boundaries
of the project.)
This standard will specify the syntax and semantics of a general-purpose
upper level ontology. An ontology is a set of terms and formal definitions.
This will be limited to the upper level, which provides definition for
general-purpose terms and provides a structure for compliant lower level
domain ontologies. It is estimated to contain between 1000 and 2500 terms
plus roughly ten definitional statements for each term. It is intended to
provide the foundation for ontologies of much larger size and more specific
scope.
Purpose of Proposed Project:
(The Purpose describes why the standard needs to be developed and who will
benefit.)
* The standard will be suitable for automated logical inference to
support knowledge-based reasoning applications.
* This standard will enable the development of a large (20,000+)
general-purpose standard ontology of common concepts to be developed, which
will provide the basis for middle-level domain ontologies and lower-level
application ontologies.
* The ontology will be suitable for "compilation" to more restricted
forms such as XML or database schema. This will enable database developers
to define new data elements in terms of a common ontology, and thereby gain
some degree of interoperability with other compliant systems.
* Owners of existing systems will be able to map existing data
elements just once to a common ontology, and thereby gain a degree of
interoperability with other representations that are compliant with the SUO.
* Domain-specific ontologies which are compliant with the SUO will be
able to interoperate (to some degree) by virtue of the shared common terms
and definitions.
* Applications of the ontology will include:
* E-commerce applications from different domains which need to
interoperate at both the data and semantic levels.
* Educational applications in which students learn concepts and
relationships directly from, or expressed in terms of, a common ontology.
This will also enable a standard record of learning to be kept.
* Natural language understanding tasks in which a knowledge based
reasoning system uses the ontology to disambiguate among likely
interpretations of natural language statements.
===============