Query abduction system in description logic EL, 2014.
Forgetting in Answer Set Programming, 2006.
Forgetting in Description Logics, 2008.
A Protege plug-in for revising OWL ontologies, 2010.
A system for merging ontologies, 2012.