SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Franz Baader, Stefan Borgwardt, Barbara Morawska. SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies. In Bernhard Gramlich, Dale Miller, Uli Sattler, editors, Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Volume 7364 of Lecture Notes in Computer Science, pages 30-44, Springer, 2012. [doi]

This author has not been identified. Look up 'Franz Baader' in GoogleThis author has not been identified. Look up 'Stefan Borgwardt' in GoogleThis author has not been identified. Look up 'Barbara Morawska' in Google

runs on WebDSL