DL Query

classic Classic list List threaded Threaded
11 messages Options
Reply | Threaded
Open this post in threaded view
|

DL Query

Tole Dipali

Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev

family.owl (89K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Lorenz Buehmann
Start the reasoner as explained in the message, you should read it again carefully:

"Go to the reasoner menu and select Start reasoner."

Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

kashyap sharma

To initialize reasoner you need to have some kind of reasoner. and kindly check you have mentioned followed information from the image. If you still have problem mail me again. Thank for checking out mistake, install latest protege 5.1 for better performance and compatible plugins only only or else it fail to start.




From: protege-dev <[hidden email]> on behalf of Lorenz B. <[hidden email]>
Sent: Saturday, January 21, 2017 5:35 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query
 
Start the reasoner as explained in the message, you should read it again carefully:

"Go to the reasoner menu and select Start reasoner."

Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

kashyap sharma
In reply to this post by Tole Dipali
kashyap sharma has shared OneDrive files with you. To view them, click the link or image below.



the relations are complicated for the reasoner to understand.

From: protege-dev <[hidden email]> on behalf of Tole Dipali <[hidden email]>
Sent: Saturday, January 21, 2017 1:53 PM
To: Developer support for WebProtege and Protege Desktop
Subject: [protege-dev] DL Query
 

Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Tole Dipali
In reply to this post by kashyap sharma

Hello,

 

I am using latest protégé 5.1 desktop version.

 

I have selected HermiT 1.3.8.413  but it gives the error as stated in my previous email  when I start the reasoner from reasoner menu.

 

 

 

 

Do I need to install any other plugin?

 

Thanks,

Dipali

 

From: protege-dev [mailto:[hidden email]] On Behalf Of kashyap sharma
Sent: Sunday, January 22, 2017 10:08 AM
To: Developer support for WebProtege and Protege Desktop <[hidden email]>
Subject: Re: [protege-dev] DL Query

 

To initialize reasoner you need to have some kind of reasoner. and kindly check you have mentioned followed information from the image. If you still have problem mail me again. Thank for checking out mistake, install latest protege 5.1 for better performance and compatible plugins only only or else it fail to start.

 


From: protege-dev <[hidden email]> on behalf of Lorenz B. <[hidden email]>
Sent: Saturday, January 21, 2017 5:35 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query

 

Start the reasoner as explained in the message, you should read it again carefully:

"Go to the reasoner menu and select Start reasoner."



Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Lorenz Buehmann
That error is not the reason for the message then. Something seems to be wrong with the reasoner initialization.
Which error do you get? Can you please post the whole stack trace here, which is shown when you click in the red triangle at the north east corner.

Hello,

 

I am using latest protégé 5.1 desktop version.

 

I have selected HermiT 1.3.8.413  but it gives the error as stated in my previous email  when I start the reasoner from reasoner menu.

 

 

 

 

Do I need to install any other plugin?

 

Thanks,

Dipali

 

From: protege-dev [[hidden email]] On Behalf Of kashyap sharma
Sent: Sunday, January 22, 2017 10:08 AM
To: Developer support for WebProtege and Protege Desktop [hidden email]
Subject: Re: [protege-dev] DL Query

 

To initialize reasoner you need to have some kind of reasoner. and kindly check you have mentioned followed information from the image. If you still have problem mail me again. Thank for checking out mistake, install latest protege 5.1 for better performance and compatible plugins only only or else it fail to start.

 


From: protege-dev <[hidden email]> on behalf of Lorenz B. <[hidden email]>
Sent: Saturday, January 21, 2017 5:35 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query

 

Start the reasoner as explained in the message, you should read it again carefully:

"Go to the reasoner menu and select Start reasoner."



Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 



_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Tole Dipali

Below is the log  as requested:

  • Level: INFO Time: 1485143285345 Message: ------------------------------------ Protege -----------------------------------
  • Level: INFO Time: 1485143285345 Message: Protege Desktop
  • Level: INFO Time: 1485143285345 Message: Version 5.1.0, Build
  • Level: INFO Time: 1485143285345 Message:
  • Level: INFO Time: 1485143285345 Message:
  • Level: INFO Time: 1485143285345 Message: ----------------------------------- Platform -----------------------------------
  • Level: INFO Time: 1485143285345 Message: Java: JVM 1.8.0_40-b26 Memory: 466M
  • Level: INFO Time: 1485143285360 Message: Language: en, Country: US
  • Level: INFO Time: 1485143285360 Message: Framework: Apache Software Foundation (1.7)
  • Level: INFO Time: 1485143285360 Message: OS: windows7 (6.1)
  • Level: INFO Time: 1485143285360 Message: Processor: x86-64
  • Level: INFO Time: 1485143285360 Message:
  • Level: INFO Time: 1485143285360 Message: ------------------------------------ Plugins -----------------------------------
  • Level: INFO Time: 1485143285360 Message: Plugin: Cellfie Protege 5.0+ Plugin (2.1.0)
  • Level: INFO Time: 1485143285360 Message: Plugin: OWL Code Generation Plug-in (2.0.0)
  • Level: INFO Time: 1485143285360 Message: Plugin: jcel (0.23.2)
  • Level: INFO Time: 1485143285360 Message: Plugin: Existential Query (2.0.0)
  • Level: INFO Time: 1485143285360 Message: Plugin: Explanation Workbench (3.0.0)
  • Level: INFO Time: 1485143285360 Message: Plugin: Ontop OBDA Protégé plugin (1.18.0)
  • Level: INFO Time: 1485143285360 Message: Plugin: OntoGraf (2.0.3)
  • Level: INFO Time: 1485143285360 Message: Plugin: DL Query (4.0.1)
  • Level: INFO Time: 1485143285360 Message: Plugin: HermiT (1.3.8.413)
  • Level: INFO Time: 1485143285360 Message: Plugin: Browser View (OWLDoc) (3.0.3)
  • Level: INFO Time: 1485143285360 Message: Plugin: OWLViz (5.0.3)
  • Level: INFO Time: 1485143285360 Message: Plugin: OWLAPI RDF Library (2.0.2)
  • Level: INFO Time: 1485143285360 Message: Plugin: snap-sparql-query-plugin (4.2.0)
  • Level: INFO Time: 1485143285360 Message: Plugin: Protege SPARQL Plugin (2.0.1)
  • Level: INFO Time: 1485143285360 Message: Plugin: SWRLTab Protege 5.0+ Plugin (1.1.4)
  • Level: INFO Time: 1485143285360 Message:
  • Level: INFO Time: 1485143291741 Message: Creating and setting up empty (default) editor kit
  • Level: INFO Time: 1485143291741 Message: OWL API Version: 4.2.6.20160910-2108
  • Level: WARN Time: 1485143306062 Message: Cannot generate ontology catalog for ontology at http://www.semanticweb.org/dt73315/ontologies/2017/0/untitled-ontology-46
  • Level: INFO Time: 1485143307263 Message: ------------------------------- Auto-update Check ------------------------------
  • Level: INFO Time: 1485143307263 Message: Auto-update last performed: Sat Jan 21 13:47:40 IST 2017
  • Level: INFO Time: 1485143307279 Message: Auto-update has not been performed today. Running it.
  • Level: INFO Time: 1485143307279 Message:
  • Level: INFO Time: 1485143307294 Message: ------------------------------ Running Auto-update -----------------------------
  • Level: INFO Time: 1485143307294 Message:
  • Level: INFO Time: 1485143307294 Message: --- Searching for plugins ---
  • Level: INFO Time: 1485143307793 Message: [Auto-Update] Checking https://raw.githubusercontent.com/protegeproject/autoupdate/master/update-info/5.0.0/plugins.repository
  • Level: INFO Time: 1485143307793 Message: [Auto-Update] Processing https://raw.githubusercontent.com/protegeproject/autoupdate/master/update-info/5.0.0/plugins.repository as a plugin registry
  • Level: INFO Time: 1485143311225 Message: [Auto-Update] Cannot read plugin registry at https://raw.githubusercontent.com/protegeproject/autoupdate/master/update-info/5.0.0/plugins.repository. Reason: Connection refused: connect
  • Level: INFO Time: 1485143311225 Message:
  • Level: INFO Time: 1485143320695 Message: OWL API Version: 4.2.6.20160910-2108
  • Level: INFO Time: 1485143320835 Message: ------------------------------- Loading Ontology -------------------------------
  • Level: INFO Time: 1485143320835 Message: Loading ontology from file:/C:/Users/dt73315/Desktop/family.owl
  • Level: INFO Time: 1485143321335 Message: Finished loading file:/C:/Users/dt73315/Desktop/family.owl
  • Level: WARN Time: 1485143323846 Message: OBDA model couldn't be loaded because no .obda file exists in the same location as the .owl file
  • Level: INFO Time: 1485143323846 Message: Loading for ontology and imports closure successfully completed in 3012 ms
  • Level: INFO Time: 1485143323846 Message:
  • Level: INFO Time: 1485143325890 Message: ---------------------------- Disposing of Workspace ----------------------------
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'SPARQL Query' tab
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'OntoGraf' tab
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'DL Query' tab
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'Individuals by class' tab
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'Entities' tab
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'SQWRLTab' tab
  • Level: INFO Time: 1485143325984 Message: Saved tab state for 'Active Ontology' tab
  • Level: INFO Time: 1485143325984 Message: Saved workspace
  • Level: INFO Time: 1485143325984 Message: Disposed of 'SPARQL Query' tab
  • Level: INFO Time: 1485143325984 Message: Disposed of 'OntoGraf' tab
  • Level: INFO Time: 1485143325984 Message: Disposed of 'DL Query' tab
  • Level: INFO Time: 1485143325984 Message: Disposed of 'Individuals by class' tab
  • Level: INFO Time: 1485143325984 Message: Disposed of 'Entities' tab
  • Level: INFO Time: 1485143325999 Message: Disposed of 'SQWRLTab' tab
  • Level: INFO Time: 1485143325999 Message: Disposed of 'Active Ontology' tab
  • Level: INFO Time: 1485143325999 Message: Disposed of workspace
  • Level: INFO Time: 1485143325999 Message:
  • Level: INFO Time: 1485143349268 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485143349315 Message:
  • Level: ERROR Time: 1485143349330 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)
  • Level: INFO Time: 1485143352997 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485143353012 Message:
  • Level: ERROR Time: 1485143353012 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)
  • Level: INFO Time: 1485143415556 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485143415572 Message:
  • Level: ERROR Time: 1485143415587 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)
  • Level: INFO Time: 1485143871953 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485143871968 Message:
  • Level: ERROR Time: 1485143871968 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)
  • Level: INFO Time: 1485143879753 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485143879753 Message:
  • Level: ERROR Time: 1485143879769 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)
  • Level: INFO Time: 1485164746833 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485164746880 Message:
  • Level: ERROR Time: 1485164746880 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)
  • Level: INFO Time: 1485164960168 Message: ------------------------------- Running Reasoner -------------------------------
  • Level: INFO Time: 1485164960184 Message:
  • Level: ERROR Time: 1485164960184 Message: An error occurred during reasoning: A SWRL rule uses a built-in atom, but built-in atoms are not supported yet.. java.lang.IllegalArgumentException StackTrace: org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1358) uk.ac.manchester.cs.owl.owlapi.SWRLBuiltInAtomImpl.accept(SWRLBuiltInAtomImpl.java:96) org.semanticweb.HermiT.structural.OWLNormalization$RuleNormalizer.visit(OWLNormalization.java:1242) org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(OWLNormalization.java:185) org.semanticweb.HermiT.structural.OWLNormalization.processOntology(OWLNormalization.java:167) org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:153) org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:208) org.semanticweb.HermiT.Reasoner.(Reasoner.java:199) org.semanticweb.HermiT.Reasoner.(Reasoner.java:173) org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51) org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19) org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) java.lang.Thread.run(Thread.java:745)

