{"title":"基于表示语言本体的知识导入、翻译和输出的顶层思想","authors":"Philippe A. Martin, Jérémy Bénard","doi":"10.1145/2993318.2993344","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":177013,"journal":{"name":"Proceedings of the 12th International Conference on Semantic Systems","volume":"33 9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Top-level Ideas about Importing, Translating and Exporting Knowledge via an Ontology of Representation Languages\",\"authors\":\"Philippe A. Martin, Jérémy Bénard\",\"doi\":\"10.1145/2993318.2993344\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":177013,\"journal\":{\"name\":\"Proceedings of the 12th International Conference on Semantic Systems\",\"volume\":\"33 9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-09-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 12th International Conference on Semantic Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2993318.2993344\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 12th International Conference on Semantic Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2993318.2993344","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.