@inproceedings{DBLP:conf/aaai/CaliGKLP10,
  title = "Ontological Reasoning with F-Logic Lite and its Extensions",
  author = "Andrea Cal\`{\i} and Georg Gottlob and Michael Kifer and Thomas Lukasiewicz and Andreas Pieris",
  year = "2010",
  booktitle = "Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010",
  editor = "Maria Fox and David Poole",
  publisher = "AAAI Press",
  url = "http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1881/",
}