Thanks,

Dipali

 

From: protege-dev [mailto:[hidden email]] On Behalf Of Lorenz B.
Sent: Monday, January 23, 2017 3:13 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query

 

That error is not the reason for the message then. Something seems to be wrong with the reasoner initialization.
Which error do you get? Can you please post the whole stack trace here, which is shown when you click in the red triangle at the north east corner.

Hello,

 

I am using latest protégé 5.1 desktop version.

 

I have selected HermiT 1.3.8.413  but it gives the error as stated in my previous email  when I start the reasoner from reasoner menu.

 

 

 

 

Do I need to install any other plugin?

 

Thanks,

Dipali

 

From: protege-dev [[hidden email]] On Behalf Of kashyap sharma
Sent: Sunday, January 22, 2017 10:08 AM
To: Developer support for WebProtege and Protege Desktop [hidden email]
Subject: Re: [protege-dev] DL Query

 

To initialize reasoner you need to have some kind of reasoner. and kindly check you have mentioned followed information from the image. If you still have problem mail me again. Thank for checking out mistake, install latest protege 5.1 for better performance and compatible plugins only only or else it fail to start.

 


From: protege-dev <[hidden email]> on behalf of Lorenz B. <[hidden email]>
Sent: Saturday, January 21, 2017 5:35 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query

 

