W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

Re: declaredAs

From: Evren Sirin <evren@clarkparsia.com>
Date: Fri, 26 Jan 2007 15:22:26 -0500
Message-ID: <45BA6302.9090207@clarkparsia.com>
To: Boris Motik <bmotik@cs.man.ac.uk>
CC: 'Matthew Horridge' <matthew.horridge@cs.man.ac.uk>, public-owl-dev@w3.org

On 1/26/07 2:42 PM, Boris Motik wrote:
> That is perfectly true. First of all, declarations are not obligatory. Many
> people don't want them, and in fact think that requiring declarations might
> inhibit the openness of the Web infrastructure. Therefore, you need to
> distinguish declarations from typing.
In OWL 1.0, there is not really a difference between declarations and 
typing. Having a triple <p, rdf:type, owl:ObjectProperty>  constitutes 
its declaration (as on object property in this case). I agree that 
requiring declaration for every resource is not a good idea. OWL-DL 
requires every resource to be typed and it turns out that many 
ontologies out on the Web fall into OWL-DL expressivity but do not meet 
this requirement. But now are we separating declarations from typing and 
say that declarations are not required but typing still is?

And if I understand the mapping from RDF graphs to OWL 1.1 correctly, an 
ontology that has just the above triple (or any any number of rdf:type 
triples where the object is one of owl:ObjectProperty, 
owl:DatatypeProperty, or owl:Class) will be mapped to an empty OWL 1.1 
ontology. I don't think this is a desired result.

Received on Friday, 26 January 2007 20:22:38 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:14 UTC