Top-level ideas about importing, translating and exporting knowledge via an ontology of representation languages
This article introduces KRLO, an ontology of knowledge representation languages (KRLs), the first to represent KRL abstract models in a uniform way and the first to represent KRL notations, i.e., concrete models. Thus, KRLO can help design tools handling many KRLs and letting their end-users design or adapt KRLs. KRLO also represent KRL import, translation and export methods in a declarative way, both via Datalog like rules and pure functions.
Proceedings of the 12th International Conference on Semantic Systems
Artificial Intelligence and Image Processing not elsewhere classified