[DL] KR system
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,
L'email della prossima generazione? Puoi averla con la nuova Yahoo! Mail: http://it.docs.yahoo.com/nowyoucan.html
More information about the dl