40 likes | 50 Views
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
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