Efficient Axiom Pinpointing in EL using SAT Technology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph. Efficient Axiom Pinpointing in EL using SAT Technology. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

This author has not been identified. Look up 'Norbert Manthey' in GoogleThis author has not been identified. Look up 'Rafael Peñaloza' in GoogleThis author has not been identified. Look up 'Sebastian Rudolph' in Google

runs on WebDSL