conftrace_

syntactic macro

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

biomedical ontology (1) ontology quality (1) rewriting rule (1) owl ontology (1) rewriting system (1) ontology engineering (1) formal language (1) discrete mathematics (1)

Papers

Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024