Re: extended inference use case

From: pat hayes (phayes@ai.uwf.edu)
Date: 02/04/03

  • Next message: Benjamin Grosof: "Re: extended inference use case"
    >I think we want to include something like this, although it
    >would probably be better as part of a larger Web Services or
    >other application use case.
    >
    >   OWL places some limitations on expressivity to retain
    >   tractability.  A frequently cited limitation is "property
    >   chaining", the ability to express constraints among
    >   multiple properties.  We can augment an OWL ontology with
    >   additional inference rules.
    >
    >   Several examples:
    >
    >     2 siblings have the same father, i.e.
    >
    >       sibling(S1, S2)
    >       father(S1, F)
    >       =>
    >       father(S2, F)
    
    Thats a dangerous rule if left to itself:
    
    father(S2, F)
    =>
    father(S1,F)
    =>
    father(S2,F)
    =>.....
    
    >     a Debtor is a Person whose (cumulative) liabilities
    >     exceed his (cumulative) assets
    
    That requires some arithmetic integrated into the rule-firing, right? 
    Obviously handy, but probably requires a lot of extra machinery.
    
    Pat
    
    
    
    -- 
    ---------------------------------------------------------------------
    IHMC					(850)434 8903 or (650)494 3973   home
    40 South Alcaniz St.			(850)202 4416   office
    Pensacola              			(850)202 4440   fax
    FL 32501           				(850)291 0667    cell
    phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
    s.pam@ai.uwf.edu   for spam
    


    This archive was generated by hypermail 2.1.4 : 02/04/03 EST