DAML parsing/querying

Hi.

I would appreciate if someone enlightened me on this

Since DAML is based on XML then one might consider using an XML parser to
effectively parse a DAML file. Right?
On the other hand a DAML parser is able to give more information regarding a
DAML file since it would parse the DAML into triples.
Which triples can be considered more useful than others when making a
querying?

Example1: the following is an instance of a CS-Staff member

IsAMemberOf(John,CS-Staff) =>
                            CS-Staff is the Subject
                            IsAMemberOf is the Predicate
                            John is the Object

So I would say that DatatypeProperties in a DAML file are important since
from them one can get to the type of relations as above

One can query for example: “Which are the staff members in the Computer
Science department?”
And this would return with all the values that the IsAMemberOf( x,CS-Staff)
represents.

Example 2: Assuming the following is correct….OR NOT?
<daml:Class rdf:ID="Member">
  <rdfs:label>Member</rdfs:label>
  <rdfs:comment>represents a member of the lecturing staff</rdfs:comment>
  <rdfs:subClassOf rdf:resource="
http://www.daml.org/2001/03/daml+oil-ex#Person" />
  <rdfs:subClassOf rdf:resource="
http://cicho0.tripod.com/cs_Staff_ont#Lecturing-Staff" />
  <rdfs:subClassOf>
     <daml:Restriction daml:maxCardinality="1">
             <daml:onProperty rdf:resource="#hasOffice" />
     </daml:Restriction>
  </rdfs:subClassOf>
  </daml:Class>

This block of daml code above represents a class Member which is a subclass
of a Person class and a Lecturing-Staff class and also a subclass of the
abstract class where a Member has only one office(defined elsewhere).
Such a number of statements when parsed with a DAML parser would result in a
number of triples, some being more useful than others when querying.
Such triple as:
      Subject :    http://cicho0.tripod.com/cs_Staff_ont#Lecturing-Staff
      Predicate:  subClassOf
      Object :    Member

      Subject :    http://www.daml.org/2001/03/daml+oil-ex#Person
      Predicate:  subClassOf
      Object :    Member

Am I right in the above declarations of triples?
Which other triples can be stated from the above code?

Charlie

Received on Wednesday, 21 November 2001 02:46:06 UTC