Re: OWLLisaKB: an OWL reasoner written in Common Lisp.

Yarden Katz <katz <at> underlevel.net> writes:

> Peter Seibel <peter <at> javamonkey.com> writes:
> 
> > Yarden Katz <katz <at> underlevel.net> writes:
> >
> >> Hi guys,
> >> 
> >>   This is my first real post here--I hope this announcement is at
> >>   least somewhat relevant/topical here :).
> >
> >>   I wrote a rule-based OWL reasoner (as part of Semantic Web
> >>   research at http://owl.mindswap.org) in Common Lisp.
> >
> > Maybe you can give us--or those of us who don't know--the executive
> > summary of what a OWL reasoner is and what one might do with it?
> 
> Sure.  OWL (Web Ontology Language) is a description logic
> used to create ontologies on the Web.  For a gentle intro to OWL, see
> <http://www.w3.org/TR/owl-guide/>.

[snip etc]

> Hope this helps,

Cool. Thanks!

-Peter

--

-- 

xmls 0.5 released

This is strictly a bugfix release.  Xmls should now deal properly
whitespace and escape entities when outputting xml nodes as strings. 
Thanks to Damien Diederen for patches for the entity handling stuff.  As
usual, code can be found at http://www.caddr.com/lisp/xmls.

miles

_______________________________________________
Clump mailing list
Clump <at> manly.caddr.com
http://manly.caddr.com/mailman/listinfo/clump

Presentation software

For my recent presentation at the Linux 2003 conference (SBCL
threads), unimpressed with the general state of available presentation
software for Linux, I decided to write my own.

Acclaim is still very early-days - and probbaly doomed to stay that
way until I have another speaking engagement that needs new features
From it - but might be interesting to someone nevertheless

* Like magicpoint, in that it reads slide definitions from a file,
  which can be edited with any text editor

* Unlike magicpoint, the file format is not whitespace-sensitive.
  Instead it uses sexps.

(slide
 (title "LinuxThreads: signals redux")
 (ul
  (li "There is some disconnect between the traditional Linux clone() model and
 the needs of POSIX threads")
  (li "LinuxThreads, to accomodate these, does strange things with signals to
ensure they get delivered to the threads that POSIX says they should")
  (li "We " (i "don't") " need our signal handling messed with")
  (li "And actually we don't even want this behaviour.  Lisp programmers
aren't going to care about the POSIX thread model")))

  Element names are chosen to be vaguely reminiscent of HTML, but no 
  real attempt is made to conform to any kind of html standard

* Requires CLX.  Currently only tested with SBCL, whose clx has a

Re: Presentation software

Daniel Barlow <dan <at> telent.net> writes:

>   Element names are chosen to be vaguely reminiscent of HTML, but no 
>   real attempt is made to conform to any kind of html standard
>
> * Most likely future features:
>   - Add pictures
>   - Funky inter-slide dissolves/wipes/fades etc

"Export to HTML" might be quite nice, and fairly straightforward. 

Cheers,

Christophe
--

-- 
http://www-jcsu.jesus.cam.ac.uk/~csr21/       +44 1223 510 299/+44 7729 383 757
(set-pprint-dispatch 'number (lambda (s o) (declare (special b)) (format s b)))
(defvar b "~&Just another Lisp hacker~%")    (pprint #36rJesusCollegeCambridge)

Re: Presentation software

On Mon, 2003-08-04 at 04:38, Daniel Barlow wrote:
> For my recent presentation at the Linux 2003 conference (SBCL
> threads), unimpressed with the general state of available presentation
> software for Linux, I decided to write my own.

Pretty cool.  Is this the only desktop productivity app in lisp?  Surely
not, but I can't think of any others.

> * Unlike magicpoint, the file format is not whitespace-sensitive.
>   Instead it uses sexps.
> 
> (slide
>  (title "LinuxThreads: signals redux")
>  (ul
>   (li "There is some disconnect between the traditional Linux clone() model and
>  the needs of POSIX threads")
>   (li "LinuxThreads, to accomodate these, does strange things with signals to
> ensure they get delivered to the threads that POSIX says they should")
>   (li "We " (i "don't") " need our signal handling messed with")
>   (li "And actually we don't even want this behaviour.  Lisp programmers
> aren't going to care about the POSIX thread model")))

Nice.  This allows for gui presentation builders that use this as a
backend serialization format, right?

--

-- 
Miles Egan <miles <at> caddr.com>

_______________________________________________

Re: Presentation software

Miles Egan <miles <at> caddr.com> writes:

> Pretty cool.  Is this the only desktop productivity app in lisp?  Surely
> not, but I can't think of any others.

IRC clients are not productivity apps?  Hellbeans, I've been
badly misadvised 

>> * Unlike magicpoint, the file format is not whitespace-sensitive.
>>   Instead it uses sexps.

> Nice.  This allows for gui presentation builders that use this as a
> backend serialization format, right?

In principle, yes.  In practice, I guess that anyone with the clim-fu
to design a gui presentation builder could also design their own
backend that renders the presentation a good deal more prettily than
Acclaim currently does.

-dan

--

-- 

   http://www.cliki.net/ - Link farm for free CL-on-Unix resources 

ANN: Macho 0.1 Released

I've just released version 0.1 of Macho, my lisp-based mail archiving
system.  You can find release info and the distribution here:

http://www.caddr.com/lisp/macho

It's still pretty rough and needs at least one round of refactoring
before 0.2 can happen, but it seems to do the job.

I'm also maintaining a Macho-based archive of this list here:

http://www.caddr.com/archives/lists/clump

If you have mbox archives of interesting lisp mailing lists, please send
them to me and I'll set up archives for them.

miles

_______________________________________________
Clump mailing list
Clump <at> manly.caddr.com
http://manly.caddr.com/mailman/listinfo/clump

ANN: Lisp software bits

I have placed several software packages for download at

http://www.cs.rice.edu/~froydnj/lisp/

sha1.lisp - functions for computing SHA-1 hashes.  Optimized in a
  similar manner to Pierre Mai's MD5 implementation for SBCL and CMUCL.
  Requires SB-ROTATE-BYTE in SBCL.

svndiff.lisp - a toy implementation of the svndiff binary diff
  algorithm and format used by Subversion (http://subversion.tigris.org/).
  Computes diffs, but currently has no way of applying diffs.

rfc24xx.tar.gz - the start of an system for parsing vCard and iCal
  entries (RFC2426 and 2445, I think).  An ASDF system definition is
  included, but has not been tested.  Reading vCards works for me,
  although a little fiddling may be required.  Note that it currently
  loads its code into whatever package you have current (no DEFPACKAGE
  or IN-PACKAGE forms in the files), so beware.

spell-0.4.tar.gz - a rewrite of Hemlock's SPELL package to remove the
  dependencies on CMUCL-specific functions.  Should work in most any
  ANSI CL, although it's only been tested in SBCL.

Enjoy.  Don't know if they'll be terribly useful, but hey, release early
and often, right? :)  Please do send comments/questions my way.
--

-- 
Nathan | http://www.cs.rose-hulman.edu/~froydnj/ | Credo ut intelligam

      From Man's effeminate slackness it begins.  --Paradise Lost

Re: ANN: Lisp software bits

On Thu, 2003-08-07 at 06:21, Nathan Froyd wrote:
> I have placed several software packages for download at
> 
> http://www.cs.rice.edu/~froydnj/lisp/
> 
> sha1.lisp - functions for computing SHA-1 hashes.  Optimized in a
>   similar manner to Pierre Mai's MD5 implementation for SBCL and CMUCL.
>   Requires SB-ROTATE-BYTE in SBCL.

Excellent.  This will definitely come in handy.

> rfc24xx.tar.gz - the start of an system for parsing vCard and iCal
>   entries (RFC2426 and 2445, I think).

Cool.  There seems to be a real dearth of iCal compliant servers,
especially open-source ones.  It seems like lisp would be a great
language for implementing one.

--

-- 
Miles Egan <miles <at> caddr.com>

_______________________________________________
Clump mailing list
Clump <at> manly.caddr.com
http://manly.caddr.com/mailman/listinfo/clump

Re: [Sbcl-devel] SHA-1 implementation for contrib/

[ CCed to cclan-list, clump.  Apologies to people on >1 list who get
  multiple copies.  I recommend Gnus with 
  (setq gnus-suppress-duplicates t)                                  ]

Miles Egan <miles <at> caddr.com> writes:

> On Fri, 2003-08-08 at 01:16, Nathan J. Froyd wrote:
>> Pursuant to crhodes's suggestion, I have packaged up the SHA-1
>> implementation I announced on the Clump mailing list yesterday 
> This will be v. nice to have in the core distribution.
>
> While we're at it, I know sbcl devel core is reluctant to add extra
> things to contrib, but a good base64 library would be very handy too. 
> Kevin Rosenberg's seems like a good one.

The main criterion for contrib is "SBCL-specific".  The SHA1 I'm
looking at here (thanks, btw) definitely qualifies on those grounds
due to lashings of sb-kernel:32bit-logical-and and the like.  Does
base64 really have the same efficiency issues?

That said, I know it's a lot more convenient when this stuff is
bundled instead of having to be downloaded and installed separately -
at least, for people who want it, or who have sufficiently fast
internet connections that they don't mind the extra weight even if
they're not going to use it.  

So, I propose that we accept an automated download tool (asdf-install
or cclan-get or something) into contrib, then there's much less
fussing around for people who want to grab larger or plausibly