@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",
}