please define "Type" (as in Individuals by Type)

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

please define "Type" (as in Individuals by Type)

Rich Morin
I'm a bit confused by these views

  View > Individual Views > Individuals by Type
  View > Individual Views > Individuals by Type (inferred)

In the Pizza ontology, I get:

  Country (5)
    France
    ...
  Thing (5)
    France
    ...

France is listed under the Country and Thing classes, but not
under DomainConcept.  How does a "type" differ from a "class"?
Can someone provide or point me to an explanation?

-r
--
http://www.cfcl.com/rdm            Rich Morin
http://www.cfcl.com/rdm/resume     [hidden email]
http://www.cfcl.com/rdm/weblog     +1 650-873-7841

Technical editing and writing, programming, system design
_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: please define "Type" (as in Individuals by Type)

Thomas Schneider-5
A "type" of an individual is a class that this individual is an  
instance of. See also §§9.2.5 and 9.2.6 of the OWL syntax spec:

    http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#Object_Property_Domain
    http://www.w3.org/TR/2009/CR-owl2-syntax-20090611/#Object_Property_Range

The reason why France does not occur under all classes it is inferred  
to be a member of, is that the Protégé GUI only shows heuristically  
selected entailments in the different views -- the reason being that  
there are always infinitely many entailments of any given ontology. If  
you need all types of France you'll need to ask for "{France}" in the  
DL Query tab and make sure you've checked "Super classes" and  
"Ancestor classes".

Cheers

Thomas

On 14 Jul 2010, at 22:36, Rich Morin wrote:

> I'm a bit confused by these views
>
>  View > Individual Views > Individuals by Type
>  View > Individual Views > Individuals by Type (inferred)
>
> In the Pizza ontology, I get:
>
>  Country (5)
>    France
>    ...
>  Thing (5)
>    France
>    ...
>
> France is listed under the Country and Thing classes, but not
> under DomainConcept.  How does a "type" differ from a "class"?
> Can someone provide or point me to an explanation?
>
> -r
> --
> http://www.cfcl.com/rdm            Rich Morin
> http://www.cfcl.com/rdm/resume     [hidden email]
> http://www.cfcl.com/rdm/weblog     +1 650-873-7841
>
> Technical editing and writing, programming, system design
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
+----------------------------------------------------------------------+
|  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--+

Kirby (n.)
   Small but repulsive piece of food prominently attached to a person's
   face or clothing.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff








_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback

PGP.sig (210 bytes) Download Attachment