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] DIG Reasoner Error: General Ask Error [ID: ]

Tania Tudorache tudorache at stanford.edu
Fri Aug 31 16:05:05 PDT 2007


Maria,

What version of Protege did you use?

In the last Protege release 3.3.1, the swrl classes and properties (e.g. 
swrl:AtomList) are filtered from the DIG translation and are not sent to 
the reasoner.

In case you did use Protege 3.3.1, can you please send us the ontology, 
so that we can debug this?

Thanks,
Tania


Maria Michou wrote:
> Hello,
>
> I am new to Protege.
>
> I have enabled the SWRL Tab and have imported the SWRL ontology.
> When I did this, new classes were added to my taxonomy, like rdf:List, 
> swrl: Atom, swrl: AtomList, swrl:Variable, etc.
>
> I am currently using Pellet version 1.5
>
> I checked consistency (OWL -> Check Consistency) and it had no error.
> The problem is when I run OWL -> Compute inferred types, I get this error:
> "DIG Reasoner Error: General Ask Error [ID: ]" and it has to do with 
> the class rdf: List (superclass of swrl: AtomList)
>
> The Protege's command line has no error, but Pellet's command line has 
> the output:
> "java.lang.RuntimeException: rdf:List is an unknown class!"
>
> Additionally, when I check concept concistency, I get rdf: List 
> inconsistent (same with swrl: AtomList).
>
> I can't erase rdf: List, because this class is gray-shaded.
>
> Any help would be appreciated.
> Thank you in advance,
>
> Maria
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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