Start the reasoner as explained in the message, you should read it again carefully:

"Go to the reasoner menu and select Start reasoner."




Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center




_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Tole Dipali
In reply to this post by kashyap sharma

Hello Kashyap,

 

I done this tutorial from one of the you tube video .

As per yours comment relations are complicated.

Is it like DL query cannot work on complicated relations?

 

Also I tried to remove the relations between the instances but still not able to run the reasoner.

 

 

Thanks,

Dipali

 

 

From: protege-dev [mailto:[hidden email]] On Behalf Of kashyap sharma
Sent: Sunday, January 22, 2017 10:39 AM
To: Developer support for WebProtege and Protege Desktop <[hidden email]>
Subject: Re: [protege-dev] DL Query

 

kashyap sharma has shared OneDrive files with you. To view them, click the link or image below.

 


the relations are complicated for the reasoner to understand.


From: protege-dev <[hidden email]> on behalf of Tole Dipali <[hidden email]>
Sent: Saturday, January 21, 2017 1:53 PM
To: Developer support for WebProtege and Protege Desktop
Subject: [protege-dev] DL Query

 

Hello ,

 

I created the tutorial ontology

 

I was trying to  write the DL query on this ontology.

 

But if I start the reasoner from reasoner option, I am getting the below  error.

 

 

 

