[DL] KR system

Cristiano Longo cristiano_longo at yahoo.it
Thu Feb 14 11:48:34 CET 2008

Morning, I started few weeks ago studying description
logics, and i wold like to set up my first knowledge
base, and perform some reasoning. I'm specifically
interested in instance checking.  May someone suggest
me a free(and possibly open) KR system implementation
to download(also based on semantic web)?

I downloaded Pellet, but i'm not sure that it provides
instance checking feature.

thanks in advance,
Cristiano Longo


L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html

More information about the dl mailing list