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

Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler

Browse the full AAAI paper archive.