conftrace_

rewriting system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

owl ontology (1) biomedical ontology (1) ontology quality (1) rewriting rule (1) syntactic macro (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