- From: Davide Eynard <eynard@elet.polimi.it>
- Date: Mon, 28 Apr 2008 17:29:46 +0200
- To: semantic-web@w3.org
Hi Cristiano, hi all, searching google for "dl.sty" I stumbled upon the following URL: ftp.wins.uva.nl/pub/theory/illc/illcindividuals/mdr/M4M/03horrocks/dl.sty which should provide what you're searching for. Well, sometimes the FIRST hit on google is not that far from what you're expecting... ;-) Note that the directory contents seem like the latex sources of Journal articles, so you might want to contact the authors/editors to check if you can freely use the .sty file. I guess there should be no problem, as the files are easily available on the Web, but I think that if you ask first it will be considered much more fair ;-) Cheers, Davide > Morning, i'm looking for latex facilities(styles and symbols) for > description logics. > May anyone help me?
Received on Monday, 28 April 2008 16:54:10 UTC