1. Markov network based ontology matching;Albagli;Journal of Computer and System Sciences,2012
2. The description logic handbook: theory, implementation and applications;Baader,2010
3. Completing description logic knowledge bases using formal concept analysis;Baader,2007
4. Axiom pinpointing in general tableaux;Baader;Journal of Logic and Computation,2010
5. Schema-agnostic query rewriting in SPARQL 1.1;Bischof,2014