BibSonomyburst/user/lysander07/logicBibSonomy RSS feed for /user/lysander07/logic2012-02-16T12:09:45+01:00http://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>)Wed Nov 24 12:50:37 CET 20105. Aufl.56Logik für {I}nformatiker2000logic semwebss06 swss06-05 swt1011 swt1011_06 swt1112 swt1112_06 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>)Sun Jan 28 17:19:21 CET 2007KR735-737What Is OWL (and Why Should I Care)?2004Semantic_Web logic ontologies owl semwebss06 swss06-06 dblphttp://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>)Tue Dec 12 12:38:12 CET 2006roceedings of SWAP 2005, the 2nd Italian Semantic Web Workshop, Trento, Italy, December 14-16, 2005, CEUR Workshop ProceedingsA Dissimilarity Measure for the ALC Description Logic2005SWAP2005 descriptionlogics logic http://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>)Sat Dec 02 14:59:21 CET 2006Journal of Web Semantics1{From SHIQ and RDF to OWL: The Making of a Web Ontology Language }12003logic ontologies semwebss06 owl http://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>)Mon Nov 27 10:54:42 CET 2006CambridgeThe Description Logic Handbook: Theory, Implementation and Applications2003descriptionlogics knowledgeEngineering logic semwebss06 swss06-05 swss06-06