John F. Sowa

Sowa received a BS in mathematics from Massachusetts Institute of Technology in 1962, an MA in applied mathematics from Harvard University in 1966, and a PhD in computer science from the Vrije Universiteit Brussel in 1999 with a dissertation titled "Knowledge Representation: Logical, Philosophical, and Computational Foundations".Andreas Tolk, Lakhmi C. Jain (2011) Intelligent-Based Systems Engineering. p.xxi

Sowa spent most of his professional career at IBM, starting in 1962 at IBM's applied mathematics group. Over the decades he has researched and developed emerging fields of computer science from compilers, programming languages, and system architectureJohn F. Sowa and John Zachman (1992). [http://www.research.ibm.com/journal/sj/313/sowa.pdf "Extending and Formalizing the Framework for Information Systems Architecture"] In: IBM Systems Journal, Vol 31, no.3, 1992. p. 590-616. to artificial intelligence and knowledge representation. In the 1990s Sowa was associated with the IBM Educational Center in New York. Over the years he taught courses at the IBM Systems Research Institute, Binghamton University, Stanford University, the Linguistic Society of America and the Université du Québec à Montréal. He is a fellow of the Association for the Advancement of Artificial Intelligence.

After early retirement at IBM, Sowa in 2001 cofounded VivoMind Intelligence, Inc. with Arun K. Majumdar. With this company he was developing data-mining and database technology, more specifically high-level "ontologies" for artificial intelligence and automated natural language understanding. Currently Sowa is working with Kyndi Inc., also founded by Majumdar.

John Sowa is married to the philologist Cora Angier Sowa,Cora Angier Sowa (1984) Traditional themes and the Homeric hymns. p.iv and they live in Croton-on-Hudson, New York.

Sowa's research interests since the 1970s were in the field of artificial intelligence, expert systems and database query linked to natural languages. In his work he combines ideas from numerous disciplines and eras modern and ancient, for example, applying ideas from Aristotle, the medieval scholastics to Alfred North Whitehead and including database schema theory, and incorporating the model of analogy of Islamic scholar Ibn Taymiyyah in his works.[http://www.jfsowa.com/pubs/analog.htm Analogical Reasoning]

{{main|Conceptual graph}}

