ucbl/HyLAR-Reasoner

Can we create new OWL individuals with HyLAR ? (is it DL Safe ?)

Opened this issue · 5 comments

benellefi commented

Hello,

Can we create new OWL individuals with HyLAR rules ? (is it DL Safe ?)

Thanks,

mterdjimi commented

Hello,

Yes you can create individuals with HyLAR rules. They will be DL-safe, cause the evaluation process will substitute each variable with known individuals from the KB.

May I see an example of rule you wanted to define?

Regards,

MT

crapthings commented

@mterdjimi hi, i have very similar issue.

if i want to make hylar as a service, and then provide each request that to create their own indiviuals, but keep original ontology clean each time of requeest.

any example?

what is keepOldValue used for ?

mterdjimi commented

keepOldValues is used to import data, then do deductive closure without erasing the current values in both the reasoner and store.
If you need to create your own individuals without persistence (if that's what you mean), it's better to rely on CONSTRUCT queries rather than reasoner rules.

crapthings commented

If you need to create your own individuals without persistence (if that's what you mean), it's better to rely on CONSTRUCT queries rather than reasoner rules.

  1. i want them to share some individuals created by ontology itself
  2. user will INSERT their own individuals that relates to built-in individual from step "1" for reasoning

will UserB see those individuals inside their query that made by UserA?

gick commented

I'd be interested to see a rule for creating new individuals.
Thank for the amazing work @mterdjimi by the way!