W3C home > Mailing lists > Public > www-ws@w3.org > April 2003

Re: Problem with damlsParameter

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Tue, 22 Apr 2003 09:02:07 -0400 (EDT)
Message-Id: <200304221302.h3MD27A19180@pantheon-po04.its.yale.edu>
To: www-ws@w3.org

   [Bijan Parsia]
      [Daniel Elenius]
      > It doesn't make sense to me, and I can see why it doesn't make sense to 
      > the JTP reasoner, it being very logical after all :)

   No, it just means that you don't have the right axioms.

There may be a technical limitation of JTP that prevents it from
making assertions about predicates.  However, if it's based on Kif
there shouldn't be any such limitation, because Kif allows such

                                             -- Drew McDermott
Received on Tuesday, 22 April 2003 09:02:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:05:10 UTC