Hi Bo,
I'm sorry I don't have time to sort through your issues in detail.
Using owl axioms to inform knowledge acquisition is a time honored
practice. It does require, at the moment, an "extra owl" step. Alan
Rector calls this "sanctioning".
There is support coming in OWL 2 for at least a syntactic distinction
between sanctioning axioms and other sorts:
http://www.w3.org/2007/OWL/wiki/Syntax#Annotation_Property_AxiomsFurthermore, there is some move toward allowing epistemicish
constraints in as an extension of OWL, e.g.:
http://www.webont.org/owled/2008/papers/owled2008eu_submission_30.pdfAnd we have a sorta moribund (but highly successful) task force:
http://www.webont.org/owled/2008/papers/owled2008eu_submission_30.pdfHope this helps.
Cheers,
Bijan.
_______________________________________________
p4-feedback mailing list
p4-feedback@...
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
