Good Afternoon.
There is no such RDFSExptRuleReasoner reasoner in standard Jena, or I
just cannot find the code in https://github.com/apache/jena
So I don't know what you're referring to. Can you explain this please?
hi all.
I'm using the reasoner RDFSExptRuleReasoner to enforce the rule:
With two classes X, Y if X is a subclass of Y, then X also has type Y.
Ok, so where is the rule Jena rule syntax?
Let's say I have 3 classes X,Y,Z:
X is a subclass of Y
Z is a subclass of Y
And I execute the query :
If A has type Y
And B has type Y
then A and B are the same.
Now you are talking about queries. How do you execute the "query"?
Also, in which domain does this hold? If John is a person and Mary is a
person, both are the same individual wouldn't maker sense so I'm
interested in your data.
=> Then I get X same as Y
I don't get that conclusion via A and B, also what do you mean by "get"?
But semantically, X is completely different from Y.
How can I handle this case?
We should start with sample data and the sample rules I guess
