%0 Conference Paper %1 Baader05 %A Baader, Franz %A Horrocks, Ian %A Sattler, Ulrike %B Mechanizing Mathematical Reasoning %D 2005 %E Hutter, Dieter %E Stephan, Werner %I Springer %K DLs impresso %P 228--248 %T Description Logics as Ontology Languages for the Semantic Web. %U http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html\#BaaderHS05 %V 2605 %@ 3-540-25051-4

@inproceedings{Baader05, added-at = {2008-02-20T03:42:09.000+0100}, author = {Baader, Franz and Horrocks, Ian and Sattler, Ulrike}, biburl = {https://www.bibsonomy.org/bibtex/2c1bb5f893075eb726de4999931cd36c4/marciomr}, booktitle = {Mechanizing Mathematical Reasoning}, crossref = {siekmann2005}, date = {2005-07-19}, description = {dblp}, editor = {Hutter, Dieter and Stephan, Werner}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article\&id=AXH20N8L34BC3ECB}, interhash = {1f751833e21d56e820af840b150cfab1}, intrahash = {c1bb5f893075eb726de4999931cd36c4}, isbn = {3-540-25051-4}, keywords = {DLs impresso}, pages = {228--248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2008-02-20T04:56:24.000+0100}, title = {Description Logics as Ontology Languages for the Semantic Web.}, url = {http://dblp.uni-trier.de/db/conf/birthday/siekmann2005.html\#BaaderHS05}, volume = 2605, year = 2005 }