I am new to using ONTOP in protege and I have a question about its use.
I have a small ontology that contains a class called OnConnectedState and an individual of that type "on_connected_state_1". With the following axiom: "satisfies some OnConnectedPrecondition".
When I use a Hermit reasoner, and create a DL query, I can query "satisfies some OnConnectedPrecondition" and the query will return my individual "on_connected_state_1".
Using ontop, I want to be able to query this information. So I run the ONTOP reasoner with no errors and have written the following sparql query:
PREFIX proc: http://www.semanticweb.org/procedure-ontology# SELECT ?s ?y WHERE { ?s proc:satisfies ?y }
However, the result comes up blank and there is no SQL translation.
What am I missing here? I am unclear why my "on_connected_state_1" individual does not appear.