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] Represent facts about facts???

Kaarel Kaljurand kaljurand at gmail.com
Tue Feb 17 07:33:33 PST 2009


Hi,

I don't now much about RDF so the following answers might be wrong.

On Tue, Feb 17, 2009 at 3:42 PM, Harald Weis <harweis at gmail.com> wrote:
>
> Do I understand those OWL2 axiom annotations correctly that
> they essentially *do* use reification to represent the
> annotations?

Yes, in RDF, reification has to be used.

> For example, when I apply this mechanism to my original example
> where a fact:
>  facts:Ind1 facts:prop1 facts:val1
> should e.g. get annotated as annots:hasSource annots:source1:
> what would the OWL2 expression for this be?
>
> Would it look like this:
> PropertyAssertion( Annotation(annots:hasSource annots:source1)
> facts:Ind1 facts:prop1 facts:val1 )

Yes, this would be the functional-style representation.

> and as RDF would it then look like this: ?
>
>  facts:Ind1 facts:prop1 facts:val1
>  _:x rdf:type owl:Axiom
>  _:x owl:subject facts:Ind1
>  _:x owl:predicate facts:prop1
>  _:x owl:object facts:val1
>  _:x annots:hasSource annots:source1

Yes.

--
kaarel



More information about the protege-owl mailing list