Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-dev] DL Query

Tole Dipali ToleDipali at JohnDeere.com
Mon Jan 23 01:51:51 PST 2017


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:protege-dev-bounces at lists.stanford.edu] On Behalf Of Lorenz B.
Sent: Monday, January 23, 2017 3:13 PM
To: protege-dev at mailman.Stanford.EDU
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.

[cid:image001.jpg at 01D2758C.6BFADE80]



Do I need to install any other plugin?

Thanks,
Dipali

From: protege-dev [mailto:protege-dev-bounces at lists.stanford.edu] On Behalf Of kashyap sharma
Sent: Sunday, January 22, 2017 10:08 AM
To: Developer support for WebProtege and Protege Desktop <protege-dev at lists.stanford.edu><mailto:protege-dev at lists.stanford.edu>
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 <protege-dev-bounces at lists.stanford.edu<mailto:protege-dev-bounces at lists.stanford.edu>> on behalf of Lorenz B. <buehmann at informatik.uni-leipzig.de<mailto:buehmann at informatik.uni-leipzig.de>>
Sent: Saturday, January 21, 2017 5:35 PM
To: protege-dev at mailman.Stanford.EDU<mailto:protege-dev at mailman.Stanford.EDU>
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.

[cid:image002.jpg at 01D2758C.6BFADE80]


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

protege-dev at lists.stanford.edu<mailto:protege-dev at lists.stanford.edu>

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

protege-dev at lists.stanford.edu<mailto:protege-dev at lists.stanford.edu>

https://mailman.stanford.edu/mailman/listinfo/protege-dev

--

Lorenz Bühmann

AKSW group, University of Leipzig

Group: http://aksw.org - semantic web research center
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20170123/a1488dcc/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.jpg
Type: image/jpeg
Size: 40033 bytes
Desc: image001.jpg
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20170123/a1488dcc/attachment.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image002.jpg
Type: image/jpeg
Size: 17673 bytes
Desc: image002.jpg
URL: <http://mailman.stanford.edu/pipermail/protege-dev/attachments/20170123/a1488dcc/attachment-0001.jpg>


More information about the protege-dev mailing list