Re: Property instantiation

Hans--

I'm not going to try to tackle the example you sent offlist until I 
understand the simpler one!

As far as I can tell, the simple answer to "is
creator        rdf:type      isAuthorOf?"
is "no".  That isn't necessarily same as the answers to the other 
questions (I don't see them as being "i.e.", at least not yet).

I say "as far as I can tell" because I have some questions.

1.  Specifically, what do you mean by "triple at the OWL level"?  In the 
triple "Specialist  isAuthorOf   W3CRecommendation", I assume that 
Specialist and W3CRecommendation are classes, but how is isAuthorOf 
defined?  As an owl:ObjectProperty?  As a *subproperty* of 
owl:ObjectProperty?  Note also that OWL can have "instances" (but I'm 
assuming that when you say "OWL level" you really mean at the level 
where you define classes, right?).

2.  when you say you have "an instance such as
frank          creator        rdfPrimer",

a.  do you mean that this is supposed to be an instance of a "metalevel" 
triple "Specialist  isAuthorOf   W3CRecommendation"?  But there's no 
explicit connection between them given (that's mainly why my simple 
answer was no).  How are frank, creator, and rdfPrimer defined?

3.  Regarding "instantiating properties", an instance of a property is a 
subject/object pair (OWL Reference, Section 4).  Could you clarify what 
you mean?

4.  By "metaclasses of "Property" do you by any chance mean *subclasses* 
of Property (in OWL, either ObjectProperty or DatatypeProperty)?  E.g., 
instead of defining isAuthorOf as having rdf:type owl:ObjectProperty 
(i.e., as being an instance of a property), do you intend to define 
isAuthorOf as being a *subclass* of owl:ObjectProperty?  (You can do 
that, but wouldn't, say, defining creator as a subpropety of isAuthorOf 
do what you want?)

If I'm missing things that are really obvious, my excuse is I have a 
cold.  Also it's a holiday here (Patriot's Day--the start of the 
Revolutionary War), so further responses may be kind of slow.

--Frank


Hans Teijgeler wrote:
> Frank,
>  
> Small question, simple answer:
> If I have a triple at OWL level, such as  

Specialist  isAuthorOf   W3CRecommendation

> and an instance such as

frank          creator        rdfPrimer

> then is  

creator        rdf:type      isAuthorOf  ?

> i.e. do you also instantiate Properties?
> i.e. can I also have metaclasses of Property?
>  
> Regards,
> Hans
>

Received on Monday, 17 April 2006 15:32:49 UTC