« Return to Thread: Re: [protege-owl] Protege 4 - Instance editor

Re: [protege-owl] Protege 4 - Instance editor

by Bo De Lange-2 :: Rate this Message:

Thanks for your insights and the links, Bijan. The link you gave for the taskforce was the same as for the integrity constraints (i.e. the OWLED2008 Sirin pdf). Could you please repost the proper link?

Thanks,

Bo

On Wed, Nov 12, 2008 at 2:38 PM, Bijan Parsia <bparsia@...> wrote:

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_Axioms

Furthermore, 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.pdf

And we have a sorta moribund (but highly successful) task force:
http://www.webont.org/owled/2008/papers/owled2008eu_submission_30.pdf

Hope this helps.

Cheers,
Bijan.

_______________________________________________
p4-feedback mailing list
p4-feedback@...
https://mailman.stanford.edu/mailman/listinfo/p4-feedback

_______________________________________________
p4-feedback mailing list
p4-feedback@...
https://mailman.stanford.edu/mailman/listinfo/p4-feedback

« Return to Thread: Re: [protege-owl] Protege 4 - Instance editor