- From: Evren Sirin <evren@clarkparsia.com>
- Date: Fri, 26 Jan 2007 15:22:26 -0500
- 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. Regards, Evren
Received on Friday, 26 January 2007 20:22:38 UTC