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] reasoner error

Michael Wessel mi.wessel at tuhh.de
Fri Sep 8 07:00:02 PDT 2006


Am Friday 08 September 2006 15:25 schrieb Massimo Coletti:
> Daniel Goergen ha scritto:
> > Hello!
> >
> >
> > when i try to run racer pro I always get: DIG Reasoner Error: Only
> > integers, floats, booleans, or strings expected as values. [ID: ]
>
> i think it's a bug in the DIG language interface of Protege, when it
> deals with boolean values. Try to change the range of your boolean
> datatype properties (eg. to integer or string 'true' 'false').

No, this is not a bug. RacerPro only supports int, float, string, boolean, as indicated by 
the message. 

The DIG interface restriction yields the following message from Protege: 

"DIG 1.1 does not support the range specified for the datatype property ...." 

Here is an example OWL file demonstrating the use of datatype properties with RacerPro: 

<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns="http://www.owl-ontologies.com/Ontology1157723399.owl#"
  xml:base="http://www.owl-ontologies.com/Ontology1157723399.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="person"/>
  <owl:DatatypeProperty rdf:ID="married">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#boolean"/>
    <rdfs:domain rdf:resource="#person"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="age">
    <rdfs:domain rdf:resource="#person"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#float"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="zipcode">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#int"/>
    <rdfs:domain rdf:resource="#person"/>
  </owl:DatatypeProperty>
  <owl:DatatypeProperty rdf:ID="name">
    <rdfs:domain rdf:resource="#person"/>
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
  </owl:DatatypeProperty>
  <person rdf:ID="betty">
    <name rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Betty Smith</name>
    <age rdf:datatype="http://www.w3.org/2001/XMLSchema#float"
    >32.0</age>
    <zipcode rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
    >12345</zipcode>
    <married rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean"
    >true</married>
  </person>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin 2.2, Build 324)  http://protege.stanf
ord.edu -->

You can load it with RacerPorter (RacerPorter log): 

1 ? (OWL-READ-FILE "/home/mi.wessel/Protege_3.2_beta/dtp-test.owl")

Reading /home/mi.wessel/Protege_3.2_beta/dtp-test.owl...
done.
1 > |/home/mi.wessel/Protege_3.2_beta/dtp-test.owl|

(Note: no error message) 

and can query it using nRQL like this: 



4 ? (RETRIEVE
     (?X
      (DATATYPE-FILLERS
       (|http://www.owl-ontologies.com/Ontology1157723399.owl#age| ?X))
      (DATATYPE-FILLERS
       (|http://www.owl-ontologies.com/Ontology1157723399.owl#zipcode|
        ?X))
      (DATATYPE-FILLERS
       (|http://www.owl-ontologies.com/Ontology1157723399.owl#name|
        ?X))
      (DATATYPE-FILLERS
       (|http://www.owl-ontologies.com/Ontology1157723399.owl#married|
        ?X)))
     (?X |http://www.owl-ontologies.com/Ontology1157723399.owl#person|))

4 > (((?X |http://www.owl-ontologies.com/Ontology1157723399.owl#betty|)
      ((:TOLD-VALUE
        (|http://www.owl-ontologies.com/Ontology1157723399.owl#age|
         ?X))
       (32.0))
      ((:TOLD-VALUE
        (|http://www.owl-ontologies.com/Ontology1157723399.owl#zipcode|
         ?X))
       (12345))
      ((:TOLD-VALUE
        (|http://www.owl-ontologies.com/Ontology1157723399.owl#name|
         ?X))
       ("Betty Smith"))
      ((:TOLD-VALUE
        (|http://www.owl-ontologies.com/Ontology1157723399.owl#married|
         ?X))
       (#T))))

Regards, 

Michael 




More information about the protege-owl mailing list