W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2008

Re: (compatibility) proposal to resolve ISSUE-137

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Fri, 22 Aug 2008 09:54:58 -0400
Message-Id: <BF76AC1C-104E-4E34-8591-EF0E0C0FDB9E@gmail.com>
Cc: public-owl-wg@w3.org
To: Peter F. Patel-Schneider <pfps@research.bell-labs.com>

Not surprisingly, this is a better solution to the problem. Thanks.

On Aug 22, 2008, at 9:08 AM, Peter F. Patel-Schneider wrote:

> Because ISSUE-137 involves backward compatibility, it is worthwhile to
> try to do something that might otherwise not be indicated.
>
> The basic idea of this proposal is to remove extraneous rdfs:Class and
> rdf:Property typing triples on URIs if (and only if) there is a  
> declaration
> in the imports closure that makes the typing triple redundant.
>
> So the graph
> 	ex:foo rdf:type rdf:Property
> would not be covered, but
> 	_:x rdf:type owl:Ontology
> 	_:x owl:imports ex:ontology
> 	ex:foo rdf:type rdf:Property
> 	ex:subject ex:foo ex:object
> would be covered if the graph at ex:ontology looked something like
> 	ex:foo rdf:type owl:ObjectProperty

Just to clarify, the expected situation would be something more like:

	ex:foo rdf:type rdf:Property
	ex:subject ex:foo ex:object

would be covered if the graph was located at ex:ontology and the  
following ontology imported it.
Ontology(ex:cleanup
     Import(ex:ontology)	
     Declaration(ObjectProperty(ex:foo))

Note that even prior to this proposed change, the graph at  
ex:ontology could have been
	ex:subject ex:foo ex:object

-Alan

>
>
> The only change would be to the reverse mapping.  It would go  
> something
> like:
>
> 1/ Remove Table 4 and the paragraph just before it.
>
> 2/ Add
>
> *************
> Section 3.3+ Backwards Compatability for Typing Triples
>
> Next, for backwards compatibility with OWL DL, certain redundant
> rdf:type triples are removed from G.
>
> Table X. Triples to be Deleted for Backwards Compatibility with OWL DL
>
> If AllDecl(O) contains this declaration ...
> 	... then these triples are deleted in G, if present.
>
> Declaration(Class(*:x))
> 	*:x rdf:type rdfs:Class
>
> Declaration(Datatype(*:x))
> 	*:x rdf:type rdfs:Class 	
>
> Declaration(ObjectProperty(*:x))
> 	*:x rdf:type rdf:Property
>
> Declaration(DataProperty(*:x))
> 	*:x rdf:type rdf:Property
>
> Declaration(AnnotationProperty(*:x))
> 	*:x rdf:type rdf:Property
>
>
> Table Y. More Triples to be Deleted for Backwards Compatibility  
> with OWL DL
>
> If G contains this pattern ....
> 	... then these triples are deleted in G.
>
> x rdf:type owl:Ontology 	
> 	x rdf:type owl:Ontology 	
>
> x rdf:type owl:DataRange
> x rdf:type rdfs:Class 	
> 	x rdf:type rdfs:Class
>
> x rdf:type owl:Restriction
> x rdf:type rdfs:Class 	
> 	x rdf:type rdfs:Class
>
> x rdf:type owl:Restriction
> x rdf:type owl:Class 	
> 	x rdf:type owl:Class
>
> x rdf:type rdf:List
> x rdf:first y
> x rdf:rest z 	
> 	x rdf:type rdf:List
>
> *************
>
> peter
>
>
Received on Friday, 22 August 2008 13:55:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 22 August 2008 13:55:47 GMT