OntologySummit2007 Survey/JohnSowa

From OntologPSMW
Revision as of 03:00, 9 January 2016 by KennethBaclawski (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
[ ]

Please make sure you refer to the Ontology Summit 2007 & OntologySummit2007_Survey pages for the full context of the input.        (1A1)


Question 1 Respondant Info     (1A2)

Name: John Sowa     (1A3)

Question 2 Affiliated - I am affiliated with the following constituencies/communities (please check all that apply)     (1A4)

[ ] Formal ontology communities     (1A5)

[ ] Semantic Web communities     (1A6)

[ ] Linguistic communities     (1A7)

[ ] Concept Map community     (1A8)

[ ] Topic Map community     (1A9)

[ ] SEARCH communities     (1A10)

[ ] Web 2.0 communities     (1A11)

[ ] Thesauri community     (1A12)

[ ] Taxonomy communities     (1A13)

[ ] Metadata communities     (1A14)

[ ] XML communities     (1A15)

[ ] Applications Development, Software Engineering and Information Model communities     (1A16)

[ ] System Architecture communities     (1A17)

[ ] Biomedical communities     (1A18)

[ ] Standards Development communities     (1A19)

[ ] Other (please specify): (Not Answered)     (1A20)

Question 2a Representing - I represent the perspective of the following constituency/community (please pick one; if you want to provide input from more than one perspective, please return a separate form):     (1A21)

[ ] 1. Formal ontology communities     (1A22)

[ ] 2. Semantic Web communities     (1A23)

[ ] 3. Linguistic communities     (1A24)

[ ] 4. Concept Map community     (1A25)

[ ] 5. Topic Map community     (1A26)

[ ] 6. SEARCH communities     (1A27)

[ ] 7. Web 2.0 communities     (1A28)

[ ] 8. Thesauri community     (1A29)

[ ] 9. Taxonomy communities     (1A30)

[ ] 10. Metadata communities     (1A31)

[ ] 11. XML communities     (1A32)

[ ] 12. Applications Development, Software Engineering and Information Model communities     (1A33)

[ ] 13. System Architecture communities     (1A34)

[ ] 14. Biomedical communities     (1A35)

[ ] 15. Standards Development communities     (1A36)

[ ] 16. Other (please specify): (Not Answered)     (1A37)

Question 2b Specific Community     (1A38)

or sub-community I am affiliated with: (Not Answered)     (1A39)

Question 2c Expertise Self Assessment - With respect to the perspective you are representing and providing input from, I am a/an:     (1A40)

[ ] 1. informed layman     (1A41)

[ ] 2. practitioner     (1A42)

[ ] 3. expert     (1A43)

[ ] 4. other (please specify): (Not Answered)     (1A44)

Question 3a Ontology Value -     (1A45)

"(Not Answered)"     (1A46)

Question 3b Ontology Issues -     (1A47)

"Following is a slightly edited note that I sent to some colleagues,     (1A48)

and it includes some discussions about issues that I believe are     (1A49)

very important. I hope that it may answer some of the questions,     (1A50)

but not in exactly the same categories as the questionnaire. And by     (1A51)

the way, the central language in the diagram is Common Logic, but     (1A52)

we are actually implementing the IKL extensions to CL, since we     (1A53)

require the metalanguage capability of IKL.     (1A54)

--John Sowa via e-mail / 28 Mar 2007 13:52:56 -0500 (EST)"     (1A55)

Question 3c Ontology Problems -     (1A56)

"(Not Answered)"     (1A57)

Question 3d Corresponding Solutions -     (1A58)

"(Not Answered)"     (1A59)

Question 4aGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A60)

Gloss: Common Logic     (1A62)

Reference (citation/url): http://cl.tamu.edu/     (1A63)

Artifact (name/version): IKL     (1A64)

- Artifact Ref. (url): (Not Answered)     (1A65)

Question 4a1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A66)

[ ] 1. 1 - totally unlikely     (1A67)

[ ] 2. 2 - rarely     (1A68)

[ ] 3. 3 - sometimes     (1A69)

[ ] 4. 4 - quite often     (1A70)

[ ] 5. 5 - almost always     (1A71)

Question 4a2 Additional Remarks -     (1A72)

"[Shown below (hyperlink)] is a .gif file, which may be useful     (1A73)

to clarify the relationships among the various languages we     (1A74)

have been discussing:     (1A75)

1. At the top are the human interfaces: controlled     (1A76)

natural languages in green and graphics in yellow.     (1A77)

CLCE is our version of Controlled English, but we     (1A78)

would encourage other people to develop other versions     (1A79)

of controlled NLs and other versions of graphical     (1A80)

interfaces.     (1A81)

2. In the middle is Common Logic, which is the ISO standard.     (1A82)

That is the hard interface to and from which all other     (1A83)

languages are translated. Three dialects of Common Logic     (1A84)

have been standardized by ISO, and they are shown in blue:     (1A85)

