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-owl] Protege3.2 b500 - SWRLTab error loadig knowledge into Jess (PART 2)

Martin O'Connor martin.oconnor at stanford.edu
Tue May 27 17:26:52 PDT 2008


It seems possible that you have inconsistent classes after you run the 
classifier.

However, I have removed this test from the bridge. Inconsistent classes 
are not necessarily a barrier to inference with rules. The change will 
be in the next beta.

Martin

Ralf Weinand wrote:

>Hi Martin,
>
>I use the following code, so I think the ontology should be consistent
>when I transfer the
>knowledge to Jess, since it should fail before, otherwise.
>
>        ProtegeReasoner reasoner =
>SemanticUtils.createProtegeReasoner(dataflowModel);
>
>        // perform owl reasoning
>        reasoner.computeInconsistentConcepts();
>        reasoner.classifyTaxonomy();
>        reasoner.computeInferredIndividualTypes();
>
>        // Create Jess rule engine and the bridge
>        // to copy swrl-rules and owl-facts to Jess.
>        Rete rete = new Rete();
>        SWRLJessBridge bridge = null;
>
>        // create the bridge from SWRL to Jess-Rules
>        bridge = new SWRLJessBridge(dataflowModel, rete);
>
>        // just in case...
>        bridge.reset();
>        bridge.resetRuleEngine();
>
>        // 1. copy swrl-rules and owl-facts to Jess
>        // 2. fire the SWRL-rules
>        // 3. updates the Protege-OWL-model with new facts
>        bridge.importSWRLRulesAndOWLKnowledge();
>        bridge.run();
>
>        bridge.writeInferredKnowledge2OWL();
>
>        // after the semantic bridge was executed,
>        // again perform owl reasoning
>        reasoner.computeInconsistentConcepts();
>        reasoner.classifyTaxonomy();
>        reasoner.computeInferredIndividualTypes();
>
>Ralf
>
>On Tue, May 27, 2008 at 11:32 PM, Martin O'Connor
><martin.oconnor at stanford.edu> wrote:
>  
>
>>It *appears* that your ontology is inconsistent before you send it to
>>Jess for inference.
>>
>>If it is consistent, then there is a problem somewhere. Let me know when
>>you get to it.
>>
>>Martin
>>
>>Ralf Weinand wrote:
>>
>>    
>>
>>>Hi Martin,
>>>
>>>I am not using the GUI, I do the DL-reasoning and then the
>>>SWRL-reasoning programmatically.
>>>
>>>Sorry I can not provide a sample ontology right now. I did switch back
>>>to build130 for now,
>>>since I have to get something ready for a conference end of this week.
>>>I´ll have a look at this issue again in about a week.
>>>
>>>Regards,
>>>Ralf
>>>
>>>
>>>
>>>On Tue, May 27, 2008 at 8:45 PM, Martin O'Connor
>>><martin.oconnor at stanford.edu> wrote:
>>>
>>>
>>>      
>>>
>>>>Did you run the reasoner before sending the ontology to OWL and get
>>>>errors? Try to make OWL:Nothing visible in the GUI (go to OWL |
>>>>Preferences... | Visibility) and see if it has any instances before the
>>>>transfer to Jess.
>>>>
>>>>Can you send me a sample ontology to reproduce the second error.
>>>>
>>>>The latest version of the SWRLTab has had quite a few changes to make it
>>>>work with the new API changes but it should be functionally identical to
>>>>the last build.
>>>>
>>>>Martin
>>>>
>>>>Ralf Weinand wrote:
>>>>
>>>>
>>>>
>>>>        
>>>>
>>>>>Hi Martin,
>>>>>
>>>>>with some other ontologies I get the following exception:
>>>>>
>>>>>edu.stanford.smi.protegex.owl.swrl.bridge.exceptions.InconsistentKnowledgeBaseException:
>>>>>cannot import rules from an inconsistent ontology
>>>>>
>>>>>and
>>>>>
>>>>>edu.stanford.smi.protegex.owl.swrl.bridge.exceptions.OWLFactoryException:
>>>>>empty class name in SWRLClassAtom: DefaultSWRLClassAtom(@PARSE_A29 of
>>>>>[DefaultOWLNamedClass(http://www.w3.org/2003/11/swrl#ClassAtom)])
>>>>>
>>>>>Is the latest version stricter about certain things?
>>>>>
>>>>>Ralf
>>>>>_______________________________________________
>>>>>protege-owl mailing list
>>>>>protege-owl at lists.stanford.edu
>>>>>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>>>>
>>>>>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>          
>>>>>
>>>>_______________________________________________
>>>>protege-owl mailing list
>>>>protege-owl at lists.stanford.edu
>>>>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>>>
>>>>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>>>>
>>>>
>>>>
>>>>        
>>>>
>>>_______________________________________________
>>>protege-owl mailing list
>>>protege-owl at lists.stanford.edu
>>>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>>
>>>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>>>
>>>
>>>
>>>      
>>>
>>_______________________________________________
>>protege-owl mailing list
>>protege-owl at lists.stanford.edu
>>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>>
>>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>>
>>    
>>
>_______________________________________________
>protege-owl mailing list
>protege-owl at lists.stanford.edu
>https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
>Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>
>  
>




More information about the protege-owl mailing list