The same question as asked here: http://stackoverflow.com/questions/41882417/inferring-subclasses-with-jena-api
And again, Jena does not implement reasoning with OWL facets like minInclusive etc. The reason for is that full OWL 2 DL reasoning, algorithms like tableau or resolution are used and those are beyond simple rule-based forward-chaining reasoning like implemented in Jena. Even OWL RL [1] would not cover axioms like in your ontology. On the other hand, you could try to model those inferences by rules instead, i.e. you could try to rewrite such an axiom as a rule that covers its semantics. [1] https://www.w3.org/TR/owl2-profiles/#Profile_Specification_3 > Hello,I am guessing i cant share a link so below is what one of the sub > classes look like.When i create an instance of sequence which satisfies the > restriction below i expect jena to infer it being a BusRide but i dont get > that.I also made the super class "Sequence" a unionof all the restricted > subclasses.When i infer a sample of the output is despite giving an avg_speed > that satisifies the restriction.sequence1 is inferred to be in class > urn:absolute:VehicleClassification#Sequencesequence1 is inferred to be in > class http://www.w3.org/2000/01/rdf-schema#Resourcesequence1 is inferred to > be in class http://www.w3.org/2002/07/owl#Thingsequence1 is inferred to be in > class -68f948bd:159df30c0e5:-7fe3 > > > > > > <owl:Class > rdf:about="http://www.semanticweb.org/ayanleyo/ontologies/2017/0/untitled-ontology-3#BusRide";> > <owl:equivalentClass> > <owl:Class> > <owl:intersectionOf rdf:parseType="Collection"> > <rdf:Description > rdf:about="urn:absolute:VehicleClassification#Sequence"/> > <owl:Restriction> > <owl:onProperty > rdf:resource="urn:absolute:VehicleClassification#avg_speed"/> > <owl:someValuesFrom> > <rdfs:Datatype> > <owl:onDatatype > rdf:resource="http://www.w3.org/2001/XMLSchema#double"/> > <owl:withRestrictions > rdf:parseType="Collection"> > <rdf:Description> > <xsd:minInclusive > rdf:datatype="http://www.w3.org/2001/XMLSchema#double";>11.0</xsd:minInclusive> > </rdf:Description> > <rdf:Description> > <xsd:maxInclusive > rdf:datatype="http://www.w3.org/2001/XMLSchema#double";>50.0</xsd:maxInclusive> > </rdf:Description> > </owl:withRestrictions> > </rdfs:Datatype> > </owl:someValuesFrom> > </owl:Restriction> > </owl:intersectionOf> > </owl:Class> > </owl:equivalentClass> > </owl:Class> > > On Friday, 27 January 2017, 17:46, Olatunde Ayanleye > <[email protected]> wrote: > > > Hello, > Please i do need urgent assistance.I created classes using data > restriction.But i have issues when i try to infer this classes from instance > of the super class.The closest i get is an anonymous class which i suspect > might be the restriction though i might be wrong.I have also asked this > question on stack over flow with details of the ontology and my code snippet > present.The reply i got was facet restriction are not supported by jena.I > just want to confirm if this is the case and if there is anyway around > it.Details of my ontology can be found on the stack over flow link > below.Thanks > Inferring subclasses with Jena Api > > > | > | > | > | | | > > | > > | > | > | | > Inferring subclasses with Jena Api > I am using Jena api for semantic reasoning. I made use of restrictions to > create sub classes of a super class. A... | | > > | > > | > > > > Kind regards,Olatunde > > -- Lorenz Bühmann AKSW group, University of Leipzig Group: http://aksw.org - semantic web research center
