For now I do experiments with full scope, so according to docs: * RDFS entailments * basic OWL axioms like ObjectProperty subClassOf Property * intersectionOf, equivalentClass and forward implication of unionOf sufficient for traversal of explicit class hierarchies * Property axioms (inverseOf, SymmetricProperty, TransitiveProperty, equivalentProperty)
I wonder if there are some know problems in production environment? > What features of the Micro OWL Reasoner? > > Andy
smime.p7s
Description: S/MIME cryptographic signature
