Re: [iris-reasoner-support] Request for support

[Florian F. <flo...@st...>]

Hi,
just a couple of quick questions:
- What version of IRIS and respectively WSML2Reasoner are you using?
- How does your java code look/how do you use WSML2Reasoner?
- What language variant is created ontology of? (Semantic-gov.org is 
currently unreachable for some reason) I am slightly disturbed by the 
unification operator ("=") in the axiom as that is not supposed to 
appear in the head  of formula (in WSML-Flight and WSML-Rule)

Removing the axiom and trying the query you included gives me
?x
_"http://www.semantic-gov.org/Italy#test"
as result.

Best,
Florian

Wang, Xia wrote:
> Hi, dear guys,
> 
>  
> 
> Can you give me any hint for my problems of IRIS reasoner.
> 
>  
> 
> The following is the created ontology by merging the wsmo ontology and 
> its webservices ontology.
> 
>  
> 
> Looking forward your help,
> 
>  
> 
> xia
> 
> -------------------------------------------------------------------------
> 
>  
> 
> ontology 
> _"http://www.wsmx.org/discovery/tempOntology-927853657218181538.wsml"
> 
>  
> 
>      importsOntology
> 
>           { 
> _"http://www.semantic-gov.org/Belgium#GeaInstancesForPAServices",
> 
>             _"http://www.wsmx.org/discovery/ontology-927853657218181539",
> 
>             
> _"http://www.semantic-gov.org/Italy#PA_Turin_BelgiumChangeResidenceService_gea"}
> 
>  
> 
> axiom _#
> 
>      definedBy
> 
>           ?person[_"http://www.semantic-gov.org/Italy#hasCitizenship" 
> hasValue ?cit] memberOf _"http://www.semantic-gov.org/Italy#Person"
> 
>   and ?cit = _"http://www.semantic-gov.org/Italy#belgianCitizenship".
> 
>  
> 
> instance _"http://www.semantic-gov.org/Italy#test" memberOf { 
> _"http://www.semantic-gov.org/Italy#TurinPoliceService", 
> _"http://www.semantic-gov.org/Ontologies/GEA#PublicService"}
> 
>      _"http://www.semantic-gov.org/Ontologies/GEA#hasPublicServiceType" 
> hasValue {_"http://www.semantic-gov.org/Belgium#ControlService", 
> _"http://www.semantic-gov.org/Belgium#BelgianCitizenChangeResidence" }
> 
>      _"http://www.semantic-gov.org/Ontologies/GEA#hasPADomain" hasValue 
> {_"http://www.semantic-gov.org/Belgium#SecurityService", 
> _"http://www.semantic-gov.org/Belgium#CitizenResidence" }
> 
>      
> _"http://www.semantic-gov.org/Ontologies/GEA#hasAdministrationLevel" 
> hasValue {_"http://www.semantic-gov.org/Belgium#Local", 
> _"http://www.semantic-gov.org/Belgium#European" }
> 
>      _"http://www.semantic-gov.org/Ontologies/GEA#hasLocation" hasValue 
> {_"http://www.semantic-gov.org/Belgium#PAServiceEntryPoint", 
> _"http://www.semantic-gov.org/Belgium#NotAvailable" }
> 
>      _"http://www.semantic-gov.org/Ontologies/GEA#isGovernedByLaw" 
> hasValue _"http://www.semantic-gov.org/Belgium#CivilCode_Art43"
> 
>      _"http://www.semantic-gov.org/Ontologies/GEA#hasEffectType" 
> hasValue _"http://www.semantic-gov.org/Belgium#UpdateResidenceInformation"
> 
>  
> 
>  
> 
> -------The BaseOnto is ready and the query starts now!
> 
>  
> 
>  
> 
> ****query is:
> 
>  ?x memberOf _"http://www.semantic-gov.org/Ontologies/GEA#PublicService" .
> 
>  
> 
> ???? http://www.wsmx.org/discovery/tempOntology-927853657218181538.wsml
> 
> _java.lang.IllegalArgumentException_: Can not evaluate a IS_BOOLEAN with 
> more than 0 variables (had 1).
> 
>       at org.deri.iris.builtins.AbstractBuiltin.evaluate(Unknown Source)
> 
>       at org.deri.iris.rules.compiler.Builtin.process(Unknown Source)
> 
>       at org.deri.iris.rules.compiler.CompiledRule.evaluate(Unknown Source)
> 
>       at 
> org.deri.iris.evaluation.seminaive.SemiNaiveEvaluator.evaluateRules(Unknown 
> Source)
> 
>       at 
> org.deri.iris.evaluation.stratifiedbottomup.StratifiedBottomUpEvaluationStrategy.<init>(Unknown 
> Source)
> 
>       at 
> org.deri.iris.evaluation.stratifiedbottomup.StratifiedBottomUpEvaluationStrategyFactory.createEvaluator(Unknown 
> Source)
> 
>       at org.deri.iris.KnowledgeBase.<init>(Unknown Source)
> 
>       at org.deri.iris.KnowledgeBaseFactory.createKnowledgeBase(Unknown 
> Source)
> 
>       at 
> org.wsml.reasoner.builtin.iris.IrisFacade.register(_IrisFacade.java:401_)
> 
>       at 
> org.wsml.reasoner.impl.DatalogBasedWSMLReasoner.registerOntologiesNoVerification(_DatalogBasedWSMLReasoner.java:981_)
> 
>       at 
> org.wsml.reasoner.impl.DatalogBasedWSMLReasoner.registerOntologies(_DatalogBasedWSMLReasoner.java:674_)
> 
>       at 
> org.wsml.reasoner.impl.DatalogBasedWSMLReasoner.registerOntology(_DatalogBasedWSMLReasoner.java:670_)
> 
>       at newpa.CheckBaseOnto.executequery(_CheckBaseOnto.java:109_)
> 
>       at newpa.CheckBaseOnto.run(_CheckBaseOnto.java:84_)
> 
>       at newpa.Query.run(_Query.java:41_)
> 
>       at newpa.Test.main(_Test.java:21_)
> 
>  
> 
>  
> 
>  
> 
> 
> ------------------------------------------------------------------------
> 
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> iris-reasoner-support mailing list
> iri...@li...
> https://lists.sourceforge.net/lists/listinfo/iris-reasoner-support