general axiom serialization looks wrong

classic Classic list List threaded Threaded
7 messages Options
Reply | Threaded
Open this post in threaded view
|

general axiom serialization looks wrong

Alan Ruttenberg-2
I write (ids in [])

mentions [IAO_0000142] some entity equivalentTo has_part some
('generically denotes' [IAO_0000219] some entity)

I see, with p4 rc1:

    <owl:Restriction>
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty
rdf:resource="http://purl.obofoundry.org/obo/IAO_0000142"/>
                <owl:someValuesFrom
rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <owl:onProperty
rdf:resource="http://www.obofoundry.org/ro/ro.owl#has_part"/>
        <owl:someValuesFrom>
            <owl:Restriction>
                <owl:onProperty
rdf:resource="http://purl.obofoundry.org/obo/IAO_0000219"/>
                <owl:someValuesFrom
rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
            </owl:Restriction>
        </owl:someValuesFrom>
    </owl:Restriction>
_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Annotation Properties

kotsomit
Hello,

Is it possible in Protégé 4 to define new annotation properties? More to the
point, is it possible to express hierarchies of annotation properties using
OWL 2's subAnnotationPropertyOf?

Thanks,

Dimitrios

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: Annotation Properties

Matthew Horridge
Hi Dimitrios,

In the P4 release, you cannot do this.  The next version will support  
this as it is supported by the next version of the OWL API.

Cheers,

Matthew



On 7 Jul 2009, at 21:07, Dimitrios Koutsomitropoulos wrote:

> Hello,
>
> Is it possible in Protégé 4 to define new annotation properties?  
> More to the
> point, is it possible to express hierarchies of annotation  
> properties using
> OWL 2's subAnnotationPropertyOf?
>
> Thanks,
>
> Dimitrios
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: general axiom serialization looks wrong

Nick Drummond
In reply to this post by Alan Ruttenberg-2
Hi Alan,

Sorry I don't understand what "mentions" and "generically denotes" mean.

p some A equivalentTo q some A

does appear to render very strangely but it works - one of the
restriction nodes is being treated as the subject of the triples

<owl:Restriction>
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#p"/>
                <owl:someValuesFrom rdf:resource="#A"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <owl:onProperty rdf:resource="#q"/>
        <owl:someValuesFrom rdf:resource="#A"/>
    </owl:Restriction>

in the same way a named class would:

<owl:Class rdf:about="#A">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#p"/>
                <owl:someValuesFrom rdf:resource="#A"/>
            </owl:Restriction>
        </owl:equivalentClass>
    </owl:Class>

Nick

2009/7/7 Alan Ruttenberg <[hidden email]>:

> I write (ids in [])
>
> mentions [IAO_0000142] some entity equivalentTo has_part some
> ('generically denotes' [IAO_0000219] some entity)
>
> I see, with p4 rc1:
>
>    <owl:Restriction>
>        <owl:equivalentClass>
>            <owl:Restriction>
>                <owl:onProperty
> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000142"/>
>                <owl:someValuesFrom
> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>            </owl:Restriction>
>        </owl:equivalentClass>
>        <owl:onProperty
> rdf:resource="http://www.obofoundry.org/ro/ro.owl#has_part"/>
>        <owl:someValuesFrom>
>            <owl:Restriction>
>                <owl:onProperty
> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000219"/>
>                <owl:someValuesFrom
> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>            </owl:Restriction>
>        </owl:someValuesFrom>
>    </owl:Restriction>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: general axiom serialization looks wrong

Alan Ruttenberg-2
Yes, but what's the <owl:Restriction> wrapper doing around the whole
thing, at top level.
-Alan

On Tue, Jul 21, 2009 at 1:05 PM, Nick
Drummond<[hidden email]> wrote:

