I am pretty new to using Jena and OWL. I have read many great tutorials regarding RDF and OWL. The focus of those tutorials has largely been how to structure the ontology and define restrictions on properties and such. However, I have not been able to find good tutorials that explain how inference is done and how I can define my own inference rules. I'm wondering if I am simply not searching for the right thing.
Regardless, here is a significant example that I think will really help me get started with inference using Jena. I created a minimal example to enable discussion. Here is a pastebin: https://pastebin.com/ScTGcbcZ The ontology has two classes, RosterEntry and Person and three data properties, Signature (associated with RosterEntry), and FirstName and LastName (both associated with Person). The example also has two RosterEntry individuals with signatures of "Bob Smith" and "Sally Jones." I would like to write a rule that causes Jena to infer the following new facts: <owl:Individual> > <rdf:type > rdf:resource="http://example.com/ont/roster/Person"; /> > <hasFirstName>Bob</hasFirstName> <hasLastName>Smith</hasLastName> </owl:Individual> <owl:Individual> > <rdf:type > rdf:resource="http://example.com/ont/roster/Person"; /> > <hasFirstName>Sally</hasFirstName> <hasLastName>Jones</hasLastName> </owl:Individual> How do I do that? Full answers or nudges in the right direction are both very welcome. Thank you! Ken
