|
|
|
|
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 |
Notes