RE: LANG: syntactic version for imports (and other things)

Good point, Jeff.  What that means is that a syntactic explanation for
owl:imports would require that for all the recursively imported ontologies
we fully expand all names and delete all namespace and xml:base assertions.
It still works, just not elegantly or readably.  

Yet another reason to have a genuine OWL syntax, and not this odd hodgepodge
that struggles repeatedly to create scope while satisfying the
meta-syntactic constraints of a language without scope.  The advantages of
having OWL syntax that satisfies RDF striping seem significantly outweighed
by the difficulty of creating a clean and meaningful syntax.

We are putting up barriers to the adoption of OWL that are unnecessary.  The
vast majority of the web has not yet bought in to this technology.  Rather
than simplifying their adoption, we are struggling to prop up a few existing
RDF tools.

I had thought that as long as we could translate to RDF triples, any surface
XML syntax would do.  If folks need to denormalize OWL to a striped syntax,
that's what XSLT is for.  Apparently we are in a DAML+OIL default position
where it is too late to discuss syntax (other than tag names), despite the
fact that there is no OWL syntax document. 

- Mike

-----Original Message-----
From: Jeff Heflin [mailto:heflin@cse.lehigh.edu]
Sent: Monday, September 16, 2002 9:10 AM
To: Smith, Michael K
Cc: Peter F. Patel-Schneider; www-webont-wg@w3.org
Subject: Re: LANG: syntactic version for imports (and other things)


Hi Mike,

There's a critical problem with this suggestion. The content of
ontologies do not actually occur inbetween the <owl:ontology> tags.
Therefore, your namespaces won't work correctly.  Note, I'd prefer it if
OWL actually had the <ontology> tags surround the classes and properties
defined in the ontology, but then we'd have to have to modify RDF's
syntax, which some in the group are loath to do.

Jeff


"Smith, Michael K" wrote:
> 
> Here is a suggestion, based on Peter's syntax, for the syntactic
> macro expansion of owl:imports using XML:Base.
> 
> Given
> 
> <rdf:rdf
>     xmlns     ="#" ...
>     owl:imports="uri1;...;uriN">
>  <owl:ontology about=""> ... </owl:ontology>
> </rdf:rdf>
> 
> Collect the transitive closure, (uri1...uriM), of the imports clauses.
> 
> Then return the original rdf:rdf tree with
> 
> 1. the owl:imports attribute deleted and,
> 2. for all uri in (uri1...uriM),
>    the correspondig owl:ontology component, augmented with
>    an XML:Base adjustment (must be first attribute) and
>    any namespace declarations on its parent rdf:rdf tag.
> 
> E.g.
> 
> <rdf:rdf
>     xmlns     ="#" ... >
>  <owl:ontology about=""> ... </owl:ontology>
>  <owl:ontology xml:Base="uri1"
>                xmlns:ns11="uri11" ...
>                xmlns:ns1i="uri1i"
>                about="">
>   ...
>  </owl:ontology>
>  ...
>  <owl:ontology xml:Base="uriM"
>                xmlns:nsM1="uriM1" ...
>                xmlns:nsMj="uriMj"
>                about="">
>   ...
>  </owl:ontology>
> 
> </rdf:rdf>
> 
> Null ontologies (for whatever reason) are ignored.
> 
> - Mike
> 
> Michael K. Smith, Ph.D., P.E.
> EDS - Austin Innovation Centre
> 98 San Jacinto, #500
> Austin, TX  78701
> 
> * phone: +01-512-404-6683
> * mailto:michael.smith@eds.com
> 
> -----Original Message-----
> From: Peter F. Patel-Schneider [mailto:pfps@research.bell-labs.com]
> Sent: Thursday, September 12, 2002 12:24 PM
> To: www-webont-wg@w3.org
> Subject: LANG: syntactic version for imports (and other things)
> 
> My suggestion would be that imports is an XML attribute on the enclosing
> tag of an ontology.
> 
> So an OWL ontology would look something like:
> 
> <rdf:RDF owl:imports="foo:bar">
>     ...
> </rdf:RDF>
> 
> where the document pointed at by foo:bar should contain an OWL ontology.
> (If it does not, then a null ontology is used.)
> 
> It would be nice to allow multiple imports, but this is not possible in
> XML, so the value would have to be a list of URLs.
> 
> Other things, like backward compatibility could be handled in the same
way.
> 
> peter

Received on Monday, 16 September 2002 18:12:48 UTC