There was some discussion in another forum about enabling domain
experts to correct and extend ontologies by using only terminology
and notations that are widely used by experts in the domain. (01)
Below is an excerpt from a longer note I wrote to that forum. (02)
-------- Original Message --------
Subject: Re: [ontology-summit] Criteria for evaluating ontologies at
different levels
Date: Mon, 31 Dec 2012 13:58:16 -0500
From: John F Sowa (03)
An example from the ontology for High Quality Data Models: (04)
HQDM
>> kind_of_activity
>> A class_of_activity all of whose members are of the same kind. (05)
JFS
>> Much simpler:
>> kind_of_activity: a one-place relation that is true of every activity
>> of the same kind. (06)
MW
> I disagree. Class_of_activity is the supertype of kind_of_activity, and
> you leave no place for it. For end users, class is much easier to relate to
> than one place relations, which is a logic view point. I would not wish to
> burden users with that. I might not choose class if I had my time again, but
> in ISO 15926 that is history now, and changing it would be more confusing
> than leaving it the same. (07)
There are four separate issues in that comment: (08)
1. What is the simplest metalanguage for talking about ontology and
its mapping to logic? (09)
2. How do you define and explain types and subtypes in ways that are
logically sound and pedagogically effective for most people. (010)
3. How do we design a good user interface and explain it to domain
experts who have never studied logic or ontology? (011)
4. How are these issues related to specific ISO standards? (012)
I answered question #1 in my previous note. The short summary is that
all the mainstream logic notations are based on four kinds of primitive
notions: relations (or predicates), quantifiers, variables (or names
or some graphic equivalent), and Boolean operators. Everything else
can be defined in terms of these four. (013)
Aristotle answered question #2 in a form that is widely used today:
assign a noun phrase to each category (monadic relation) in ontology.
In the 3rd century AD, Porphyry organized the categories in a tree
and introduced the drawing conventions we still use today. (014)
In the 1940s, Sister Miriam Joseph taught that logic to freshman
English majors with a popular and widely reprinted textbook: (015)
Joseph, Sister Miriam. The Trivium: The Liberal Arts of Logic,
Grammar, and Rhetoric. Paul Dry Books. (Available for $16.11) (016)
I recommended this book as a good introduction to ontology and knowledge
representation, and Pat Hayes agreed. I also recommend the style of
writing in that book for anybody who is teaching an intro to ontology. (017)
For question #3, my recommendation is to develop tools that use the same
terminology and diagrams that the domain experts use. That means that
we need tools that can support controlled NLs and widely used graphics.
The tools should support methods for tailoring the graphics by adapting
symbols, shapes, and styles to the conventions of any special domain. (018)
For question #4, we cannot change any official standard. But we can
recommend mappings of the standards to and from the notations above. (019)
An example of Sister Miriam's style: (020)
SMJ
> A young man tells a young woman, "When I look into your eyes,
> time stands still."
>
> Another man tells her, "You have a face that would stop a clock." (021)
This illustrates the difference between the logical implications
of a statement and its idiom and emotional effect. She quotes
Shakespeare and other authors to illustrate complex and subtle
logical and philosophical notions. (022)
John (023)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (024)
|