DQL semantics

From: Ian Horrocks ([email protected])
Date: 03/04/02

• Next message: Mike Dean: "Joint Committee telecon today 5 March"
• Previous message: Frank van Harmelen: "DAML+OIL tutorial at XML.com"
• Next in thread: Richard Fikes: "Re: DQL semantics"
• Reply: Richard Fikes: "Re: DQL semantics"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

A preliminary proposal for a formalisation of the semantics of DQL can
be found at:

http://www.cs.man.ac.uk/~horrocks/Private/DAML/DQL-semantics.pdf

Regards, 

Ian and Sergio

• Next message: Mike Dean: "Joint Committee telecon today 5 March"
• Previous message: Frank van Harmelen: "DAML+OIL tutorial at XML.com"
• Next in thread: Richard Fikes: "Re: DQL semantics"
• Reply: Richard Fikes: "Re: DQL semantics"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST