HyLAR-Reasoner icon indicating copy to clipboard operation
HyLAR-Reasoner copied to clipboard

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

Open benellefi opened this issue 4 years ago • 5 comments

Hello,

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

Thanks,

benellefi avatar Apr 01 '20 09:04 benellefi

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

mterdjimi avatar Apr 07 '20 08:04 mterdjimi

@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 ?

crapthings avatar May 15 '20 04:05 crapthings

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.

mterdjimi avatar May 15 '20 08:05 mterdjimi

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?

crapthings avatar May 15 '20 09:05 crapthings

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

gick avatar Oct 24 '21 06:10 gick