%0 Conference Paper %1 conf/lpar/HorrocksSTT00 %A Horrocks, Ian %A Sattler, Ulrike %A Tessaris, Sergio %A Tobies, Stephan %B LPAR %D 2000 %E Parigot, Michel %E Voronkov, Andrei %I Springer %K %P 326-343 %T How to Decide Query Containment Under Constraints Using a Description Logic. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2000.html#HorrocksSTT00 %V 1955

@inproceedings{conf/lpar/HorrocksSTT00, added-at = {2023-12-13T05:03:26.000+0100}, author = {Horrocks, Ian and Sattler, Ulrike and Tessaris, Sergio and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/2a13acdcb8f26f81600651460fffa1a0d/admin}, booktitle = {LPAR}, crossref = {conf/lpar/2000}, editor = {Parigot, Michel and Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-44404-1_21}, interhash = {9de0d1c485b805b60324001b348351bb}, intrahash = {a13acdcb8f26f81600651460fffa1a0d}, keywords = {}, pages = {326-343}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:03:26.000+0100}, title = {How to Decide Query Containment Under Constraints Using a Description Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2000.html#HorrocksSTT00}, volume = 1955, year = 2000 }