CGIF (Conceptual Graph Interchange Format), CLIF (Common     (1A86)

Logic Interchange Format), and XCL (an XML notation for     (1A87)

Common Logic).     (1A88)

3. At the bottom are logic-based languages used as machine     (1A89)

interfaces. This is an open-ended list, but I included     (1A90)

several as illustrations: SQL for relational databases,     (1A91)

OCL for the UML Object Constraint Language, Prolog, Datalog,     (1A92)

and the Semantic Web languages RDF(S), OWL, and RuleML.     (1A93)

At present, we have implemented the translators to support three     (1A94)

languages and the mappings between them: CLCE, CGIF, and Prolog.     (1A95)

We intend to implement others as we get the time and funding to do     (1A96)

so, but these three are the ones we are primarily using right now.     (1A97)

> The most interesting aspect of your diagram is what it tells us     (1A98)

> (and what it COULD tell us) about human cognition. What is it     (1A99)

> that makes the human interfaces more readable and comprehensible     (1A100)

> to humans than the machine interfaces?     (1A101)

That is a good question, which involves many issues of linguistics,     (1A102)

psychology, and human factors. We still do not have sufficient     (1A103)

guidelines for determining what really makes languages and graphics     (1A104)

readable and intelligible.     (1A105)

For some aspects, such as the type hierarchy, graphics have been     (1A106)

used as a supplement to logic since the Tree of Porphyry in the     (1A107)

3rd century AD. But it's not clear how to increase the expressive     (1A108)

power of the graphics without substantially reducing readability.     (1A109)

The UML approach of having a half-dozen different kinds of diagrams     (1A110)

is also interesting. Each one expresses a different view of aspects     (1A111)

of the logic and ontology. It would be interesting to explore     (1A112)

systematic ways of highlighting, zooming, and focusing on various     (1A113)

> The distinction is all the more striking because the human     (1A115)

> interfaces are "controlled" interfaces, capable of being     (1A116)

> unambiguously mapped to strict common logic. So they lack some     (1A117)

> of the richness, the ambiguity, the color, and the metaphor     (1A118)

> of unrestricted natural languages. Nevertheless, they are     (1A119)

> undeniably easier to read, expressed in more "human" terms,     (1A120)

> than the machine interface languages. I imagine the reasons     (1A121)

> for this difference have already been the subject of some     (1A122)

> serious study in the literature, but I suspect that there is     (1A123)

> room for considerably more.     (1A124)

Unfortunately, the people who address human factors and those     (1A125)

who focus on the expressive power of the logic are almost     (1A126)

completely disjoint. Furthermore, the journals and funding     (1A127)

agencies are partitioned in ways that have the effect of     (1A128)

keeping the skills disjoint.     (1A129)

> Parenthetically, I would SUSPECT that the distinction between     (1A130)

> human interface languages and machine language interfaces     (1A131)

> bears at least SOME relationship to the distinction between     (1A132)

> good technical writing in natural language and bad technical     (1A133)

> writing in natural language.     (1A134)

I certainly agree. In fact, my view of the combination of     (1A135)

CLCE with graphics is to approach the style of a well-written,     (1A136)

freshman-level textbook in math or science. CLCE would express     (1A137)

the precise definitions and axioms, the graphics tools would     (1A138)

present the illustrations, and the comments would provide     (1A139)

some of the background and motivation. At present, we are     (1A140)

not processing the comments, but we might consider using the     (1A141)

analogy engine to process the comments for help facilities     (1A142)

and explanations.     (1A143)

But there are many issues to be explored -- in human factors,     (1A144)

computability, and logical expressivity.     (1A145)

Question 4bGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A147)

Term: (Not Answered)     (1A148)

Gloss: (Not Answered)     (1A149)

Reference (citation/url): (Not Answered)     (1A150)

Artifact (name/version): (Not Answered)     (1A151)

- Artifact Ref. (url): (Not Answered)     (1A152)

Question 4b1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A153)

[ ] 1. 1 - totally unlikely     (1A154)

[ ] 2. 2 - rarely     (1A155)

[ ] 3. 3 - sometimes     (1A156)

[ ] 4. 4 - quite often     (1A157)

[ ] 5. 5 - almost always     (1A158)

Question 4b2 Additional Remarks -     (1A159)

"(Not Answered)"     (1A160)

Question 4cGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A161)

Term: (Not Answered)     (1A162)

Gloss: (Not Answered)     (1A163)

Reference (citation/url): (Not Answered)     (1A164)

Artifact (name/version): (Not Answered)     (1A165)

- Artifact Ref. (url): (Not Answered)     (1A166)

Question 4c1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A167)

[ ] 1. 1 - totally unlikely     (1A168)

[ ] 2. 2 - rarely     (1A169)

[ ] 3. 3 - sometimes     (1A170)

[ ] 4. 4 - quite often     (1A171)

[ ] 5. 5 - almost always     (1A172)

