 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Grit Denker
SRI:
|
|
|
|
Protιgι plug-in
for DAML+OIL (maybe hooking up to FACT
|
|
|
reasoner)
|
|
|
|
DAML-OAA agent
|
|
|
|
SNARK open
source available soon (could be used for
|
|
|
consistency
checks on ontologies)
|
|
|
|
Need: Rules in
DAML+Oil and inference engine
|
|
|
| |
Lewis Hart
GRCI
|
|
|
|
Duet (plug-in
for Rational rose and version for ArgoUML),
|
|
|
|
|
Soon
downloadable, does not do OCL
|
|
|
|
Semantics based
publish and subscribe engine. Subscription
|
|
are based on xql
(status chaotic)
|
|
|
| |
Paul Kogut (not
present):
|
|
|
|
|
Aero DAML
takes text and generates DAML. Available as
|
|
|
web service (has
built-in ontology)
|
|