Formalizing Graphical Modularization Approaches for Ontologies and the Knowledge Loss

This paper formalizes the graphical modularization technique view traversal for an ontology component of a Domain Information System (DIS). Our work is motivated by developing the ability to dynamically extract a module (called a view traversal module) based on an initial set of concepts. We show how the ability to quantify the knowledge that is preserved (or lost) in a view traversal module is significant for a multi-agent setting, which is a …