> Hi Alan,
>
> Sorry I don't understand what "mentions" and "generically denotes" mean.
>
> p some A equivalentTo q some A
>
> does appear to render very strangely but it works - one of the
> restriction nodes is being treated as the subject of the triples
>
> <owl:Restriction>
>        <owl:equivalentClass>
>            <owl:Restriction>
>                <owl:onProperty rdf:resource="#p"/>
>                <owl:someValuesFrom rdf:resource="#A"/>
>            </owl:Restriction>
>        </owl:equivalentClass>
>        <owl:onProperty rdf:resource="#q"/>
>        <owl:someValuesFrom rdf:resource="#A"/>
>    </owl:Restriction>
>
> in the same way a named class would:
>
> <owl:Class rdf:about="#A">
>        <owl:equivalentClass>
>            <owl:Restriction>
>                <owl:onProperty rdf:resource="#p"/>
>                <owl:someValuesFrom rdf:resource="#A"/>
>            </owl:Restriction>
>        </owl:equivalentClass>
>    </owl:Class>
>
> Nick
>
> 2009/7/7 Alan Ruttenberg <[hidden email]>:
>> I write (ids in [])
>>
>> mentions [IAO_0000142] some entity equivalentTo has_part some
>> ('generically denotes' [IAO_0000219] some entity)
>>
>> I see, with p4 rc1:
>>
>>    <owl:Restriction>
>>        <owl:equivalentClass>
>>            <owl:Restriction>
>>                <owl:onProperty
>> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000142"/>
>>                <owl:someValuesFrom
>> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>>            </owl:Restriction>
>>        </owl:equivalentClass>
>>        <owl:onProperty
>> rdf:resource="http://www.obofoundry.org/ro/ro.owl#has_part"/>
>>        <owl:someValuesFrom>
>>            <owl:Restriction>
>>                <owl:onProperty
>> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000219"/>
>>                <owl:someValuesFrom
>> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>>            </owl:Restriction>
>>        </owl:someValuesFrom>
>>    </owl:Restriction>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: general axiom serialization looks wrong

Matthew Horridge
It types the main node of the translation of "q some A" as a  
restriction (would be OWL-Full otherwise).  This all looks fine to me.

Cheers,

Matthew


On 21 Jul 2009, at 18:08, Alan Ruttenberg wrote:

> Yes, but what's the <owl:Restriction> wrapper doing around the whole
> thing, at top level.
> -Alan
>
> On Tue, Jul 21, 2009 at 1:05 PM, Nick
> Drummond<[hidden email]> wrote:
>> Hi Alan,
>>
>> Sorry I don't understand what "mentions" and "generically denotes"  
>> mean.
>>
>> p some A equivalentTo q some A
>>
>> does appear to render very strangely but it works - one of the
>> restriction nodes is being treated as the subject of the triples
>>
>> <owl:Restriction>
>>        <owl:equivalentClass>
>>            <owl:Restriction>
>>                <owl:onProperty rdf:resource="#p"/>
>>                <owl:someValuesFrom rdf:resource="#A"/>
>>            </owl:Restriction>
>>        </owl:equivalentClass>
>>        <owl:onProperty rdf:resource="#q"/>
>>        <owl:someValuesFrom rdf:resource="#A"/>
>>    </owl:Restriction>
>>
>> in the same way a named class would:
>>
>> <owl:Class rdf:about="#A">
>>        <owl:equivalentClass>
>>            <owl:Restriction>
>>                <owl:onProperty rdf:resource="#p"/>
>>                <owl:someValuesFrom rdf:resource="#A"/>
>>            </owl:Restriction>
>>        </owl:equivalentClass>
>>    </owl:Class>
>>
>> Nick
>>
>> 2009/7/7 Alan Ruttenberg <[hidden email]>:
>>> I write (ids in [])
>>>
>>> mentions [IAO_0000142] some entity equivalentTo has_part some
>>> ('generically denotes' [IAO_0000219] some entity)
>>>
>>> I see, with p4 rc1:
>>>
>>>    <owl:Restriction>
>>>        <owl:equivalentClass>
>>>            <owl:Restriction>
>>>                <owl:onProperty
>>> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000142"/>
>>>                <owl:someValuesFrom
>>> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>>>            </owl:Restriction>
>>>        </owl:equivalentClass>
>>>        <owl:onProperty
>>> rdf:resource="http://www.obofoundry.org/ro/ro.owl#has_part"/>
>>>        <owl:someValuesFrom>
>>>            <owl:Restriction>
>>>                <owl:onProperty
>>> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000219"/>
>>>                <owl:someValuesFrom
>>> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>>>            </owl:Restriction>
>>>        </owl:someValuesFrom>
>>>    </owl:Restriction>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> [hidden email]
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback

