Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

Detalhes bibliográficos
Main Authors: Kalyanpur, A, Parsia, B, Sirin, E, Grau, B
Formato: Conference item
Publicado em: 2006