CBROnto: A Task/Method Ontology for CBR
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
A correspondence theory for terminological logics: preliminary report
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Mikrokosmos contains an ontology plus a number of lexicons in different languages that were originally developed for machine translation. The underlying representation formalism for these resources is an ad-hoc frame-based language which makes it difficult to inter-operate Mikrokosmos with state-of-the-art knowledge-based systems. In this paper we propose a translation from the frame-based representation of Mikrokosmos into Description logics. This translation allows us to automatically transform Mikrokosmos sources into OWL and thus provide a powerful ontology in the formalism of the semantic web. Furthermore, the reasoning mechanisms of Description Logics may also support knowledge acquisition and maintenance as well as its application in natural language processing systems.