- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Wed, 4 Feb 2004 15:43:03 -0500 (EST)
- To: public-sws-ig@w3.org
> [Florian Probst]
> I nearly don't dare to ask the question, but what use is an ontology if
> you can not proof its consistency and infer new information from it?
> Currently I don't see another option than using DL-based reasoners.
> What are the advantages of using OWL-full that will weight up
> consistency checking and classification?
It's not clear whether you mean
What are the advantages ... that will outweigh consistency checking
and classification?
or What are the advantages ... that will support consistency checking
and classification?
In either case, you seem to be assuming that consistency checking and
inference are unavailable or ineffectual in Owl-Full? Am I correct?
--
-- Drew McDermott
Yale University CS Dept.
Received on Wednesday, 4 February 2004 15:43:19 UTC