Re: [OWLAPI-developer] question about equivalent classes

[Julia D. <jul...@gm...>]

Thank you Matthew,
Means it, that there are no way to ask the  reasoner
about connection between two classes
G_Protein-Coupled_Receptor_Kinase-Interactor-1
and
Signaling_Protein.
Thus, I have to make this kind of inferences by myself ?

Greetings,
Julia


On 7/30/07, Matthew Horridge <mat...@cs...> wrote:
>
>
> On 26 Jul 2007, at 13:22, Julia Dmitrieva wrote:
>
> > Hello list,
> > Sorry for may be a trivial question, I would like to know how to do
> > it, before
> > I choose the wrong way.
> > Could you explane me whether it is possible to retrieve the
> > information about the classes and properties
> > from equivalent axiom. Example from ncithesaurus.owl,
> >
> > The class A is defind as equivalent class of intersection of
> > other classes or restriction expressions:
> > for example
> > <owl:Class rdf:ID="G_Protein-Coupled_Receptor_Kinase-Interactor-1">
> > <rdfs:label>G Protein-Coupled Receptor Kinase-Interactor 1</
> > rdfs:label>
> > <code>C26184</code>
> > <owl:equivalentClass>
> >  <owl:Class>
> >   <owl:intersectionOf rdf:parseType="Collection">
> >    <owl:Class rdf:about="#Signaling_Protein"/>
> >    <owl:Restriction>
> >     <owl:onProperty
> > rdf:resource="#Gene_Product_Has_Biochemical_Function"/>
> >     <owl:someValuesFrom rdf:resource="#Signaling_Protein"/>
> >    </owl:Restriction>
> >    <owl:Restriction>
> >     <owl:onProperty rdf:resource="#Gene_Product_Encoded_By_Gene"/>
> >     <owl:someValuesFrom rdf:resource="#GIT1_Gene"/>
> >    </owl:Restriction>
> >    <owl:Restriction>
> >     <owl:onProperty
> > rdf:resource="#Gene_Product_Plays_Role_In_Biological_Process"/>
> >     <owl:someValuesFrom rdf:resource="#Signal_Transduction"/>
> >    </owl:Restriction>
> >   </owl:intersectionOf>
> >  </owl:Class>
> > </owl:equivalentClass>
> >
> > I hoop that reasoner can retrieve that G_Protein-
> > Coupled_Receptor_Kinase-Interactor-1 is
> > a subclass of Signaling_Protein, and also the subclass of the
> > restriction expressions.
> > But what is the normal way to retrieve this information.
> > If I,for example, ask reasoner.getSuperClasses() for the class
> > G_Protein-Coupled_Receptor_Kinase-Interactor-1,
> > will I get Signaling_Protein and set of restriction axioms back or
> > I have to parse equivalent class construction self ?
>
> The reasoner only returns named classes.  So, if you ask for the
> equivalent classes from the reasoner you will only get back named
> classes.  You need to query the asserted information using the normal
> API calls if you want anonymous classes back.
>
> >
> > Also the function reasoner.getSuperClasses() returns Set<Set
> > <OWLClass>> back . This is from the doc:
> > "The result of this will be a set of sets, where each set in the
> > collection represents an equivalence class."
> > Does it mean that I get the set of superclasses which are
> > equivalent to each other?
>
> Yes, so if you get back {{A, C} D} as super classes for class X then
> X essentially has two super classes, one which corresponds to D and
> one which corresponds the classes A and C (A and C are equivalent).
> You can 'flatten' these sets of sets into a single set if you want
> (use OWLReasonerAdapter.flattenSetOfSets)
>
> Cheers,
>
> Matthew
>
>
>