IMP-Logics: a metamodel for analysis and transformations of Datalog programs
Datalog is a logic-based query-language used for knowledge representation and reasoning. Through the years, the literature has defined highly valuable algorithms, desirable properties, and useful transformations for this language and its extensions (e.g. Datalog±).
Authors
- Xavier Oriol (ORCID: https://orcid.org/0000-0002-8845-8504)
- José Francisco Crespo (ORCID: https://orcid.org/0009-0007-3815-6480)
- Ernest Teniente (ORCID: https://orcid.org/0000-0001-8890-9638)
- Martí Juanola
- Martí Recalde
Institutions
- Universitat Politècnica de Catalunya (ES)
Publication Details
- Published
- 2024-09-22
- DOI
- https://doi.org/10.1145/3652620.3687790
- Citations
- 1
- Primary Topic
- Semantic Web and Ontologies
- Type
- article
- Field-Weighted Citation Impact
- 0.35
Funders
- Generalitat de Catalunya
- Agencia Estatal de Investigación