Re: Inference of class type based on keyword and Modeling data types

Hi Sundar,

On 29 Dec 2009, at 11:11, Saiprasad, Sundar wrote:

> Hi
>
> This is what I want to achieve
>
> Assume I have the following defined
>
> Test:Animal rdf:type owl:Class
> Test:hasKeyword rdf:type owl:DatatypeProperty
> Test:hasKeyword rdf:domain Test:Animal
> Test:hasKeyword rdf:range  xsd:string
> Test:Carnivore  rdfs:subclassof Test:Animal
> Test:Carnivore rdfs:subClassOf [ a owl:Restriction ;
>                                  Owl:onProperty  Test:hasKeyword ;
>                                  Owl:hasValue "Lion" ]

Please note that your last statement says: "everything that is a  
carnivore has a keyword 'Lion'".

> Now if I have the following instance
>
> Test:animal1234  rdf:type Test:Animal
> Test:animal1234  Test:hasKeyword  "Lion"
>
> I would like to infer Test:animal1234 rdf:type Test:Carnivore. This  
> didn’t work for me. Am I missing something?

This only works if the above statement is the other way round:  
"everything that has a keyword 'Lion' is a carnivore".

> I would like to extend this further by having a set of strings  like  
> an enumerated type (For example , lion , tiger , wolf etc) as  
> defined in xsd and if the keyword matches one of it , the  
> corresponding type should get inferred. I would expect a change like  
> the following to support it :
> Test:Carnivore rdfs:subClassOf [ a owl:Restriction ;
>                                  Owl:onProperty  Test:hasKeyword ;
>                                  Owl:someValuesFrom  user-defined- 
> datatype that has the enumeration of all keywords ]
>
> If the data contains Test:animal1234  Test:hasKeyword “wolf”  , then  
> it should infer Test:animal1234 rdf:type Test:Carnivore
>
> Is this possible and if it is can it be modeled?

But why do you want to model "being a lion" via "has a keyword  
'Lion'"? Why not have classes Lion, Tiger etc., of which animal1234  
may or may not be an instance?

Cheers

Thomas

>
>
> How do I model such a user defined data type and refer to it?
>
>
> Thanks
> Sundar
>

+----------------------------------------------------------------------+
|  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
|  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |
+-----------------------------------------------------oOOO--(_)--OOOo--+

Skagway (n.)
   Sudden outbreak of cones on a motorway.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff