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

(compatibility) proposal to resolve ISSUE-137

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Fri, 22 Aug 2008 09:08:36 -0400 (EDT)
Message-Id: <20080822.090836.222708753.pfps@research.bell-labs.com>
To: public-owl-wg@w3.org

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


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:09:31 GMT

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