1. RDF/OWL 6

2. OWL l l 2004 W3C OWL Web Ontology Language l OWL 3 l OWL OWL DL l OWL DL OWL Lite l RDF OWL Full

3. l RDF l (Ontology) l l l l l l l l

4. OWL Lite/OWL DL/OWL l l l l l

5. OWL l l l l l 1 l l

6. l OWL 3 l OWL DL OWL l l l OWL DL l l OWL Lite l OWL DL l OWL Lite OWL DL/OWL Full l OWL Lite l l OWL Full OWL RDF l OWL l RDF l l

7. OWL l owl:Class l l owl:Class l owl:Class rdfs:Class l owl: Thing l OWL OWL l ( ) owl:Thing l OWL owl:Thing l owl:Nothing l OWL l l owl:Nothing OWL

8. l OWL class description l (class axiom) l 1. URI l 2. l 3. l 4 2 l 5. 2 l 6

9. l l l owl:oneOf l owl:oneOf l OWL l owl:Class, rdf:list l OWL Lite

10. l l l owl:oneOf RDF l XML/RDF parseType=Collection l l l l l l l oneOf > l Class>

11. l l owl:intersectionOf l owl:unionOf l owl:complementOf l

12. l owl:intersectionOf l l l owl:Class rdf:List l CD l l l l l l

13. ex:ClassicalMusicCD ex:ImportedCDrdf:type rdf:type rdf:type =intersectionOf

14. owl:unionOf l l l owl:Class rdf:List OWL Lite l CD CD l l l l l l

15. l l owl:Thing l ClassicalMusicCD l l l l l l

16. l CD l l l l l l l l l l

17. owl:Thing intersectionOf(ex:MusicCD complementOf(ex:ClassicalMusicCD)) complementOf(ex:ClassicalMusicCD) ex:ClassicalMusicCD ex:Music

18. l l OWL l owl:allValuesFrom l owl:someValuesFrom l owl:hasValue

19. l owl:Restriction l owl:onProperty l owl:Restriction l l owl:Restriction owl:Class rdf:Class l owl:Restriction l 1 l owl:onProperty l owl:Restriction l owl:Restriction rdf:Property

20. l owl:allValuesFrom l owl:Restriction l OWL Lite l owl:Restriction rdfs:Class l Restriction l l l l l l l

21. l owl:someValueFrom l owl:Restriction l OWL Lite l owl:Restriction rdfs:Class l l l l l l

22. l owl:hasValue l owl:Restriction l OWL Lite owl:hasValue l owl:Restriction l owl:hasValue Restriction l l l l l l

23. l hasMember l l restriction() l l restriction(ex:hasMember allValuesFrom(ex:StringPlayer))

24. l OWL RDF l cardinality l l owl:maxCardinality l owl:minCardinality l owl:cardinality

25. l owl:maxCardinality l Ristriction l l owl:Restriction &xsd;nonNegativeInteger l OWL Lite 0 1 l 0 l l l l functional l l l l l 1 l

26. l owl:minCardinality l l l owl:Restriction &xsd;nonNegativeInteger l OWL Lite 0 1 l 1 l l l l 1 l

27. l owl:cardinality l l l owl:Restriction &xsd;nonNegativeInteger l OWL Lite 0 1 l owl:maxCardinality owl:minCardinality l 4 l l l 4 l

28. l l 2 l l

29. l l partial aximo l OWL Lite l l l l l l l l l

30. ex:PianoTrio ex:PianoPlayer ex:hasMember rdf:type rdf:type ex:hasMember rdf:type ex:PianoTrio restriction(ex:hasMember someValuesFrom(ex:PianoPlayer))

31. l l l l l l l l l l l l 3 l l l

32. l 2 l l l Class() (complete) l (partial) l Class(ex:PianoTrio partial l restriction(ex:hasMember someValuesFrom(ex:PianoPlayer)) l restriction(ex:hasMember cardinality(3)) l )

33. l l l complete axiom l owl:equivalentClass l l l owl:equivalentClass owl:Class l rdfs:subClassOf l OWL Liite l l equivalentClass

34. l l owl:equivalentClass l l USPresident USCommanderInChief l owl:equivalentClass l l l l

35. l l l l l l l l l l l l

36. l l l l l l l l l l l l l l l 4 l l l l l

37. l l l owl:equivalentClass l OWL Lite l l l l l l l

38. l l l l l l l l l l owl:equivalentClass l l owl:Restriction l l owl:Restriction

39. l owl:disjointWith l l l owl:disjointWith l l owl:Class l OWL Lite

40. l owl:disjointWith l disjoint l l l

41. l . l l l l l l l l l

42. l DisjointClasses() l DisjointClass(ex:Person ex:Animal ex:Robot) l RDF l l l l l l ex:Robot l Eex:livesWith ex:LivingThing l

43. RDF/OWL