Inverting Subsumption for Constructive Reasoning

Inverting Subsumption for Constructive Reasoning

25th International Workshop on Description Logics (DL 2012) - -2012

Authors

Colucci Simona, Donini Francesco M.

Download: main.pdf

DOI

https://doi.org/10.1007/978-3-319-70169-1_18

BibTex references

@InProceedings{CD12,
  author       = "Colucci, Simona and Donini, Francesco M.",
  title        = "Inverting Subsumption for Constructive Reasoning",
  booktitle    = "25th International Workshop on Description Logics (DL 2012) ",
  year         = "2012",
  publisher    = "CEUR",
  note         = "to appear",
  url          = "http://sisinflab.poliba.it/Publications/2012/CD12"

}