Is there anything specific that I need to set to start the reasoner?

 

Attaching the developed ontology for reference.

 

Thanks ,

Dipali

 

 

 

 

 


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Lorenz Buehmann
In reply to this post by Tole Dipali
"A SWRL rule uses a built-in atom, but built-in atoms are not supported yet"

That's the answer. HermiT doesn't support SWRL rules with built-in
atoms. I don't know why you have rules which are designed for SQWRL
queries in the ontology, those do not infer any data but are designed
for querying and debugging. I'd suggest to remove those rules.

Otherwise it will always lead to an error.
> A SWRL rule uses a built-in atom, but built-in atoms are not supported ye

--
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Tole Dipali
Hello,

Thanks for your help.

After removing all the queries written under SQWRL tab, I was able to get one step ahead.. that  is start reasoner.

Basically I was  trying to check if I can use both SQWRL and DL query tab together in my ontology.
So my question here is "Does this mean I cannot use DL query and SQWRL query tab together in my ontology?"

Thanks,
Dipali

-----Original Message-----
From: protege-dev [mailto:[hidden email]] On Behalf Of Lorenz B.
Sent: Monday, January 23, 2017 3:32 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query

"A SWRL rule uses a built-in atom, but built-in atoms are not supported yet"

That's the answer. HermiT doesn't support SWRL rules with built-in atoms. I don't know why you have rules which are designed for SQWRL queries in the ontology, those do not infer any data but are designed for querying and debugging. I'd suggest to remove those rules.

Otherwise it will always lead to an error.
> A SWRL rule uses a built-in atom, but built-in atoms are not supported
> ye

--
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
Reply | Threaded
Open this post in threaded view
|

Re: DL Query

Lorenz Buehmann
You could try to use a different reasoner like Pellet, but as long you use HermiT and keep rules using atoms like sqwrl:select in your ontology, it will lead to an error.

Hello,

Thanks for your help.

After removing all the queries written under SQWRL tab, I was able to get one step ahead.. that  is start reasoner.

Basically I was  trying to check if I can use both SQWRL and DL query tab together in my ontology.
So my question here is "Does this mean I cannot use DL query and SQWRL query tab together in my ontology?"

Thanks,
Dipali

-----Original Message-----
From: protege-dev [[hidden email]] On Behalf Of Lorenz B.
Sent: Monday, January 23, 2017 3:32 PM
To: [hidden email]
Subject: Re: [protege-dev] DL Query

"A SWRL rule uses a built-in atom, but built-in atoms are not supported yet"

That's the answer. HermiT doesn't support SWRL rules with built-in atoms. I don't know why you have rules which are designed for SQWRL queries in the ontology, those do not infer any data but are designed for querying and debugging. I'd suggest to remove those rules.

Otherwise it will always lead to an error.
A SWRL rule uses a built-in atom, but built-in atoms are not supported 
ye
--
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center


_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev
_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev


-- 
Lorenz Bühmann
AKSW group, University of Leipzig
Group: http://aksw.org - semantic web research center

_______________________________________________
protege-dev mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-dev