BibSonomy publications for /user/lysander07/logicBibSonomypublrss/user/lysander07/logicBibSonomy RSS feed for /user/lysander07/logic2012-02-16T23:14:15+01:00Logik für Informatikerhttp://www.bibsonomy.org/bibtex/23add88aed8771793425b6226761e8685/lysander07lysander072010-11-24T12:50:37+01:00logic semwebss06 swss06-05 swt1011 swt1011_06 swt1112 swt1112_06 <span class="authorEditorList"><a href="/author/Schöning">Uwe Schöning</a> </span><em>Spektrum Akademischer Verlag, </em><em>5. Aufl. edition, </em>(<em>2000</em>)What Is OWL and Why Should I Care?http://www.bibsonomy.org/bibtex/26796ab2d4a75681d3e673ad30b05cda2/lysander07lysander072007-01-28T17:19:21+01:00Semantic_Web logic ontologies owl semwebss06 swss06-06 <span class="authorEditorList"><a href="/author/Patel-Schneider">Peter F. Patel-Schneider</a> </span><em>KR, </em><em>page 735-737. </em>(<em>2004</em>)dblpA Dissimilarity Measure for the ALC Description Logichttp://www.bibsonomy.org/bibtex/2a71c8b6b593886f07deaf58a66aae436/lysander07lysander072006-12-12T12:38:12+01:00SWAP2005 descriptionlogics logic <span class="authorEditorList"><a href="/author/d&#039;Amato">Claudia d&#039;Amato</a>, <a href="/author/Fanizzi">Nicola Fanizzi</a>, and <a href="/author/Esposito">Floriana Esposito</a> </span><em>roceedings of SWAP 2005, the 2nd Italian Semantic Web Workshop, Trento, Italy, December 14-16, 2005, CEUR Workshop Proceedings, </em>(<em>2005</em>)From SHIQ and RDF to OWL: The Making of a Web Ontology Languagehttp://www.bibsonomy.org/bibtex/239cb8be6f79b5044fcc082fce2e28264/lysander07lysander072006-12-02T14:59:21+01:00logic ontologies semwebss06 owl <span class="authorEditorList"><a href="/author/Horrocks">I. Horrocks</a>, <a href="/author/Patel-Schneider">P. F. Patel-Schneider</a>, and <a href="/author/van Harmelen">F. van Harmelen</a> </span><em>Journal of Web Semantics</em> (<em>2003</em>)The Description Logic Handbook: Theory, Implementation and Applicationshttp://www.bibsonomy.org/bibtex/23566065693f7ae313f82f9b2a0c96936/lysander07lysander072006-11-27T10:54:42+01:00descriptionlogics knowledgeEngineering logic semwebss06 swss06-05 swss06-06 <span class="authorEditorList"><a href="/author/Baader">Franz Baader</a>, <a href="/author/Calvanese">Diego Calvanese</a>, <a href="/author/McGuinness">Deborah McGuinness</a>, <a href="/author/Nardi">Daniele Nardi</a>, and <a href="/author/Patel-Schneider">Peter Patel-Schneider</a> (Eds.). </span><em>Cambridge University Press, </em><em>Cambridge, </em>(<em>2003</em>)