Sorun giderilemiyor Münzevi mantıksallama hatası

Question

Bir ontolojide mantık yürütmeye çalışıyorum. Münzevi şu hatayı gösterir:

Error 1 Logged at Tue Apr 12 22:20:40 EDT 2016 
UnsupportedFacetException: The facet with URI 'http://www.w3.org/2001/XMLSchema#minInclusive' does not support '"0.5"^^xsd:double' as value. The value should be an integer, a decimal, or a rational, but this seems not to be the case in the datatype restriction org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler@1fc700c 
    org.semanticweb.HermiT.datatypes.owlreal.OWLRealDatatypeHandler.validateDatatypeRestriction(OWLRealDatatypeHandler.java:139) 
    org.semanticweb.HermiT.datatypes.DatatypeRegistry.validateDatatypeRestriction(DatatypeRegistry.java:101) 
    org.semanticweb.HermiT.structural.OWLClausification$DataRangeConverter.visit(OWLClausification.java:819) 
    uk.ac.manchester.cs.owl.owlapi.OWLDatatypeRestrictionImpl.accept(OWLDatatypeRestrictionImpl.java:139) 
    org.semanticweb.HermiT.structural.OWLClausification$DataRangeConverter.convertDataRange(OWLClausification.java:763) 
    org.semanticweb.HermiT.structural.OWLClausification$NormalizedAxiomClausifier.visit(OWLClausification.java:601) 
    uk.ac.manchester.cs.owl.owlapi.OWLDataSomeValuesFromImpl.accept(OWLDataSomeValuesFromImpl.java:95) 
    org.semanticweb.HermiT.structural.OWLClausification.clausify(OWLClausification.java:216) 
    org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:154) 
    org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:221) 
    org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:212) 
    org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:187) 
    org.semanticweb.HermiT.Reasoner$ReasonerFactory.createHermiTOWLReasoner(Reasoner.java:2359) 
    org.semanticweb.HermiT.Reasoner$ReasonerFactory.createReasoner(Reasoner.java:2329) 
    org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:21) 
    org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:398) 
    org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:354) 
    java.lang.Thread.run(Unknown Source) 

Hatayı düzeltmek için yardıma ihtiyacım var. Bir metin düzenleyicide ontolojiyi açarak http://www.w3.org/2001/XMLSchema#minInclusive ve 0.5 URL'lerini aradım ancak ikisi de bulunamadı.

Hataya neden ve nasıl giderebilirim?

Pellet ile uzun bir süre için Reasoner: Initialization in Progress iletisini alıyorum, ancak hiçbir şey olmuyor. Snorocket yürütülür ancak aksiyomların çıktısını almaz, sadece sınıf eşdeğerine dayalı alt sınıf bilgileri.

UPDATE1

konu ithal ontolojilerin biriyle olduğunu. Hatanın kökü belirlemek için her birini ayrı ayrı içe aktardım.

Update2 İşte

Ontolojiye URL: Aynı hatayı alırsanız

http://ovae.googlecode.com/svn/trunk/src/ontology/ovae.owl

kontrol edin

Answer 1

sorun "0.5" double olarak yazıldığından emin olduğunu ancak desteklenen yönlerde (özelliklerde) ondalık veya rasyonel tip olmalı, iki katına değil. '0.5' kendisi iyi, türün değişmesi gerekiyor.

<rdfs:Datatype> 
    <owl:onDatatype rdf:resource="&xsd;decimal"/> 
    <owl:withRestrictions rdf:parseType="Collection"> 
     <rdf:Description> 
      <xsd:minExclusive rdf:datatype="&xsd;double">0.5</xsd:minExclusive> 
     </rdf:Description> 
    </owl:withRestrictions> 
</rdfs:Datatype> 

Sen &xsd;decimal