Re: declaredAs

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.

Regards,
Evren