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)
• To: jos.deroo@agfa.com
• Cc: www-webont-wg@w3.org
• Message-Id: <20030211.195147.112364489.pfps@research.bell-labs.com>

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 UTC