DAML+OIL: a Reason-able Ontology Language for the Semantic Web Ian Horrocks [email protected] University of Manchester Manchester, UK AISB2002: DAML+OIL–p.1/35 The Semantic Web Web Ontology Languages DAML+OIL Language Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning Research Challenges Summary Talk Outline AISB2002: DAML+OIL–p.2/35 Web Ontology Languages DAML+OIL Language Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning Research Challenges Summary Talk Outline The Semantic Web AISB2002: DAML+OIL–p.2/35 DAML+OIL Language Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning Research Challenges Summary Talk Outline The Semantic Web Web Ontology Languages AISB2002: DAML+OIL–p.2/35 Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning Research Challenges Summary Talk Outline The Semantic Web Web Ontology Languages DAML+OIL Language AISB2002: DAML+OIL–p.2/35 Description Logic Reasoning Research Challenges Summary Talk Outline The Semantic Web Web Ontology Languages DAML+OIL Language Reasoning with DAML+OIL OilEd Demo AISB2002: DAML+OIL–p.2/35 Research Challenges Summary Talk Outline The Semantic Web Web Ontology Languages DAML+OIL Language Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning AISB2002: DAML+OIL–p.2/35 Summary Talk Outline The Semantic Web Web Ontology Languages DAML+OIL Language Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning Research Challenges AISB2002: DAML+OIL–p.2/35 Talk Outline The Semantic Web Web Ontology Languages DAML+OIL Language Reasoning with DAML+OIL OilEd Demo Description Logic Reasoning Research Challenges Summary AISB2002: DAML+OIL–p.2/35 The Semantic Web AISB2002: DAML+OIL–p.3/35
Description: