- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Tue, 22 Apr 2003 09:02:07 -0400 (EDT)
- 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
assertions.
--
-- Drew McDermott
Received on Tuesday, 22 April 2003 09:02:11 UTC