Sowa invented conceptual graphs, a graphic notation for logic and natural language, based on the structures in semantic networks and on the existential graphs of Charles S. Peirce. He introduced the concept in the 1976 article "Conceptual graphs for a data base interface" in the IBM Journal of Research and Development.{{cite journal |last=Sowa |first= John F. |date=July 1976 |title=Conceptual Graphs for a Data Base Interface |journal=IBM Journal of Research and Development |volume=20 |issue=4 |pages=336–357 |url=http://www.research.ibm.com/journal/rd/204/ibmrd2004E.pdf |archive-url=https://web.archive.org/web/20060713193846/http://www.research.ibm.com/journal/rd/204/ibmrd2004E.pdf |archive-date=2006-07-13 |url-status=live |doi=10.1147/rd.204.0336}} He elaborated upon it in the 1983 book Conceptual structures: information processing in mind and machine.

In the 1980s, this theory had "been adopted by a number of research and development groups throughout the world. International conferences on conceptual structures (ICCS) have been held since 1993, following a series of conceptual graph workshops that began in 1986.{{cite web|title=International Conferences on Conceptual Structures|url=http://conceptualstructures.org/confs.htm|website=Conceptual Structures|access-date=21 March 2017}}

In 1991, Sowa first stated his Law of Standards:

: "Whenever a major organization develops a new system as an official standard for X, the primary result is the widespread adoption of some simpler system as a de facto standard for X."[http://www.jfsowa.com/computer/standard.htm Law of Standards]

Like Gall's law, The Law of Standards is essentially an argument in favour of underspecification. Examples include:

• The introduction of PL/I resulting in COBOL and FORTRAN becoming the de facto standards for business and scientific programming respectively
• The introduction of Algol-68 resulting in Pascal becoming the de facto standard for academic programming
• The introduction of the Ada language resulting in C becoming the de facto standard for US Department of Defense programming
• The introduction of OS/2 resulting in Windows becoming the de facto standard for desktop OS
• The introduction of X.400 resulting in SMTP becoming the de facto standard for electronic mail
• The introduction of X.500 resulting in LDAP becoming the de facto standard for directory services

• 1984. Conceptual Structures - Information Processing in Mind and Machine. The Systems Programming Series, Addison-Wesley[http://conceptualstructures.org/ Conceptual Structures Home Page]. Retrieved Nov 23, 2012.
• 1991. Principles of Semantic Networks. Morgan Kaufmann.
• {{Cite book| editor1-last = Mineau | editor1-first = Guy W| editor2-last = Moulin | editor2-first = Bernard| editor3-last = Sowa | editor3-first = John F | editor3-link = John F. Sowa| title = Conceptual Graphs for Knowledge Representation| doi = 10.1007/3-540-56979-0| series = LNCS| volume = 699| year = 1993| isbn = 978-3-540-56979-4| s2cid = 32275791}}
• 1994. International Conference on Conceptual Structures (2nd : 1994 : College Park, Md.) Conceptual structures, current practices : Second International Conference on Conceptual Structures, ICCS'94, College Park, Maryland, USA, August 16–20, 1994 : proceedings. William M. Tepfenhart, Judith P. Dick, John F. Sowa, eds.
• {{Cite book| editor1-last = Ellis | editor1-first = Gerard| editor2-last = Levinson | editor2-first = Robert| editor3-last = Rich | editor3-first = William| editor4-last = Sowa | editor4-first = John F | editor4-link = John F. Sowa| doi = 10.1007/3-540-60161-9| title = Conceptual Structures: Applications, Implementation and Theory| series = LNCS| volume = 954| year = 1995| isbn = 978-3-540-60161-6| s2cid = 27300281}}
• {{Cite book| editor1-last = Lukose | editor1-first = Dickson| editor2-last = Delugach | editor2-first = Harry| editor3-last = Keeler | editor3-first = Mary| editor4-last = Searle | editor4-first = Leroy| editor5-last = Sowa | editor5-first = John | editor5-link = John F. Sowa| doi = 10.1007/BFb0027865| title = Conceptual Structures: Fulfilling Peirce's Dream| series = LNCS| volume = 1257| year = 1997| isbn = 3-540-63308-1| s2cid = 1934069}}
• 2000. Knowledge representation : logical, philosophical, and computational foundations, Brooks Cole Publishing Co., Pacific Grove[http://www.jfsowa.com/krbook/ Knowledge Representation: Logical, Philosophical, and Computational Foundations] at jfsowa.com. Retrieved Nov 23, 2012.

;Articles, a selection{{DBLP|name=John F. Sowa}}

• {{Cite journal| last1 = Sowa | first1 = J. F. | author1-link = John F. Sowa| title = Conceptual Graphs for a Data Base Interface| doi = 10.1147/rd.204.0336| journal = IBM Journal of Research and Development| volume = 20| issue = 4| pages = 336–357| date=July 1976 }}
• {{Cite journal| last1 = Sowa | first1 = J. F. | author1-link = John F. Sowa| last2 = Zachman | first2 = J. A.| doi = 10.1147/sj.313.0590| title = Extending and formalizing the framework for information systems architecture| journal = IBM Systems Journal| volume = 31| issue = 3| pages = 590–616| year = 1992}}
• 1992. "[http://www.jfsowa.com/cg/cgif.htm Conceptual Graph Summary]"; In: T.E. Nagle et al. (Eds.). Conceptual Structures: Current Research and Practice. Chichester: Ellis Horwood.
• 1995. "Top-level ontological categories." in: International journal of human-computer studies. Vol. 43, Iss. 5–6, Nov. 1995, pp. 669–685
• 2006. "Semantic Networks". In: Encyclopedia of Cognitive Science.. John Wiley & Sons.

{{reflist}}

{{Wikiquote}}

• [http://www.jfsowa.com/ John F. Sowa] homepage

{{Authority control}}

{{DEFAULTSORT:Sowa, John}}

Category:1940 births

Category:Artificial intelligence researchers

Category:Knowledge representation

Category:Living people

Category:People from Croton-on-Hudson, New York

Category:Harvard John A. Paulson School of Engineering and Applied Sciences alumni

Category:Binghamton University faculty

Category:Massachusetts Institute of Technology School of Science alumni

Category:Vrije Universiteit Brussel alumni

Category:Fellows of the Association for the Advancement of Artificial Intelligence