On 26/07/2022 08:36, Dương Hồ wrote:
If X is a subclass of Y,
then an instance of X is of type Y.
yes.
In Class X I have instance :X
If you say something is a class and also it is an instance (it is in the
class), you are going to get some weird inferences. You have a set that
is a member of itself.
As already asked: Show us the data and rules (a small, complete example).
Andy
so this look like
Vào Th 3, 26 thg 7, 2022 vào lúc 14:33 Andy Seaborne <[email protected]> đã
viết:
On 25/07/2022 16:17, Lorenz Buehmann wrote:
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?
If X is a subclass of Y,
then an instance of X is of type Y.
not, X is of type Y.
:a rdf:type :X .
=>
:a rdf:type :Y .
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
