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
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