[Pellet-users] sumo (suo-kif) and pellet

[Carlos Gonzalez-Cadenas]

Hi guys,

We would like to do reasoning with Pellet over the SUMO ontology. SUMO is
expressed in SUO-KIF and most definitions cannot be ported directly to OWL.

We believe that the structural ontology can be ported easily (it has been
done before by the SUMO people), and that we can convert the vast majority
of the definitions with a combination of OWL and SWRL. However, some
First-Order-Logic constructs (forall, exists, and, or, ...) are not defined
in SWRL, but they're defined in SWRL-FOL.

My questions are:
1) Do you have plans to extend Pellet to support SWRL-FOL?. If not, could
you give us some details about how to implement it? (we may do it if the
amount of work is reasonable)
2) Do you have any previous experiences of porting / reasoning with Pellet
over SUMO (or parts of it)?

Thank you very much in advance,

Carlos

-- 
Carlos Gonzalez-Cadenas
CEO, ExperienceOn - New generation search
http://www.experienceon.com

Mobile: +34 652 911 201
Skype: carlosgonzalezcadenas
LinkedIn: http://www.linkedin.com/in/carlosgonzalezcadenas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080611/06446040/attachment.htm