sparql - Pellet internalReasonerException in OWL API -

-

have been stuck 1 day , kind enough help? have loaded ontology imported sweet(semantic web earth , environmental ontology). did sparql query on it, , got such answer: "object property haslowerbound used hasvalue restriction value literal: "0"^^integer". (haslowerbound, have checked in sweet, datatype ontology in sweet)

how can solve problem?

here code wrote , error got,thank help~

public class load { public static void main(string[] args) throws owlontologycreationexception {     // hold of ontology manager     owlontologymanager manager = owlmanager.createowlontologymanager();      file file = new file("g:/protege/owlfiles/before_gather.owl");             // load local copy     owlontology loadmodis = manager.loadontologyfromontologydocument(file);      pelletreasoner reasoner =      pelletreasonerfactory.getinstance().createnonbufferingreasoner( loadmodis              );      knowledgebase kb = reasoner.getkb();     pelletinfgraph graph = new      org.mindswap.pellet.jena.pelletreasoner().bind( kb );     infmodel model = modelfactory.createinfmodel( graph );      string prefix = "prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-     ns#>" +             "prefix owl: <http://www.w3.org/2002/07/owl#>" +             "prefix xsd: <http://www.w3.org/2001/xmlschema#>" +             "prefix seaice: <http://www.semanticweb.org/seaiceontology#>" +             "prefix repr: <http://sweet.jpl.nasa.gov/2.3/reprdataformat.owl#>" +             "prefix realmcryo: <http://sweet.jpl.nasa.gov/2.3/realmcryo.owl#>" +             "prefix relamath: <http://sweet.jpl.nasa.gov/2.3/relamath.owl#>";     string select = "select ?dataset ";     string = "where {" +             "?dataset relamath:haslowerbound " + "\"0\"^^xsd:integer" +             "}" ;      queryexecution qe = sparqldlexecutionfactory.create(queryfactory.create(prefix + select + where), model);     resultset rs = qe.execselect();     resultsetformatter.out(system.out,rs);     rs = null;  qe.close();      reasoner.dispose();      //owlreasonersparqlengine sparqlengine=new owlreasonersparqlengine(new minimalprintingmonitor());     //sparqlengine.execquery(str.tostring(),dataset);      system.out.println("loaded ontology: " + loadmodis); } }

exception in thread "main" org.mindswap.pellet.exceptions.internalreasonerexception: object property haslowerbound used hasvalue restriction value literal: "0"^^integer @ org.mindswap.pellet.tableau.completion.rule.somevaluesrule.applysomevaluesrule(somevaluesrule.java:204) @ org.mindswap.pellet.tableau.completion.rule.somevaluesrule.apply(somevaluesrule.java:64) @ org.mindswap.pellet.tableau.completion.rule.abstracttableaurule.apply(abstracttableaurule.java:64) @ org.mindswap.pellet.tableau.completion.sroiqstrategy.complete(sroiqstrategy.java:157) @ org.mindswap.pellet.abox.isconsistent(abox.java:1423) @ org.mindswap.pellet.abox.isconsistent(abox.java:1260) @ org.mindswap.pellet.knowledgebase.consistency(knowledgebase.java:1987) @ org.mindswap.pellet.knowledgebase.isconsistent(knowledgebase.java:2061) @ org.mindswap.pellet.jena.pelletinfgraph.prepare(pelletinfgraph.java:258) @ org.mindswap.pellet.jena.pelletinfgraph.prepare(pelletinfgraph.java:241) @ com.clarkparsia.pellet.sparqldl.jena.sparqldlexecutionfactory.create(sparqldlexecutionfactory.java:113) @ com.clarkparsia.pellet.sparqldl.jena.sparqldlexecutionfactory.create(sparqldlexecutionfactory.java:261) @ com.clarkparsia.pellet.sparqldl.jena.sparqldlexecutionfactory.create(sparqldlexecutionfactory.java:226) @ loadmodis.load.main(load.java:78)

haslowerbound parsed data property , annotation property.

pellet checking data property case , assumes if property not data property must object property. case owl 2 ontologies, ontology not being parsed owl 2 compatible ontology - punning of annotation property , data property not allowed.

i'm not sure yet whether problem in ontology or in owlapi parsing of it.

edit: it's parsing issue. haslowerbound declared in relamath.owl data property. relamath.owl imports reprmath.owl, uses haslowerbound not declare it. reprmath.owl imports relamath.owl, there cyclic import there.

the problem that, during parsing: - relamath.owl parsed, import found, reprmath.owl import resolved; no declarations parsed yet. - reprmath.owl parsed, import found. relamath.owl being parsed, call nothing. entities declared in relamath.owl included while parsing reprmath.owl. problem: entities have not been parsed yet, set empty. haslowerbound found in reprmath no declaration exists yet. therefore owlapi defaults annotationproperty. - relamath.owl parsing continues, declaration found.

final result: ontology importing relamath.owl has illegal punning haslowerbound. owlapi bug.

workaround: add data property declaration reprmath.owl:

<owl:datatypeproperty rdf:about="#haslowerbound"/>

this might need done in more 1 ontology.


Comments

Post a Comment

Popular posts from this blog

SVG stroke-linecap doesn't work for circles in Firefox? -

-
i've got problem svg stroke-linecap attribute. i've got circular progress bar in angularjs , set outer circle (blue one) have rounded "ends". @ fiddle . <svg ... height="130" width="130"> <!-- ngif: background --> <circle ... ng-if="background" fill="#fff" class="ng-scope" stroke-width="13" stroke="#cc3399" r="57.5" cy="65" cx="65" stroke-linecap="round" /> <!-- end ngif: background --> <circle ... fill="none" stroke-dashoffset="36.12831551628261" stroke-dasharray="361.28315516282623" stroke-width="13" stroke="#432db3" stroke-linecap="round" r="57.5" cy="65" cx="65" transform="rotate(-89.9, 65, 65)" /> </svg> how can that? ...
Read more

routes - Laravel 4 Wildcard Routing to Different Controllers -

-
realizing i'm going take beating this, have several questions "best practices" when constructing laravel route. do laravel routes run "first come first serve" top bottom? if route found, pass control controller (or perform action) , terminate? i have part of application acts url shortner. so, route looks this: route::get('/{id}', array('as' => 'home.text', 'uses' => 'homecontroller@text'), function($id){ //make sure id exists before pushing controller. if (storage::where('shortcode','=', $id)->count() > 0) { // route found } }); how can improved? one, i'm not sure how pass processing on controller conditionally.. sort of controller::make() ..? 3) there better way in laravel check if record exists versus doing mode::where('column','=','value')->count() 4) have legacy urls http://url.com/?...
Read more

cross browser - XSLT namespace-alias Not Working in Firefox or Chrome -

-
i transforming xhtml xhtml, need xslt stylesheet part of resulting document (the stylesheet contained in <script type"text/template"> element. using the xsl:namespace-alias instruction, works fine in ie, fails in both chrome , firefox. here relevant code: <xsl:output doctype-system="about:legacy-compat" omit-xml-declaration="yes" indent="yes" method="html" media-type="application/xhml" encoding="utf-8"/> <xsl:namespace-alias stylesheet-prefix="wxsl" result-prefix="xsl" /> <xsl:template match="head"> <!-- code omitted clarity --> <script type="text/template"> <wxsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/xsl/transform" xmlns="http://www.w3.org/1999/xhtml" xmlns:xhtml="http://www.w3.org/1999/xhtml" xmlns:eli="local"> ...
Read more