David Toman, Grant E. Weddell. CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 451-463, CEUR-WS.org, 2013. [doi]
@inproceedings{TomanW13,
title = {CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness},
author = {David Toman and Grant E. Weddell},
year = {2013},
url = {http://ceur-ws.org/Vol-1014/paper_65.pdf},
researchr = {https://researchr.org/publication/TomanW13},
cites = {0},
citedby = {0},
pages = {451-463},
booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013},
editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},
volume = {1014},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}