Using Prolog unification to solve non-standard reasoning problems in Description Logics

Using Prolog unification to solve non-standard reasoning problems in Description Logics

The 9th Italian Convention on Computational Logic (CILC 2012) - -2012

Authors

Colucci Simona, Donini Francesco M.

Download: ColucciDonini.pdf

DOI

https://doi.org/10.2498/cit.2003.03.10

BibTex references

@InProceedings{CD12a,
  author       = "Colucci, Simona and Donini, Francesco M.",
  title        = "Using Prolog unification to solve non-standard reasoning problems in Description Logics",
  booktitle    = "The 9th Italian Convention on Computational Logic (CILC 2012)",
  year         = "2012",
  note         = "to appear",
  url          = "http://sisinflab.poliba.it/Publications/2012/CD12a"

}