The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of formal knowledge. The representation system permits the configuration of textbook and enriched Relax NG syntax as well as the association of syntax with semantics. The transformation tool suite includes serialized formatters (normalizers and compactifiers), polarized parsers and generators (the RuleML↔POSL tool and the RuleML→PSOA/PS generator and PSOA/PS→AST parser), as well as importers and exporters (the importer from Dexlog to Naf Datalog RuleML and the exporter from FOL RuleML languages to TPTP). An N3-PSOA-Flora knowledgeinteroperation use case is introduced for illustration.
CITATION STYLE
Boley, H. (2016). The ruleML knowledge-interoperation hub. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9718, pp. 19–33). Springer Verlag. https://doi.org/10.1007/978-3-319-42019-6_2
Mendeley helps you to discover research relevant for your work.