Investigations on the axiomatic presentation of ALC Description Logic and its formalization in Lean

Downloads:

  • No text available
  • No slides available

BibTeX:

@inproceedings{unilog-2018,
  author = {Rademaker, Alexandre and Haeusler, Edward Hermann and Chalub, Fabricio},
  title = {Investigations on the axiomatic presentation of ALC Description Logic and its formalization in Lean},
  booktitle = {Handbook of the 6th World Congress and School on Universal Logic},
  year = {2018},
  editor = {Beziau, Jean-Yves and Buchsbaum, Arthur and Rey, Christophe},
  optpages = {453-455},
  month = jun,
  address = {Vichy, France},
  organization = {Vichy University Campus France},
  url = {http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf}
}