conftrace_

ontology quality

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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