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] Error while using Hermit reasoner 1.2.4

Dário Abdulrehman dario.rehman at gmail.com
Wed Jul 7 13:48:41 PDT 2010


Thanks, I must have done it by accident while playing with the editor.

On Wed, Jul 7, 2010 at 4:29 PM, Timothy Redmond <tredmond at stanford.edu>wrote:

>
> The exception means what it says.  The OWL 2 specification states that you
> are not allowed to give the top data property a domain and range.  But you
> do this in your ontology:
>
>     <owl:DatatypeProperty rdf:about="&owl;topDataProperty">
>         <rdfs:range rdf:resource="&xsd;string"/>
>     </owl:DatatypeProperty>
>
>
> If this was done deliberately, then perhaps what you could do is to create
> a property called something like stringValuedDataProperty and give that a
> range of xsd:string.
>
> -Timothy
>
>
>
> On 07/07/2010 05:18 AM, Dário Abdulrehman wrote:
>
> I got the following stack trace while invoking Hermit reasoner 1.2.4.
> I am running Protégé 4.1.0 build 203 (with the embedded JVM).
>
>  I attached the (still incomplete) ontology I am building in the file
> ontology.owl.
>
>  So, after selecting Reasoner -> Classify this is the stack trace:
>
>  Error logged
> java.lang.IllegalArgumentException: Error: In OWL 2 DL, owl:topDataProperty
> is only allowed to occur in the super property position of SubDataPropertyOf
> axioms, but the ontology contains an axiom
> DataPropertyRange(owl:topDataProperty xsd:string) that violates this
> condition.
>         at
> org.semanticweb.HermiT.structural.OWLNormalization$AxiomVisitor.throwInvalidTopDPUseError(Unknown
> Source)
>         at
> org.semanticweb.HermiT.structural.OWLNormalization$AxiomVisitor.visit(Unknown
> Source)
>         at
> uk.ac.manchester.cs.owl.owlapi.OWLDataPropertyRangeAxiomImpl.accept(OWLDataPropertyRangeAxiomImpl.java:61)
>         at
> org.semanticweb.HermiT.structural.OWLNormalization.processAxioms(Unknown
> Source)
>         at
> org.semanticweb.HermiT.structural.OWLNormalization.processOntology(Unknown
> Source)
>         at
> org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(Unknown
> Source)
>         at org.semanticweb.HermiT.Reasoner.loadOntology(Unknown Source)
>         at org.semanticweb.HermiT.Reasoner.<init>(Unknown Source)
>         at org.semanticweb.HermiT.Reasoner.<init>(Unknown Source)
>         at
> org.semanticweb.HermiT.Reasoner$ReasonerFactory.createHermiTOWLReasoner(Unknown
> Source)
>         at
> org.semanticweb.HermiT.Reasoner$ProtegeReasonerFactory.createReasoner(Unknown
> Source)
>         at
> org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:264)
>         at java.lang.Thread.run(Thread.java:636)
>
>
> _______________________________________________
> protege-owl mailing listprotege-owl at lists.stanford.eduhttps://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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20100707/08bbeac2/attachment.html>


More information about the protege-owl mailing list