%0 Conference Paper %1 conf/lpar/TessarisH02 %A Tessaris, Sergio %A Horrocks, Ian %B LPAR %D 2002 %E Baaz, Matthias %E Voronkov, Andrei %I Springer %K dblp %P 435-449 %T Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2002.html#TessarisH02 %V 2514 %@ 3-540-00010-0

@inproceedings{conf/lpar/TessarisH02, added-at = {2022-04-12T00:00:00.000+0200}, author = {Tessaris, Sergio and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/201caa18f53ea93390d18ac1afaa0a5df/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2002}, editor = {Baaz, Matthias and Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-36078-6_29}, interhash = {a42e2a32579df0127c9d74865f96d813}, intrahash = {01caa18f53ea93390d18ac1afaa0a5df}, isbn = {3-540-00010-0}, keywords = {dblp}, pages = {435-449}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:17:20.000+0200}, title = {Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2002.html#TessarisH02}, volume = 2514, year = 2002 }