<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Visualizing the Shadows of Information</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Martin Bertram</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sascha Ko¨hn</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Thies Ba¨hr</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Bertin Klein</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Rolf van Lengen</string-name>
        </contrib>
      </contrib-group>
      <abstract>
        <p>Three-dimensional visualization facilitates human perception, imagination, and reasoning based on computer-represented knowledge. Since human imagination and reasoning is based on 3D-shapes, the presentation and validation of knowledge is most efficiently performed with the aid of geometric shapes. Thus, we propose the use of visualization methods in knowledge management, supporting qualitative information by quantitative data that is simpler to explore. We support our thesis by a case study modeling the ontology of a human heart. This work connects the areas of human knowledge as philosophical ontology and knowledge management as ontology in artificial intelligence.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1 Introduction</title>
      <p>
        When Plato presented his allegory of the cave, he had in mind the perception of
reality by human observers. Knowledge management considers a digital version of reality,
necessarily assuming that “what exists” coincides only with “what can be represented”
[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. However, often human perception does not match with the digital knowledge
representation. We propose the use of visualization methods to improve computer-represented
knowledge to reach human minds.
      </p>
      <p>A human observer who is trained to perceive objects by observing their shadows would
be reluctant to look at the real objects, so Plato argued. A reason for this might be that
real objects are too difficult to handle and that two-dimensional shadows showing only the
essential contours are optimal for efficient recognition and assimilation by an observer.
Analogously, we can optimize the perception of computer-based knowledge
representations by transforming them into “shadows”. Three-dimensional visualization methods are
most effective for this, since human observers are well trained to reason in three
dimensions, see figure 1. Thus, visualization is a “knowledge technique” coming close to human
reasoning.</p>
      <p>
        Peirce already proposed to “make exact experiments upon uniform diagrams” as a means
of replacing “experiments upon real things that one performs in chemical and physical
research.” [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Consequently, visualization –if only viewed as a generalization of diagrams–
allows to experiment with knowledge and elicit new and implicit knowledge.
Experimenting with entities in a three-dimensional representation could be transferred to
the visual verification of reasonable shapes, their intersections or connections, and their
spatial relations to each other. This supports our assumption that it is useful to perform
experiments in the areas of knowledge management and philosophy with the help of
interactive visualization.
      </p>
      <p>Certainly, visualization raises new issues, mainly because the visualization machinery
requires to make commitments. There is also the potential of inconsistencies. Another issue
is that visualized models bypass certain senses of suspicion of human viewers. Humans
simply tend to believe what they see. Validation of perceived and represented knowledge
is necessary.
On the other hand, visualization is very often an extremely useful instrument for the
verification of the results of model constructions, like ontologies. For our case-study below,
we needed to model the human heart, the result of which is sometimes hard to evaluate
as long as it is formally described. Having the model visualized immediately reveals its
validity.</p>
      <p>
        Visualization simplifies and accelerates the transformation of digital data into knowledge,
see figure 2. A major challenge is the visual display of quantitive information [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] widely
used in knowledge management systems with ontological structures [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. We propose the
semi-automatic generation of three-dimensional geometric models from qualitative and
quantitive data. The next section shortly describes the representation of knowledge. The
construction of a 3D-model is dealt with in the third section. We support this approach
by a case study of a virtual echocardiography tutoring system in section four, followed by
some concluding remarks.
The most important task of knowledge management is to allow a human user to gain
knowledge and to draw conclusions. Visualization techniques provide the important
interface between man and machine in this process. This holds especially for the querying of
specific information out of a large data sources. Presenting requested bits of information
to a user requires to construct a three-dimensional geometric model. The geometry, which
carries the information, can be interactively explored by the user, tuned to his cognitive
excellence.
      </p>
      <p>In a sense, we reverse the process of constructing models from nature, constructing
“shadows” of nature from models, see figure 3. This has an impact on the modeling and
representation of information, since the direction of this process must be reversed.
In the following, we use the term “knowledge” exclusively associated with human
intelligence. A computer system can only produce knowledge by interaction with humans. The
data stored in such a system, intended to spend knowledge is called “information”.
Data acquisition is the process of gathering information, digitizing it and storing it in some
kind of data base. There may exist many different, unstructured data segments originating
from different sources associated with different applications. In particular, we distinguish
between data of qualitative and quantitive type.</p>
      <p>Qualitative data can be described by a set of classes and instances thereof with certain
attributes and relationships. The latter are described by one or multiple graphs connecting
the individual nodes (classes or instances).</p>
      <p>Quantitive data sets mostly describe mathematical functions mapping a domain D into a
range R. The simplest type of qualitative data is a real or integer number. Continuous
functions can only be represented on a digital system by using a finite set of coefficients
with associated smooth basis functions, for example polynomials.</p>
      <p>When querying information from a knowledge management system, the first challenge is
to obtain the “right” pieces of information automatically from a vast amount of data.
Unstructured data originating from different sources needs to be filtered and combined into a
aorta
aorta
left ventricle
left ventricle
left atrium
left atrium
representation satisfying the requirements given by the query. The second challenge is to
construct a mathematical (geometric) model for the visualization. For this process,
qualitative data needs to be transformed into numerical data representing three-dimensional
geometry. This is an important step, since we want to transform the results into a
humanperceptible form by casting three-dimensional ’shadows’ of the combined data.
3</p>
    </sec>
    <sec id="sec-2">
      <title>Geometric Modeling and Visualization</title>
      <p>The crucial part of the visualization process is the automatic generation of geometry in
form of a mathematical model. This model, tagged with the corresponding textual
information, is then examined by the user employing standard interaction and visualization
tools, like slicing, see figure 4.</p>
      <p>In many cases, the underlying data has not been prepared for visualization applications
and qualitative information needs to be re-defined in mathematical terms. For example, a
possible ontology of a human heart may contain the primitives “left ventricle” and “left
atrium” with a qualitative “are connected” relationship. Even if we know that the atrium
is located “on top of” the ventricle, we need a lot more information for constructing a
mathematical model. If we assume that both primitives are shaped like ellipsoids with
prescribed locations, radii, and orientations, then we can easily derive a surface
representation for both primitives. By intersecting both ellipsoids we could even validate that the
associated primitives are connected.</p>
      <p>The required numerical information that is not present in the data must be “guessed” that
all qualitative relationships derived from it remain valid. Additionally, the visualization
system should be transparent enough that the user can easily recognize which parts of
the model are supported by data and which parts are based on default settings. In
principle, it is possible to derive numerical data from qualitative constraints. For example, an
arrangement of objects (like organs in a human body) can be estimated iteratively from
qualitative definitions like spatial relations, relative size, and coarse shape. Such an
estimate is not unique in general and depends on a certain “residual” that is minimized by the
construction.</p>
      <p>A different approach is to supplement the given ontology by numerical information that
is attached to the individual instances, see figure 5. This approach has an enormous
impact on the design and implementation of knowledge management systems, but it leads to
more precise mathematical models. An example for this approach is described in the next
section.</p>
    </sec>
    <sec id="sec-3">
      <title>Case Study: A Virtual Echocardiography System</title>
      <p>The objective of the virtual echocardiography system is to provide a virtual examination
environment for use in education, medical documentation, surgery planning and
simulation. Joining interactive visualization and artificial intelligence (AI) techniques enables us
to provide a powerful tutoring system. To satisfy the requirements of such a system, it
is first necessary to develop a formal representation for a healthy human heart and for an
echocardiography finding. By combining the heart representation with a particular
finding, we obtain a view of an individuals heart. This combination of information is used to
generate a mathematical model for computer animation of the individual heart focusing on
selected parts.</p>
      <p>
        Both formal representations have been implemented using the ontology editor
Protege2000 [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. While the finding ontology is mostly a collection of known finding parameters,
the modeling of a heart ontology is much more complex. For this purpose, we used the
anatomical structure of the Digital Anatomist [
        <xref ref-type="bibr" rid="ref2 ref3">2, 3</xref>
        ]. In addition to the anatomical
hierarchy, a variety of different relations between the individual entities need to be specified
representing all geometric and functional aspects of the heart, see figure 6.
In the Digital Anatomist model, all geometric relations are restricted to qualitative
information. For example, the location of adjacent organs is defined by certain quadrants or
octants rather than by coordinates. This information has the advantage of generality, but
it is not precise enough for constructing a geometric model. In our approach, the
individual anatomical entities (representing for example “Left Ventricle”, “Left Atrium”, “Mitral
Valve”, “Diaphragmatic Surface of Left Ventricle”, etc.) were coupled with numerical
geometric data consistent with the quantitative relations.
      </p>
      <p>The geometric representation itself is defined by an ontology containing objects of
different dimensionality and topology, see figure 7, as well as spatial and functional relations.
The mathematical model for the visualization is now based on the numerical attachments
to the individual anatomical entities.</p>
      <p>In our first approach, we only used qualitative information from our system to create the
heart geometry. In a second step, we used a magnetic resonance image (MRI) of a
human heart to approximate the heart geometry, see figures 8 and 9. The new geometric
information certainly exceeds the knowledge that can be extracted form the quantitative
information. However, the quantitative knowledge is more general, since our geometry is
derived only from one particular heart.</p>
      <p>Implementing both qualitative and numerical relations leads to a flexible knowledge
management system, capable of satisfying arbitrary queries about any kind of information
regarding the assembly of the human heart. The vast amount of information resulting from
these queries would be difficult to overlook by a human user. When coupled with
interactive visualization and exploration methods, the complexity of the data is much simpler to
perceive and more convenient to handle for a human user.</p>
      <p>A disadvantage of our approach is the great amount of work for data preparation and
representation. Certain operations on the data, like joining a heart ontology with a finding
ontology become much more complex, since both qualitative and numerical relations need
to be considered. On the other hand, the need for constructing geometric models for
visualization had a significant impact on the conception and implementation of our knowledge
management system. We hope that a great amount of the work used for constructing
geometry from qualitative relations can be automatized in the near future.
5</p>
    </sec>
    <sec id="sec-4">
      <title>Conclusions</title>
      <p>We have motivated the need for visualization techniques in knowledge management,
simplifying the perception of information by human users and allowing them to deal with
abstract knowledge in a natural way. This offers not only the ability to experiment with
and examine knowledge easily but also permits to gain new knowledge out of the visual
presentation by reasoning e.g. on spatial relations, and shapes. It will furthermore allow
to connect the areas of human knowledge (as a philosophical ontology) and knowledge
management (as an AI ontology). Since it is necessary to connect human intelligence and
machine intelligence, we conclude that visualization can be an important part of AI and
will become even more important in the future.</p>
      <p>We presented the design of a virtual echocardiography system as a case study pursuing</p>
    </sec>
    <sec id="sec-5">
      <title>Acknowledgements</title>
      <p>This work was supported by the German Federal Ministry of Education and Research
(BMBF), under contract number NR 01 1W A02, through project VES. We thank the
members of the DFKI Intelligent Visualization and Simulation Research Laboratory for
stimulating discussion and comments during the preparation of this paper.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>T.R.</given-names>
            <surname>Gruber</surname>
          </string-name>
          <article-title>Toward principles for the design of ontologies used for knowledge sharing, Formal Ontology in Conceptual Analysis</article-title>
          and
          <string-name>
            <given-names>Knowledge</given-names>
            <surname>Representation</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          and R. Poli eds., Kluver Academic Publishers,
          <year>1993</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>J.L.V.</given-names>
            <surname>Mejino</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.F.</given-names>
            <surname>Noy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.A.</given-names>
            <surname>Musen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.F.</given-names>
            <surname>Brinkley</surname>
          </string-name>
          , and
          <string-name>
            <given-names>C.</given-names>
            <surname>Rosse</surname>
          </string-name>
          ,
          <article-title>Representation of structural relationships in the foundational model of anatomy</article-title>
          ,
          <source>Proceedings of AMIA Fall Symposium</source>
          , Washington DC,
          <year>2001</year>
          , pp.
          <fpage>973</fpage>
          ,
          <year>2001</year>
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>P.J.</given-names>
            <surname>Neal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.G.</given-names>
            <surname>Shapiro</surname>
          </string-name>
          , and
          <string-name>
            <given-names>C.</given-names>
            <surname>Rosse</surname>
          </string-name>
          ,
          <article-title>The Digital Anatomist spatial abstraction: a scheme for the spatial description of anatomical features</article-title>
          ,
          <source>Proceedings of American Medical Informatics Association Fall Symposium</source>
          , Orlando, Florida,
          <year>1998</year>
          , pp.
          <fpage>423</fpage>
          -
          <lpage>427</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>N.F.</given-names>
            <surname>Noy</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.W.</given-names>
            <surname>Fergerson</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M.A.</given-names>
            <surname>Musen</surname>
          </string-name>
          ,
          <article-title>The knowledge model of Protege-2000: combining interoperability and flexibility</article-title>
          , Second International Conference on
          <article-title>Knowledge Engineering and Knowledge Management (EKAW</article-title>
          <year>2000</year>
          ),
          <article-title>Juan-les-</article-title>
          <string-name>
            <surname>Pins</surname>
          </string-name>
          , France,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>B.</given-names>
            <surname>Smith</surname>
          </string-name>
          ,
          <source>Ontology and Information Systems</source>
          ,
          <source>Technical Report</source>
          ,
          <year>2001</year>
          , http://ontology.buffalo.edu/ontology(PIC).pdf
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>E.R.</given-names>
            <surname>Tufte</surname>
          </string-name>
          ,
          <article-title>The visual display of quantitive information (second edition</article-title>
          ), Graphic Press,
          <year>1983</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>B.</given-names>
            <surname>Smith</surname>
          </string-name>
          and
          <string-name>
            <given-names>C.</given-names>
            <surname>Welty</surname>
          </string-name>
          , Ontology: towards a new synthesis, editors' introduction to:
          <source>Formal Ontology and Information Systems</source>
          , New York: ACM Press,
          <year>2001</year>
          , iii-ix.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>