W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2003

RE: owl:OntologyProperty

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 25 Mar 2003 17:05:49 +0100
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, <jjc@hplb.hpl.hp.com>
Cc: <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDEEFHCBAA.jjc@hpl.hp.com>


> I don't know what this has to do with owl:OntologyProperty, however.
>

Hmmm ...

Problem Statement
=================
e.g.

Ontology( <bar> Annotation( owl:priorVersion <foo> ) )
Ontology( <foo> )

can map to an RDF graph including the triple

owl:priorVersion rdf:type owl:OntologyProperty . **

(by the mapping rules of 20th March)
This seems a mistake.

Also the rdfs.html part of 20th March also has owl:OntologyProperty defined,
suggesting that in OWL Full we could write:

<eg:x> rdf:type owl:OntologyProperty . **

Both **ed triples seem incorrect, in terms of WG decisions, and my previous
e-mail in this thread.

Suggested Solution
==================

A fix is simply to not add the term from the vocabulary.
i.e. in
4.1

Annotation(ontologyPropertyID URIreference)

=>

O ontologyPropertyID URIreference .
URIreference rdf:type owl:Ontology .

(old triple
ontologyPropertyID rdf:type owl:OntologyProperty .
deleted)

and in

5.

delete entry in two tables for owl:OntologyProperty and replace with text:

[[

IOXP &subset; IOP  is the set of OWL ontology properties.
If e &isin; IOXP then EXT<sub>l</sub>(e) &subset; IXxIX.
Ontology properties relate ontologies to other ontologies.

]]

Jeremy
Received on Tuesday, 25 March 2003 11:06:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:58 GMT