Re: New DQL Specification

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 05/28/02

  • Next message: patrick hayes: "Re: New DQL Specification" 
    More problems with MIDs.

What happens in the following cases (some written in quasi English, because
the DAML+OIL would be too painful):


KB	John rdf:type _:r .
	_:r daml:onProperty friend .
	_:r daml:minCardinality 3 .

Query	John friend ?l .
	?l distinguished



KB	John rdf:type _:r .
	_:r daml:onProperty friend .
	_:r daml:minCardinality 3 .
	John friend _:f .

Query	John friend ?l .
	?l distinguished



KB	John rdf:type _:r .
	_:r daml:onProperty friend .
	_:r daml:minCardinality 3 .
	John friend _:f .
	John friend _:g .

Query	John friend ?l .
	?l distinguished


KB	John rdf:type _:r .
	_:r daml:onProperty friend .
	_:r daml:toClass Person .
	John rdf:type _:s .
	_:s daml:onProperty friend .
	_:s daml:minCardinality 1 .

Query	John friend ?l .
	?l distinguished


KB	John rdf:type [all friend Student OR all friend Employee ]
	John friend _:f .

Query	John friend ?l .
	?l distinguished


KB	John rdf:type [all friend Student OR all friend Employee ]
	John friend _:f .
	John friend _:g .

Query	John friend ?l .
	?l distinguished



KB	John rdf:type [all friend Student OR all friend Employee ]
	_:r daml:onProperty friend .
	_:r daml:minCardinality 2 .

Query	John friend ?l .
	?l distinguished



KB	John rdf:type [friend _:f OR friend _:g ]

Query	John friend ?l .
	?l distinguished

I believe that most of these do not have intuitive answers using MIDs.

peter

    This archive was generated by hypermail 2.1.4 : 05/28/02 EDT