External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Algorithm for Resolution of Common Logic (Edition 2) Importation Implemented in OntoMaven

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]

Authors

Tara Athan

This author has not been identified. Look up 'Tara Athan' in Google

Ralph Schaefermeyer

This author has not been identified. Look up 'Ralph Schaefermeyer' in Google

Adrian Paschke

This author has not been identified. Look up 'Adrian Paschke' in Google
runs on