40 likes | 60 Views
Dr. Paul Kogut of Lockheed Martin created a comprehensive toolset for processing DAML annotations, extracting entities, and linking them to appropriate classes and properties. This toolset aims to facilitate the rapid adoption of DAML annotations on websites effortlessly. Users can also check and mine information from DAML websites with advanced graphical visualization tools. Additionally, a Prolog-based tool is available to verify ontologies against DAML+OIL specifications. Unlock the potential of DAML annotations with these innovative tools!
E N D
UML-Based Ontology Toolset Dr. Paul Kogut Lockheed Martin Management & Data Systems Valley Forge, PA
AeroDAML • Input: URI for HTML webpage • Processing: extract common entities and relationships and link them to appropriate DAML classes and properties • Bill Gates->genericOntology:person • Output: DAML annotation file • Wow factor: accelerate the proliferation of DAML annotated websites by helping the typical website developer who does not care about what an ontology is • Candidate improvements: • Allow the user to select other ontologies besides the default generic ontology • OpenCyc, CIA Factbook, IEEE Standard Upper Ontology • Allow the user to annotate an entire website (not just a single page) http://ubot.lockheedmartin.com/ubot/hotdaml
DAML VisuaLinks • Input: URI for DAML annotated website • Processing: advanced graphical tools from Visual Analytics display property links • persons to organizations... • Output: visualization of DAML annotations • Wow factors: • help analyst mine information from DAML websites • help website developers check for DAML annotation errors • Candidate improvements: • enhance the prototype • integrate with AeroDAML http://ubot.lockheedmartin.com/ubot/hotdaml
ConsVISor • Input: URI for DAML ontology or annotation • Processing: Prolog-based tool that checks ontologies against the DAML+OIL axiomatic semantic specification • Output: list of error and warning messages • Wow factors: • help ontology engineers check ontologies • help website developers check DAML annotations • Candidate improvements: • integrate with Specware and SNARK theorem prover • add BugVISor http://ubot.lockheedmartin.com/ubot/hotdaml