An Exchange Format for Modular Knowledge

WORKSHOP TO DEFINE DECONTAMINATION AND DECOMMISSIONING NEEDS FOR THE U.S. DEPARTMENT OF ENERGY

Florian Rabe ; Michael Kohlhase

Others  :  http://CEUR-WS.org/Vol-418/paper4.pdf
PID  :  3477

来源: CEUR

【 摘 要 】

We present a knowledge exchange format that is designed to support the exchange of modularly structured information in mathematical and logical systems. This format allows to encode mathematical knowledge in a logic-neutral representation format that can represent the meta-theoretic foundations of the systems together with the knowledge itself and to interlink the foundations at the meta-logical level. This “logics-as-theories” approach, makes system behaviors as well as their represented knowledge interoperable and thus comparable. The advanced modularization features of our system allow communication between systems without losing structure.We equip the proposed format with a web-scalable XML/URI-based concrete syntax so that it can be used as a universal interchange and archiving format for existing systems.