Tractable Reasoning in Description Logics with Functionality Constraints.
A. Calì, G. Gottlob, and A. Pieris. In Search of Elegance in the Theory and Practice of Computation, volume 8000 of Lecture Notes in Computer Science, page 174-192. Springer, (2013)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/CaliGP13
%A Calì, Andrea
%A Gottlob, Georg
%A Pieris, Andreas
%B In Search of Elegance in the Theory and Practice of Computation
%D 2013
%E Tannen, Val
%E Wong, Limsoon
%E Libkin, Leonid
%E Fan, Wenfei
%E Tan, Wang-Chiew
%E Fourman, Michael P.
%I Springer
%K
%P 174-192
%T Tractable Reasoning in Description Logics with Functionality Constraints.
%U http://dblp.uni-trier.de/db/conf/birthday/buneman2013.html#CaliGP13
%V 8000
%@ 978-3-642-41659-0
@inproceedings{conf/birthday/CaliGP13,
added-at = {2023-12-13T02:56:48.000+0100},
author = {Calì, Andrea and Gottlob, Georg and Pieris, Andreas},
biburl = {https://www.bibsonomy.org/bibtex/211133b701404ef2fcd6d0aebd8709dd1/admin},
booktitle = {In Search of Elegance in the Theory and Practice of Computation},
crossref = {conf/birthday/2013buneman},
editor = {Tannen, Val and Wong, Limsoon and Libkin, Leonid and Fan, Wenfei and Tan, Wang-Chiew and Fourman, Michael P.},
ee = {https://doi.org/10.1007/978-3-642-41660-6_8},
interhash = {85a33a30340d4321f64b35617af4cf68},
intrahash = {11133b701404ef2fcd6d0aebd8709dd1},
isbn = {978-3-642-41659-0},
keywords = {},
pages = {174-192},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T02:56:48.000+0100},
title = {Tractable Reasoning in Description Logics with Functionality Constraints.},
url = {http://dblp.uni-trier.de/db/conf/birthday/buneman2013.html#CaliGP13},
volume = 8000,
year = 2013
}