datatyper | Algebraic Data Type Code Generator for Java and Apache Maven

I am quite new in protege. I have been able to run some of the examples like pizza.owl or travel.owl. I then opened an ontology that someone else created and when I run the HermiT reasoner I get the following error:

I'm trying to model a directed graph in z3, but I've gotten stuck. I've added a single axiom to the graph here, being that the existence of an edge implies the existence of the nodes it connects. But just this alone results in unsat

I am having troubles understanding what might be causing the infinite recursion. There are two points that play a role in my problem

1. Depending on the place of definition of the global functions
2. Whether we mark the parameter as const-ref of the second function (either global or class member)

Here is the code

I have this REST API method

The problem I am facing is that reasoners (e.g. Pellet) do not categorise individuals into classes whose definitions make use of a data property restriction.

I have created a minimal OWL ontology example (based on the famous pizza example) in protege 5 to illustrate this problem.

There are three classes: MarghartiaPizza, LowCaloriePizza, HighCaloriePizza. There is a hasCalorificContentValue data property. There are two individuals of the MarghartiaPizza class, ExampleMarghartiaPizza and QuattroFormaggio, with 263 and 723 values respectively as their hasCalorificContentValue.

The HighCaloriePizza and LowCaloriePizza classes are defined as those with >=400, respectively <400, value along hasCalorificContentValue.

The question is, why doesn't the reasoner infer that the two individuals belong to the HighCaloriePizza and LowCaloriePizza classes based on their values?

is there anything wrong with syntax of my class expressions in High/LowCaloriePizza or the hasCalorificContentValue?

You should be able to copy/paste the code into a file, open it with protege 5, and try running the Pellet reasoner.

I'm using owlapi to return the individuals of a given class. while testing the code using pizza ontology it works perfectly but when i test it on my ontology the following exception apear :

I have this code for receiving messages:

For this string:

I am working on GoogleFit Api for daily steps count. I am getting the correct result. But when i sign out the application (In this case, app exit the Googlefit fragment's parent activity) After sign in again, i access the same fragment again, but Googlefit returns the stepsCount as zero and getting times out at result.await. Here is my Code. GoogleFitFragment.java