Presentation on theme: "UML-Based Ontology Toolset Dr. Paul Kogut Lockheed Martin Management & Data Systems Valley Forge, PA."— Presentation transcript:
UML-Based Ontology Toolset Dr. Paul Kogut Lockheed Martin Management & Data Systems Valley Forge, PA
Page 2 l HotDAML entries: AeroDAML, ConsVISor, DAML VisuaLinks 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 è 3D perspective scene generation l OMG Software Services Grid Workshop - July u summit meeting between OMG, W3C, Grid and e-commerce communities u DAML-S presentation - Mark Burstein (David Martin and Sheila McIlraith) u OMG Model Driven Architecture(MDA) - platform independent models u Is MDA competition for DAML or is it synergistic? What is Hot? PerspectiveSceneGen_S Fusion_S
Page 3 BrokerAgent (OAA) LookupAgent Mosaic_S Profiling Agent Fusion_S Change Detection_S Fusion Display Agent Workflow Manager Notification Agent Image Ingest Tasks, Results and notification Services Layer Coordination Layer: Resource binding, Work coordination, Dissemination Client Layer Layered Architecture: Imagery and Mapping Service Composition and Execution
Page 4 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 UML2001 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, CoABS 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?