If X is a subclass of Y, then an instance of X is of type Y. yes. In Class X I have instance :X 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 >
