OAA/DAML Bridge Agent - Overview
Purpose
Automatically "wraps" a DAML document
for use with OAA.
Description
For each class and property explicitly declared in a
given DAML document, this agent creates and registers an appropriate
solvable, and responds to goals (queries) sent to that solvable.
Also, creates and registers solvables for DAML "meta-classes" and
"meta-properties", such as 'Class'/1, 'Property'/1, disjointUnionOf/2,
etc. In effect, this agent allows ICL to be used as a query
language for DAML.
User's Manual
See the User Manual and Help for additional
information about this agent.
ICL Solvables
Fixed Meta-Classes and Meta-Properties
These solvables are always registered, regardless of what URI is given
on the command line:
-
Class(Id)
-
Property(Id)
-
UniqueProperty(Id)
-
ObjectProperty(Id)
-
DatatypeProperty(Id)
-
UnambiguousProperty(Id)
-
TransitiveProperty(Id)
-
subClassOf(Id1, Id2)
-
domain(Id1, Id2)
-
range(Id1, Id2)
-
comment(Id1, Id2)
-
sameClassAs(Id1, Id2)
-
samePropertyAs(Id1, Id2)
-
subPropertyOf(Id1, Id2)
-
inverseOf(Id1, Id2)
-
disjointWith(Id1, Id2)
-
complementOf(Id1, Id2)
-
intersectionOf(Id1, Id2)
-
disjointUnionOf(Id1, Id2)
-
unionOf(Id1, Id2)
-
daml_triple(Id1, Id2, Z)
User-defined Classes
For each class explicitly declared
with ID "foo", in name space
"http://bar", registers a solvable 'http://bar#foo'(X). With
"-create_synonyms" on the command line, also registers foo(X).
User-defined Properties
For each property explicitly declared with ID "foo", in name space "http://bar", registers
a solvable 'http://bar#foo'(Id1, Id2). With "-create_synonyms"
on the command line, also registers foo(Id1, Id2).
Information
Author: Imen Atallah, David
Martin
Implementation Language: java
Date added to OAA distribution: February 2002
Availability
Coming Soon:
Free download with source code, under restrictions of OAA Community
License.
Individual
Agents Documentation Page