Tara Athan, Ralph Schaefermeyer, Adrian Paschke. An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven. In Kenneth Baclawski, Tudor Groza, Torsten Hahmann, Ivan José Varzinczak, editors, Proceedings of the 8th International Workshop on Modular Ontologies co-located with the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), Rio de Janeiro, Brazil, September 22, 2014. Volume 1248 of CEUR Workshop Proceedings, CEUR-WS.org, 2014. [doi]
Abstract is missing.