[seek-kr-sms] growl: owl-dl or owl full?!

[Serguei Krivov]

I see as a major research challenge "consequence management". Let us
be reminded that an OWL-DL ontology is a bunch of axioms. The axioms
themselves are a means to an end. The semantics of them is the set of
models (or minimal models) of the axioms. We need to be getting better
at visualizing and querying the logical consequences of axioms (not
just the axioms as such). This is a tough one. 

Hi Bertram,