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] instances inferring

Timothy Redmond tredmond at stanford.edu
Sun Apr 29 22:23:43 PDT 2007


I have trouble believing that using FaCT++ would make this  
difference.  Could you send a small ontology?

-Timothy



On Apr 27, 2007, at 7:10 AM, Abrami Géraldine wrote:

> Dear Timothy
>
>
>
> Thanks for your answer and precision.
> Maybe It depends on the reasonner. I use Fact++ and when I compute  
> your ontology, I have NYInhabitants getting classified under  
> Person, but Sam doesn’t become a member of NYInhabitants, whereas  
> it doeas when I put NYInhabitants on the root directory.
>
> Strange…
>
>
>
> Geraldine
>
>
>
> De : protege-owl-bounces at lists.stanford.edu [mailto:protege-owl- 
> bounces at lists.stanford.edu] De la part de Timothy Redmond
> Envoyé : 26 April 2007 21:10
> À : User support for the Protege-OWL editor
> Objet : Re: [protege-owl] instances inferring
>
>
>
>
>
>> As far as I understood the Open World Assumption, when I create a  
>> new empty class (without restrictions) MyNewClass directly under  
>> owl:thing and run the reasonner I thought that all individuals  
>> would have been classified in this MyNewClass.
>>
>> Why does this not happen?
>>
> A new individual won't be classified into MyNewClass unless there  
> is proof that they belong there. The open world assumption does not  
> say anything about whether an new individual is in this new class.  
> Also the word "empty" is probably misleading. If you don't have any  
> restrictions or other assertions about a class then it is not  
> empty, you just don't know anything about it. An empty class would  
> be a subclass of owl:Nothing and such a class could not contain any  
> individuals by definition.
>
>
>
>
> The underlying question is : we want to create a defined class  
> NYInhabitants defined by the N&S restriction
>
> livesInCity hasValue NewYork
>
> If we put our NYInhabitants at the root level, then the resonner is  
> able to classify correctly people instances in our class.
>
> But if we put our NYInhabitants class under an empty Queries class,  
> then we dont get our people classified anymore..
>
>
>
> I could not replicate this. I did what you described and I created  
> an individual Sam that livesInCity NewYork. When I ran
>
>
>
>             ranOWL->Compute Inferred Types
>
>
>
>             went to the Individuals tab
>
>
>
>             clicked on NYInhabitants
>
>
>
> clicked on Inferred Types
>
>
>
> I saw Sam an an inferred member of NYInhabitants.
>
>
>
> -Timothy
>
> _______________________________________________
> 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/20070429/ffb73a05/attachment.html>


More information about the protege-owl mailing list