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

Re: possible changes to abstract syntax and direct semantics to support annotations and fix problem with imports

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 11 Feb 2003 19:51:47 -0500 (EST)
Message-Id: <20030211.195147.112364489.pfps@research.bell-labs.com>
To: jos.deroo@agfa.com
Cc: www-webont-wg@w3.org

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: Re: possible changes to abstract syntax and direct semantics to support annotations and fix problem with imports
Date: Wed, 12 Feb 2003 00:31:21 +0100

[...]

> OK
> Then I still wonder about the second testcase:
> 
> Does the merge of the following OWL Lite graph
> 
>   :x rdf:type owl:Thing.
>   :z rdf:type owl:Thing.
>   :x :y :z.                        # annotation triple
> 
> with the following OWL Lite graph
> 
>   :y rdf:type owl:ObjectProperty.
>   :v rdf:type owl:ObjectProperty.
>   :y rdfs:subPropertyOf :v.

The merge is not an OWL Lite graph so OWL Lite entailment does not apply.

> OWL Lite entail
> 
>   :x rdf:type owl:Thing.
>   :v rdf:type owl:ObjectProperty.
>   :z rdf:type owl:Thing.
>   :x :v :z.
> 
> 
> -- ,
> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 11 February 2003 19:51:59 GMT

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