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] [Bulk] Re: [empty enumerated class]

jayadianti herlina herlinajayadianti at gmail.com
Wed Feb 8 09:48:47 PST 2012


Hello Daniel
I think you still can make an ontology without having the individual on it.
Okey directly to the link Download
photography.owl<http://www.co-ode.org/ontologies/photography/photography.owl>
 and there are examples of ontology without having the individual.
have u check it?
About the tab (DL uery tab) is used to check your ontology and make query
on it.
Sorry, that's what I understand, but perhaps anyone can give a better answer
for you :)

Thanks
Lina


On Wed, Feb 8, 2012 at 5:24 PM, Maatary Daniel OKOUYA <okouya_d at yahoo.fr>wrote:

> Well I try to check the ontology ut i can't even classify it with Pellet,
> so doesn't sound good. About the tab, well i don't understand the link.
>
> In any case, my assumption is that the class must be equivalent to the
> class OWL:Nothing. Indeed, i have tried to enter {} in protege 4.1 to
> mentioned that the enumeration is empty but it doesn't work. In any case,
> my guess is that, a class that has its enumeration empty is equivalent to
> an unsatisfiable class.
>
> On Feb 8, 2012, at 6:03 PM, jayadianti herlina wrote:
>
> Hello Daniel
>
> It is possible Daniel
> You can check in http://protegewiki.stanford.edu/wiki/DLQueryTab
> and then go to http://www.co-ode.org/ontologies/photography/ and then go
> to link Download photography.owl<http://www.co-ode.org/ontologies/photography/photography.owl>(an OWL 2 ontology in RDF/XML)
> There is one good example about it
> I hope it can help you, Thank you :)
>
> Warm regards
> Lina
>
>
>
> On Wed, Feb 8, 2012 at 4:49 PM, Maatary Daniel OKOUYA <okouya_d at yahoo.fr>wrote:
>
>> Is it possible to specify a class as being empty. In other word, using
>> the enumeration feature. I want to say that a class is empty, no individual
>> in it. how can i do that?
>> ______________________________**_________________
>> protege-owl mailing list
>> protege-owl at lists.stanford.edu
>> https://mailman.stanford.edu/**mailman/listinfo/protege-owl<https://mailman.stanford.edu/mailman/listinfo/protege-owl>
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/**
>> doc/faq.html#01a.03 <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
>
>
>
> _______________________________________________
> 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/20120208/40ffafc2/attachment.html>


More information about the protege-owl mailing list