Question 4c2 Additional Remarks -     (1A173)

"(Not Answered)"     (1A174)

Question 4dGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A175)

Term: (Not Answered)     (1A176)

Gloss: (Not Answered)     (1A177)

Reference (citation/url): (Not Answered)     (1A178)

Artifact (name/version): (Not Answered)     (1A179)

- Artifact Ref. (url): (Not Answered)     (1A180)

Question 4d1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A181)

[ ] 1. 1 - totally unlikely     (1A182)

[ ] 2. 2 - rarely     (1A183)

[ ] 3. 3 - sometimes     (1A184)

[ ] 4. 4 - quite often     (1A185)

[ ] 5. 5 - almost always     (1A186)

Question 4d2 Additional Remarks -     (1A187)

"(Not Answered)"     (1A188)

Question 4eGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A189)

Term: (Not Answered)     (1A190)

Gloss: (Not Answered)     (1A191)

Reference (citation/url): (Not Answered)     (1A192)

Artifact (name/version): (Not Answered)     (1A193)

- Artifact Ref. (url): (Not Answered)     (1A194)

Question 4e1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A195)

[ ] 1. 1 - totally unlikely     (1A196)

[ ] 2. 2 - rarely     (1A197)

[ ] 3. 3 - sometimes     (1A198)

[ ] 4. 4 - quite often     (1A199)

[ ] 5. 5 - almost always     (1A200)

Question 4e2 Additional Remarks -     (1A201)

"(Not Answered)"     (1A202)

Question 4fGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A203)

Term: (Not Answered)     (1A204)

Gloss: (Not Answered)     (1A205)

Reference (citation/url): (Not Answered)     (1A206)

Artifact (name/version): (Not Answered)     (1A207)

- Artifact Ref. (url): (Not Answered)     (1A208)

Question 4f1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A209)

[ ] 1. 1 - totally unlikely     (1A210)

[ ] 2. 2 - rarely     (1A211)

[ ] 3. 3 - sometimes     (1A212)

[ ] 4. 4 - quite often     (1A213)

[ ] 5. 5 - almost always     (1A214)

Question 4f2 Additional Remarks -     (1A215)

"(Not Answered)"     (1A216)

Question 4gGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A217)

Term: (Not Answered)     (1A218)

Gloss (definition): (Not Answered)     (1A219)

Reference (citation/url): (Not Answered)     (1A220)

Artifact (name/version): (Not Answered)     (1A221)

- Artifact Ref. (url): (Not Answered)     (1A222)

Question 4g1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A223)

[ ] 1. 1 - totally unlikely     (1A224)

[ ] 2. 2 - rarely     (1A225)

[ ] 3. 3 - sometimes     (1A226)

[ ] 4. 4 - quite often     (1A227)

[ ] 5. 5 - almost always     (1A228)

Question 4g2 Additional Remarks -     (1A229)

"(Not Answered)"     (1A230)

Question 4hGlossary - Ontology-related 'vocabulary' and representative 'artifact' from your constituency or community:     (1A231)

Term: (Not Answered)     (1A232)

Gloss: (Not Answered)     (1A233)

Reference (citation/url): (Not Answered)     (1A234)

Artifact (name/version): (Not Answered)     (1A235)

- Artifact Ref. (url): (Not Answered)     (1A236)

Question 4h1 Called An Ontology - On a scale of 1 to 5, (where 1 means totally unlikely and 5 means almost always), would the above term or artifact be referred to as an "ontology" in your community?     (1A237)

[ ] 1. 1 - totally unlikely     (1A238)

[ ] 2. 2 - rarely     (1A239)

[ ] 3. 3 - sometimes     (1A240)

[ ] 4. 4 - quite often     (1A241)

[ ] 5. 5 - almost always     (1A242)

Question 4h2 Additional Remarks -     (1A243)

"(Not Answered)"     (1A244)

Question 5 Confirm Participation - where,     (1A245)

a 'convener' is a participant who provides substantive contribution to the Ontology Summit 2007     (1A246)

initiative (through the online discourse, this survey, and other events leading to or during     (1A247)

the workshops and the written communique process), and     (1A248)

a 'co-sponsor' is an organization who is providing technical or funding support (e.g. supporting     (1A249)

member(s) of its technical staff to participate as a 'convener'), and/or endorsing the objective     (1A250)

[ ] I agree that my name can be listed as a 'convener' of Ontology Summit 2007     (1A252)

[ ] I will consider endorsing the Ontology Summit 2007 communique. Please send it to me for     (1A253)

review when it is ready. I will confirm my endorsement after the review.     (1A254)

[ ] I confirm that you may list my organization as a 'co-sponsor' for     (1A255)

Question 5a Co-Sponsor confirmation:     (1A257)

Organization Name: (Not Answered)     (1A258)

Link (url) to Logo: (Not Answered)     (1A259)



This page has been migrated from the OntologWiki - Click here for original page     (1A260)

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox
Share