If you just want a rule to fire if a min/max cardinality is declared
then you have to match on the triples that make up the declaration
syntax. So I guess (unchecked) something like:
(?myclass rdfs:subClassOf ?restriction) (?restriction
owl:minCardinatlity 5) (?restriction owl:onProperty ?prop) ...
If you want to test whether a give instance satisfies such a constraint
then that's non-monotonic and not well suited to Jena rules. It's
possible but so painful as to not be worth bothering.
Dave
On 15/09/2022 13:21, Roman Shvetsov wrote:
Hello, guys!
I’m calculating performance with different reasoning engines.
For now I’ve got stuck on a problem of how can I implement rules for
generic rule reasoner with min/max cardinality?
With SWRL rules I could do it like this: “Rule: Subject(?p),
(hasRelation min 5 owl:Thing)(?s) -> ReasonedType(?p)”. How can I do
this with rules in generic rule reasoner?
<http://www.bayanat.ai/>
*
Roman Shvetsov*
* Senior Data Scientist*
**971589249942
**[email protected]
www.bayanat.ai <http://www.bayanat.ai>
<https://visit.gitex.com/Visitor/Registration/Pass?ShowCode=GITEX>
/*Disclaimer:* This communication may contain information which is
confidential. It is exclusively to the intended recipient(s). If you
are not the intended recipient(s), please: (1) notify the sender by
forwarding this email and delete all copies from your system and (2)
note that disclosure, distribution, copying or use of this
communication is strictly prohibited. /
