The second way to export the data is to just record the classical logic statement as the output of the inference engine. The xxxx system has output that Pingu can fly. In certian cases, a system might risk incorporating such statements into a classic inference system. We do things all the time, but a secure system is unlikely to be set up to incorporate such information. The choice of classical logic for hte Semantic web is not an arbitrary choice among equals.
Classical logic is the only way that inference can scale across the web.
There are some logics which simply do not have a consistent set of axioms - fuzzy logic, for example, tends to believe something to a greater extent as a funcion of how often evidence for it has been presented. Closed world systems don't scale because the refernce to the scope of a defualt is typically implicit, and different from one fact to another. In the diagram, I have put heuristic systems above the semnatic web bus, and classical systems below. In Weaving the Web later chapters I try to describe the importanc of the web in supporting both types of system. This fear of course is quite valid - or would be if all assertions in the whole world were regarded as bing on equal footing.