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

[Evren Sirin]

On 6/11/08 10:18 AM, Carlos Gonzalez-Cadenas wrote:
> 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. 

Note that, Pellet supports SWRL rules with DL-safe interpretation which 
is slightly different semantics. The rules only apply to known 
individuals and do not affect class reasoning (unless there is some 
interaction with enumerations). See Bijan's blog series on this topic [1].

> However, some First-Order-Logic constructs (forall, exists, and, or, 
> ...) are not defined in SWRL, 

Yes, but this does not mean that you need to explicitly represent those 
constructs as OWL has similar constructs that lets you represent the 
semantics (in restricted forms). For example, you can use allValuesFrom 
restriction to represent an axiom that uses "forall" or unionOf to 
represent "or". Of course, you cannot represent all such axioms but 
maybe enough axioms that is relevant for a specific domain or application.

> 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)

We have no plans to support SWRL-FOL and I don't think there is any easy 
way to do it. The tableau algorithms used for FOL and DL (which Pellet 
implements) are conceptually similar but the implementation would be 
very different so there is no benefit at all starting with Pellet.

> 2) Do you have any previous experiences of porting / reasoning with 
> Pellet over SUMO (or parts of it)?
>

Reasoning with OWL translation [2] (which is only the structural 
ontology) is quite straight-forward with Pellet since there isn't much 
modeling there. That translation can be improved to encode more of the 
SUO-KIF axioms, too. For example, the OWL includes the instance relation 
between the PhysicalState class and individuals Solid, Liquid, Gas, and 
Plasma. But the following axioms from SUMO are not translated:

(contraryAttribute Solid Liquid Gas Plasma)
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma)

These two axioms can be mapped using AllDifferent and oneOf constructs 
respectively and then you wouldn't worry about translating the rules 
defining contraryAttribute and exhaustiveAttribute.

Cheers,
Evren

[1] http://clarkparsia.com/weblog/category/semweb/rules/swrl/
[2] http://www.ontologyportal.org/translations/SUMO.owl.txt
> 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
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/