Search Mailing List Archives
[protege-owl] instances inferring
geraldine.abrami at cemagref.fr
Fri Apr 27 07:10:27 PDT 2007
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 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl