A Declarative Semantics for the Rule Interchange Format Production Rule Dialect

Authors

Carlos Viegas Damásio, P. F. Patel-Schneider, José Júlio Alferes, Y. Pan, João Leite, P. Hitzler, P. Mika, L. Zhang, J. Z. Pan, I. Horrocks, B. Glimm, Carlos Viegas Damásio, José Júlio Alferes, João Leite