<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
        {mso-style-priority:99;
        mso-style-link:"Plain Text Char";
        margin:0in;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
span.PlainTextChar
        {mso-style-name:"Plain Text Char";
        mso-style-priority:99;
        mso-style-link:"Plain Text";
        font-family:"Calibri","sans-serif";}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri","sans-serif";}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoPlainText">Tom,<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">The Functional Language Specification provides a grammar (section 13). That grammar includes certain tokens: Ontology, ObjectUnionOf, etc. In the proper places, these tokens are unambiguous. Suppose you write:<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText" style="margin-left:.5in">Class ( class-iri )<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">“Class” is one of a number of expected tokens, and “class-iri” is something that must be an IRI – one form for which is prefixed. So if you wanted to define OWL’s concept of an object property as a class, you would have to write:<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText" style="margin-left:.5in">Class ( owl:objectProperty )<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">which doesn’t happen to be legal. In fact, I don’t think there’s any place where you can, or would want to, use the owl prefix as an IRI. Go through the grammar and, if you find a place, let us know.<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">Regards,<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">Steve Wartik<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">-----Original Message-----<br>
From: p4-feedback-bounces@lists.stanford.edu [mailto:p4-feedback-bounces@lists.stanford.edu] On Behalf Of Tom Kramer<br>
Sent: Friday, November 15, 2013 2:04 PM<br>
To: Protege 4.x support and discussion<br>
Subject: Re: [p4-feedback] owl: prefix in OWL functional syntax</p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">Hello Matthew -<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">Thanks for your help. Based on studying the OWL 2 spec, I expect to see "owl:" in front of all the OWL terms. For example, owl:Ontology and owl:Class, rather than just Ontology and Class. The spec says the Prefix declaration for owl:
 may be omitted, but I do not see anything saying the prefix may be omitted from in front of OWL terms.<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">I have attached two versions of the pizza ontology. One I downloaded; it uses the owl: prefix several thousand times. The other I generated using Protege by reading in the first version and writing it out again in OWL functional syntax.
 It uses the owl: prefix twice. I do not understand by what authority it is omitted.<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">Tom Kramer<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">P.S. I looked at every use of "owl:" in the OWL 2 spec.<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">On 11/15/2013 12:17 PM, Matthew Horridge wrote:<o:p></o:p></p>
<p class="MsoPlainText">> Hi Tom,<o:p></o:p></p>
<p class="MsoPlainText">><o:p> </o:p></p>
<p class="MsoPlainText">> Can you provide an example of where you expect it to be used but it isn’t?<o:p></o:p></p>
<p class="MsoPlainText">><o:p> </o:p></p>
<p class="MsoPlainText">> Cheers,<o:p></o:p></p>
<p class="MsoPlainText">><o:p> </o:p></p>
<p class="MsoPlainText">> Matthew<o:p></o:p></p>
<p class="MsoPlainText">><o:p> </o:p></p>
<p class="MsoPlainText">><o:p> </o:p></p>
<p class="MsoPlainText">> On 15 Nov 2013, at 06:44, Tom Kramer <<a href="mailto:kramer@nist.gov"><span style="color:windowtext;text-decoration:none">kramer@nist.gov</span></a>> wrote:<o:p></o:p></p>
<p class="MsoPlainText">><o:p> </o:p></p>
<p class="MsoPlainText">>> Hello OWL support -<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> I am trying to improve my understanding of prefixes in OWL. I am puzzled by observing that the owl: prefix is not used by Protege in functional syntax notation. I spent about an hour looking for any documentation of this and found
 none. I have two hypotheses:<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> 1. The owl: prefix is required in functional syntax notation but Protege does not use it (neither does the Manchester syntax converter). In fact, Protege does not allow it, except that a Prefix declaration of owl: is allowed.<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> 2. The owl: prefix is not allowed in functional syntax notation (except, possibly, that a Prefix declaration of owl: is allowed) but that is not documented.<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> Is either of these correct? If not, what is?<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> Thanks.<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> Tom Kramer<o:p></o:p></p>
<p class="MsoPlainText">>><o:p> </o:p></p>
<p class="MsoPlainText">>> _______________________________________________<o:p></o:p></p>
<p class="MsoPlainText">>> p4-feedback mailing list<o:p></o:p></p>
<p class="MsoPlainText">>> <a href="mailto:p4-feedback@lists.stanford.edu"><span style="color:windowtext;text-decoration:none">p4-feedback@lists.stanford.edu</span></a><o:p></o:p></p>
<p class="MsoPlainText">>> <a href="https://mailman.stanford.edu/mailman/listinfo/p4-feedback">
<span style="color:windowtext;text-decoration:none">https://mailman.stanford.edu/mailman/listinfo/p4-feedback</span></a><o:p></o:p></p>
<p class="MsoPlainText">> _______________________________________________<o:p></o:p></p>
<p class="MsoPlainText">> p4-feedback mailing list<o:p></o:p></p>
<p class="MsoPlainText">> <a href="mailto:p4-feedback@lists.stanford.edu"><span style="color:windowtext;text-decoration:none">p4-feedback@lists.stanford.edu</span></a><o:p></o:p></p>
<p class="MsoPlainText">> <a href="https://mailman.stanford.edu/mailman/listinfo/p4-feedback">
<span style="color:windowtext;text-decoration:none">https://mailman.stanford.edu/mailman/listinfo/p4-feedback</span></a><o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
</div>
</body>
</html>