DAML+OIL

Hi All

Maybe someone here can enlighten me on this.
I am considering some DAML+OIL code:

<daml:Class rdf:ID="LocateBook">
<rdfs:subClassOf rdf:resource=" http://www.daml.org/services/daml-
s/2001/10/Process.daml#AtomicProcess" /> 
<rdfs:subClassOf>
<daml:Restriction daml:cardinality="1">
<daml:onProperty rdf:resource="#bookName" /> 
</daml:Restriction>
</rdfs:subClassOf>
</daml:Class>

<rdf:Property rdf:ID="bookName">
<rdfs:subPropertyOf rdf:resource=" http://www.daml.org/services/daml-
s/2001/10/Process.daml#input" /> 
<rdfs:domain rdf:resource="#LocateBook" /> 
<rdfs:range 
rdf:resource=" http://www.w3.org/2000/10/XMLSchema#string" /> 
</rdf:Property>


<rdf:Property rdf:ID="bookDescription">
<rdfs:subPropertyOf rdf:resource=" http://www.daml.org/services/daml-
s/2001/10/Process.daml#conditionalOutput" /> 
<rdfs:domain rdf:resource="#LocateBook" /> 
<rdfs:range rdf:resource="InCatalogueBookDescription" /> 
</rdf:Property>

The above code describes a class LocateBook which has two properties, 
bookName and bookDescription. The prior is a String and the latter 
ranges over another class, InCatalogueBookDescription.

Now my question is this:
I want my program to automatically arrive at the defintion of 
bookName. So I would define all the necessary classes and relevant 
properties in another ontology and my program can in some way consult 
it to come up with the defintion. My problem is this integration of 
the program code with the ontology description. 
How would this integration be worked around? 
How would the program automatically resolve that bookName is a 
LocateBook property and then that it is also a String?

All I need is just some tips, cause I've been banging my head for a 
solution.

Thanks for any help that I hope would arrive.
 
Charlie
 

Received on Sunday, 16 December 2001 06:50:20 UTC