Efficient OWL Reasoning with Logic Programs - Evaluations

Sebastian RudolphSebastian Rudolph, Markus KrötzschMarkus Krötzsch, Pascal HitzlerPascal Hitzler, Michael SintekMichael Sintek, Denny VrandečićDenny Vrandečić

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds., Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), volume 4524 of Springer Lecture Notes in Computer Science, 370-373, June 2007. Springer

Details
Bibtex

Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer.

@inproceedings{RKHSV2007,
  author    = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler
               and Michael Sintek and Denny Vrande{\v{c}}i{\'{c}}},
  title     = {Efficient {OWL} Reasoning with Logic Programs - Evaluations},
  editor    = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie},
  booktitle = {Proceedings of The First International Conference on Web
               Reasoning and Rule Systems 2007 (RR2007)},
  series    = {Springer Lecture Notes in Computer Science},
  volume    = {4524},
  publisher = {Springer},
  year      = {2007},
  month     = {June},
  pages     = {370-373}
}