Efficient Model Construction for Horn Logic with VLog: Extended Abstract

Jacopo UrbaniJacopo Urbani, Markus KrötzschMarkus Krötzsch, Ceriel JacobsCeriel Jacobs, Irina DragosteIrina Dragoste, David CarralDavid Carral

Download

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, October 2018. CEUR-WS.org

Details
Bibtex

Bemerkung: Note: This is an extended abstract of the full IJCAR 2018 publication available at https://iccl.inf.tu-dresden.de/web/Article3046/en.
Projekt:Project: Cfaed, DIAMOND, HAEC B08
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

// Please cite the full paper instead:
@inproceedings{UKJDC2018,
  author    = {Jacopo Urbani and Markus Krötzsch and Ceriel Jacobs and
               Irina Dragoste and David Carral},
  title     = {Efficient Model Construction for Horn Logic with VLog},
  editor    = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  booktitle = {Proceedings of the 8th International Joint Conference on
               Automated Reasoning (IJCAR 2018)},
  series    = {LNCS},
  volume    = {10900},
  publisher = {Springer},
  year      = {2018},
  pages     = {680--688},
  doi       = {10.1007/978-3-319-94205-6_44}
}