_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback
Reply | Threaded
Open this post in threaded view
|

Re: general axiom serialization looks wrong

Alan Ruttenberg-2
On Tue, Jul 21, 2009 at 3:11 PM, Matthew
Horridge<[hidden email]> wrote:
> It types the main node of the translation of "q some A" as a restriction
> (would be OWL-Full otherwise).  This all looks fine to me.
>
> Cheers,
>
> Matthew

Yes. Unwedged now, thanks.
-Alan

>
>
> On 21 Jul 2009, at 18:08, Alan Ruttenberg wrote:
>
>> Yes, but what's the <owl:Restriction> wrapper doing around the whole
>> thing, at top level.
>> -Alan
>>
>> On Tue, Jul 21, 2009 at 1:05 PM, Nick
>> Drummond<[hidden email]> wrote:
>>>
>>> Hi Alan,
>>>
>>> Sorry I don't understand what "mentions" and "generically denotes" mean.
>>>
>>> p some A equivalentTo q some A
>>>
>>> does appear to render very strangely but it works - one of the
>>> restriction nodes is being treated as the subject of the triples
>>>
>>> <owl:Restriction>
>>>       <owl:equivalentClass>
>>>           <owl:Restriction>
>>>               <owl:onProperty rdf:resource="#p"/>
>>>               <owl:someValuesFrom rdf:resource="#A"/>
>>>           </owl:Restriction>
>>>       </owl:equivalentClass>
>>>       <owl:onProperty rdf:resource="#q"/>
>>>       <owl:someValuesFrom rdf:resource="#A"/>
>>>   </owl:Restriction>
>>>
>>> in the same way a named class would:
>>>
>>> <owl:Class rdf:about="#A">
>>>       <owl:equivalentClass>
>>>           <owl:Restriction>
>>>               <owl:onProperty rdf:resource="#p"/>
>>>               <owl:someValuesFrom rdf:resource="#A"/>
>>>           </owl:Restriction>
>>>       </owl:equivalentClass>
>>>   </owl:Class>
>>>
>>> Nick
>>>
>>> 2009/7/7 Alan Ruttenberg <[hidden email]>:
>>>>
>>>> I write (ids in [])
>>>>
>>>> mentions [IAO_0000142] some entity equivalentTo has_part some
>>>> ('generically denotes' [IAO_0000219] some entity)
>>>>
>>>> I see, with p4 rc1:
>>>>
>>>>   <owl:Restriction>
>>>>       <owl:equivalentClass>
>>>>           <owl:Restriction>
>>>>               <owl:onProperty
>>>> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000142"/>
>>>>               <owl:someValuesFrom
>>>> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>>>>           </owl:Restriction>
>>>>       </owl:equivalentClass>
>>>>       <owl:onProperty
>>>> rdf:resource="http://www.obofoundry.org/ro/ro.owl#has_part"/>
>>>>       <owl:someValuesFrom>
>>>>           <owl:Restriction>
>>>>               <owl:onProperty
>>>> rdf:resource="http://purl.obofoundry.org/obo/IAO_0000219"/>
>>>>               <owl:someValuesFrom
>>>> rdf:resource="http://www.ifomis.org/bfo/1.1#Entity"/>
>>>>           </owl:Restriction>
>>>>       </owl:someValuesFrom>
>>>>   </owl:Restriction>
>>>> _______________________________________________
>>>> p4-feedback mailing list
>>>> [hidden email]
>>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> [hidden email]
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>> _______________________________________________
>> p4-feedback mailing list
>> [hidden email]
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
> _______________________________________________
> p4-feedback mailing list
> [hidden email]
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback