Web kaneiwa@nii.ac.jp Talk outline 1. Web 2. • • A-Box, T-Box • • T-Box A-Box • 3. 4. OWL ( ) 5. Web Web � (HTML) � Web Web Web � ( ) � � 1 � ( ) - RDF(Resource Dcument Framework) - RDF (RDF ) � - Web OWL � - 2 Web Trust Proof OWL RDF RDF XML URI DLP bit of OWL/ 3 OWL OWL 3 � OWL Lite � OWL DL OWL DL � OWL Full OWL DL+RDF � � (RACER[Haarslev2001] ) � 4 OWL � � � � 5 2. � Semantic networks [Quillia