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.
Université de La Réunion
http://www.univ-reunion.fr/
Dr Philippe Martin is Associate Professor at the University of La Réunion (France) since 2009. His main interests are knowledge representation (KR), sharing and retrieval.
