In Contextual Judgment Logic, Sowa’s conceptual graphs (understood as graphically structured judgments) are made mathematically explicit as concept graphs which represent information formally based on a power context family and rhetorically structured by relational graphs. The conceptual content of a concept graph is viewed as the information directly represented by the graph together with the information deducible from the direct information by object and concept implications coded in the power context family. The main result of this paper is that the conceptual contents can be derived as extents of the so-called conceptual information context of the corresponding power context family. In short, the conceptual contents of judgments are formally derivable as concept extents. 1 Information in Contextual Judgment Logic In this paper, information in the scope of Conceptual Knowledge Processing shall be understood in the same way as in Devlin’s book “Infosense Turning Information into Knowledge” [De99]. Devlin briefly summarizes his understanding of information and knowledge by the formulas: Information = Data + Meaning Knowledge = Internalized information + Ability to utilize the information Through Devlin’s understanding it becomes clear that Formal Concept Analysis [GW99] enables to support the representation and processing of information and knowledge as outlined in [Wi02a]. Since Contextual Logic [Wi00] with its semantics is based on Formal Concept Analysis, it is desirable to make also explicit why and how Contextual Logic may support the representation and processing of information and knowledge. In this paper, we concentrate on approaching this aim for Contextual Judgment Logic [DK03]. In Contextual Judgment Logic, judgments understood as asserting propositions are formally mathematized by so-called concept graphs which have been semantically introduced in [Wi97] as mathematizations of Sowa’s conceptual graphs [So84]. Since judgments are philosophically conceived as assertional combinations of concepts, their mathematizatzion is based on formal concepts of formal contexts (introduced in [Wi82]): The semantical base is given by a power A. de Moor, W. Lex, and B. Ganter (Eds.): ICCS 2003, LNAI 2746, pp. 1–15, 2003. c © Springer-Verlag Berlin Heidelberg 2003
[1]
John F. Sowa,et al.
Knowledge representation: logical, philosophical, and computational foundations
,
2000
.
[2]
Robert Levinson,et al.
Symmetry and the Computation of Conceptual Structures
,
2000,
ICCS.
[3]
Philippe Martin.
The WebKB Set of Tools: A Common Scheme for Shared WWW Annotations, Shared Knowledge Bases and Information Retrieval
,
1997,
ICCS.
[4]
D. Corbett.
Reasoning and Unification over Conceptual Graphs
,
2003,
Springer US.
[5]
Guy W. Mineau.
A First Step toward the Knowledge Web : Interoperability Issues among Conceptual Graph Based Software Agents, Part I
,
2002,
ICCS.
[6]
Harry S. Delugach,et al.
Using Conceptual Graphs to Capture Semantics of Agent Communication
,
2003,
ICCS.
[7]
John F. Sowa,et al.
Conceptual Structures: Information Processing in Mind and Machine
,
1983
.
[8]
Bruce R. Schatz,et al.
The Interspace: Concept Navigation Across Distributed Communities
,
2002,
Computer.
[9]
Adil Kabbaj,et al.
From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language
,
2000,
ICCS.
[10]
Aldo de Moor,et al.
Applying Conceptual Graph Theory to the User-Driven Specification of Network Information Systems
,
1997,
ICCS.
[11]
Finnegan Southey,et al.
Notio - A Java API for Developing CG Tools
,
1999,
ICCS.