|
|
|
|
Developed ontology visualization
environment |
|
Collaborated with GRCI and Telelogic to
develop UML profile for DAML |
|
Modified COTS UML tool to support DAML
editing and generation |
|
Developed web-based ConsVISor tool |
|
Prolog-based consistency checker for
DAML ontologies |
|
Checks for semantic errors based on
axiomatic specification |
|
Formally verified DAML semantics |
|
Modeled DAML axiomatic semantics in
Specware |
|
Applied SNARK theorem prover to look
for inconsistencies |
|
Provided valuable feedback to DAML
axiomatic semantics team |
|
Liaison between DAML community and
Object Management Group |
|
Proposed extensions to UML to support DAML ontology engineering |
|
Organized OMG Ontology WG meetings and Services Grid Workshop |