LorenzBuehmann commented on issue #1852: URL: https://github.com/apache/jena/issues/1852#issuecomment-1528971551
I do not see any cycle in your "ontology". I mean neither did you mention any class hierarchy axiom not any property hierarchy axioms (resp. triples). > obejct properties: A :hasInclude B, A :hasApear C, B hasApear C. What does this mean, you defined domain and range for each property? That said, for your current ontology, a more light weight reasoner would be better, all you have is domain and range. Try some RDFS only profile, e.g. RDFS simple. The only rules being applied are ``` T(s, p, o), T(p, rdfs:domain, C) => T(s, rdf:type, C) T(s, p, o), T(p, rdfs:range, C) => T(o, rdf:type, C) ``` each has to be applied just once, no fix point iteration would be needed as the conclusions do not produce triples for the rules premises. Also, computing the inferences once and writing it into a TDB(2) database would be way more efficient for any future query. Wouldn't that be sufficient for you? For static data this would avoid i) loading all the data in-memory and ii) computing the inferences on each start and initial query. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
