[DL] KR system

[Cristiano Longo]

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