John F. Sowa

"Taxonomy is a Greek word which means an arrangement based on any kind of law or principle."

"The word ontology comes from the Greek ontos for being and logos for word. It is a relatively new term in the long history of philosophy, introduced by the 19th century German philosophers to distinguish the study of being as such from the study of various kinds of beings in the natural sciences. The traditional term for the types of beings is Aristotle's word category, which he used for classifying anything that can be said or predicated about anything."

"Soon, the enterprise of the information age will find itself immobilized if it does not have the ability to tap the information resources within and without its boundaries."

"A conceptual graph is a finite connected bipartite graph which consists of concepts and conceptual relations. Every conceptual relation has one or more arcs, each of which is linked to a concept. We define a multilevel conceptual graph to be a conceptual graph in which some of the concepts and conceptual relations arc sensitive."

"We define a semantic network as "the collection of all the relationships that concepts have to other concepts, to percepts, to procedures, and to motor mechanisms" of the knowledge"."

"To distinguish the meaningful graphs that represent real or possible situations in the external world, certain graphs are declared to be canonical."

"An analysis of the concept of mind is an important philosophical issue, but the analysis cannot be reduced to programming of physiological terms... [It remarks the importance of the question] the way people think and the way computers can simulate thinking."

"Conceptual graphs are system of logic based on the existential graphs of Charles Sanders Peirce and the semantic networks of artificial intelligence. The purpose of the system is to express meaning in a form that is logically precise, humanly readable, and computationally tractable. With their direct mapping to language, conceptual graphs can serve as an intermediate language for translating computer-oriented formalisms to and from natural languages. With their graphic representation, they can serve as a readable, but design and specification language."

"[The goal of the LOT (lattice of theories) is to create a framework] which can support an open-ended number of theories (potentially infinite) organized in a lattice together with systematic metalevel techniques for moving from one to another, for testing their adequacy for any given problem, and for mixing, matching, combining, and transforming them to whatever form is appropriate for whatever problem anyone is trying to solve."

"Conceptual graphs (CGs) (Sowa 1976; 1984) and fuzzy logic (Zadeh 1965; 1975a) are two logical formalisms that emphasize the target of natural language, each of which is focused on one of the two mentioned desired features of a logic for handling natural language. Conceptual graphs, based on semantic networks and Peirce's existential graphs, combine the visual advantage of graphical languages and the expressive power of logic."

"Sowa (1984) argued that 'Peirce logic', cited by its founder as 'the logic of the future', significantly enhances traditional predicate logic. One aspect of this improvement is, like conceptual graphs, the visual nature of Peirce logic."

"Sowa (1992) observed that various kinds of semantics networks had been developed for multiple purposes, ranging from modeling human cognitive mechanisms to optimizing computational efficiency. He commented that computational motivations had occasionally produced the same network as psychological purposes."

"In 1992, the Zachman framework was extended by Zachman and Sowa (1992). In addition to answering the final three questions, they introduce the conceptual graph to represent the ISA and replace the “model of the information system” with the more generic system model reference for row 3 or the designer perspective."

"Among the formal graphical methods are Frege's (1879) Begriffsschrift, Peirce's (1909) existential graphs, and Sowa's (1984) conceptual graphs. These three are based in first-order predicate logic."