Second-Order Description Logics: Semantics, Motivation, and a Calculus

Second-Order Description Logics: Semantics, Motivation, and a Calculus

Proc. of the 23rd Intl. Workshop on Description Logics (DL 2010) - -2010

Authors

Colucci Simona, Di Noia Tommaso, Di Sciascio Eugenio, Donini Francesco M., Ragone Azzurra

Download: paper_41.pdf

DOI

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

BibTex references

@InProceedings{CDDDR10,
  author       = "Colucci, Simona and Di Noia, Tommaso and Di Sciascio, Eugenio and Donini, Francesco M. and Ragone, Azzurra",
  title        = "Second-Order Description Logics: Semantics,  Motivation, and a Calculus",
  booktitle    = "Proc. of the 23rd Intl. Workshop on Description Logics (DL 2010)",
  volume       = "573",
  year         = "2010",
  publisher    = "CEUR",
  url          = "http://sisinflab.poliba.it/Publications/2010/CDDDR10"

}