UMLBased Ontology Toolset Dr Paul Kogut Lockheed Martin

UML-Based Ontology Toolset Dr. Paul Kogut Lockheed Martin Management & Data Systems Valley Forge, PA

What is Hot? l Hot. DAML entries: Aero. DAML, Cons. VISor, DAML Visua. Links l Evaluation of UBOT tools in context of DAML-S application u distributed and cooperative satellite imagery processing and analysis u leverage NIMA and NASA tools u dynamic composition and execution of services è combining data layers è piecing images together Fusion_S Perspective. Scene. Gen_S è 3 D perspective scene generation l OMG Software Services Grid Workshop - July 10 -11 u summit meeting between OMG, W 3 C, Grid and e-commerce communities u DAML-S presentation - Mark Burstein (David Martin and Sheila Mc. Ilraith) u OMG Model Driven Architecture(MDA) - platform independent models u Is MDA competition for DAML or is it synergistic? 2

Layered Architecture: Imagery and Mapping Service Composition and Execution Tasks, Results and notification Profiling Agent Fusion Display Agent Lookup. Agent Broker. Agent (OAA) Workflow Manager Mosaic_S Fusion_S Notification Agent Change Detection_S • Image Ingest 3 Client Layer Coordination Layer: Resource binding, Work coordination, Dissemination Services Layer

Challenges and Obstacles l Resistance to adoption of DAML+OIL u Use of models at runtime is alien concept to mainstream software engineers u What does the increased expressiveness of DAML buy me? u How does DAML fit with OMG Model Driven Architecture? è Extending UML to Support Ontology Engineering for the Semantic Web UML 2001 l Barriers to adoption of DAML+OIL u Desperately need Agents and Ontologies textbook targeted at practitioners u What agent infrastructure should I choose? è OAA, JADE, FIPA-OS, Co. ABS Grid, EMAA, XSB, JESS. . . l Technical issues: u which words in a text should be annotated? è web search vs. complex question answering u what is a good graphical representation for manual annotation refinement? u how can theorem provers be transparently integrated into a DAML consistency checker tool? 4