Currently I am working on moving some ontology examples from the Protege environment onto Stardog. In the process I have found that using anonymous classes to define my classes is giving me an error when I go to query for all (inferred) instances of that class. For example, if within Protege I define Class A as being equivalent to "property some Class B" and have a couple of instances which have the property property with an element of Class B when I go to query for all elements of Class A I get an error message.
More specifically I am getting an IllegalArgumentException. I am currently using SL reasoning, do I have to use DL reasoning? If I want to use both DL reasoning and SWRL/STARDOG rules for some reason how would one go about doing that?