[iris-reasoner-support] Request for support

[Wang, X. <xia...@de...>]

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_BelgiumChangeResidenceServi
ce_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(Unkn
own Source)

      at
org.deri.iris.evaluation.stratifiedbottomup.StratifiedBottomUpEvaluation
Strategy.<init>(Unknown Source)

      at
org.deri.iris.evaluation.stratifiedbottomup.StratifiedBottomUpEvaluation
StrategyFactory.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.registerOntologiesNoVeri
fication(DatalogBasedWSMLReasoner.java:981)

      at
org.wsml.reasoner.impl.DatalogBasedWSMLReasoner.registerOntologies(Datal
ogBasedWSMLReasoner.java:674)

      at
org.wsml.reasoner.impl.DatalogBasedWSMLReasoner.registerOntology(Datalog
BasedWSMLReasoner.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)