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

Yarden Katz <[email protected]> writes:

> Peter Seibel <[email protected]> writes:
> 
> > Yarden Katz <[email protected]> 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

-- 
Peter Seibel                                      [email protected]

         Lisp is the red pill. -- John Fraser, comp.lang.lisp