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

Abrami Géraldine geraldine.abrami at
Fri Apr 27 07:10:27 PDT 2007

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. 






De : protege-owl-bounces at [mailto:protege-owl-bounces at] 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.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the protege-owl mailing list