extended inference use case

From: Mike Dean (mdean@bbn.com)
Date: 02/04/03

  • Next message: Deborah McGuinness: "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)
        a Debtor is a Person whose (cumulative) liabilities
        exceed his (cumulative) assets

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