Oh Sorry ! That isn't what i'm wondering. that is true inferences. But i don't want get that.
Vào Th 3, 26 thg 7, 2022 vào lúc 14:45 Andy Seaborne <[email protected]> đã viết: > > > 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 > >> > > >
