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 14:32:17 PDT 2008


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 
>
>  
>




More information about the protege-owl mailing list