Rdfs:Class rdf:type Class sameClassAs rdf:type Thing Nothing unionOf rdfs:Class complementOf...

3
rdfs:Class rdf:ty pe Class sameClassAs rdf:ty pe Thing Nothing unionO f rdfs:Cla ss complementO f rdfs:Cla ss complementO f Animal Male subClassOf rdf:ty pe Man Person rdf:ty pe rdf:ty pe subClassO f subClassOf rdf:ty pe subClassOf rdf:ty pe Hierarchy of Thing in current DAML+OIL v1.6 Figure 1

Transcript of Rdfs:Class rdf:type Class sameClassAs rdf:type Thing Nothing unionOf rdfs:Class complementOf...

Page 1: Rdfs:Class rdf:type Class sameClassAs rdf:type Thing Nothing unionOf rdfs:Class complementOf rdfs:Class complementOf Animal Male subClassOf rdf:type Man.

rdfs:Class

rdf:type

Class

sameClassAs

rdf:typeThing

Nothing

unionOf

rdfs:Class

complementOf

rdfs:Class

complementOf

Animal

Male

subClassOf

rdf:type

Man

Person

rdf:type

rdf:type

subClassOf

subClassOf

rdf:type

subClassOf

rdf:type

Hierarchy of Thing in current DAML+OIL v1.6

Figure 1

Page 2: Rdfs:Class rdf:type Class sameClassAs rdf:type Thing Nothing unionOf rdfs:Class complementOf rdfs:Class complementOf Animal Male subClassOf rdf:type Man.

rdfs:Class

rdf:type

Class

sameClassAs

rdf:type

Thing

Nothing

unionOf

rdfs:Class

complementOf

rdfs:Class

complementOf

Animal

Male

subClassOf

rdf:type

Man

Person

rdf:type

rdf:type

subClassOf

subClassOf

rdf:type

subClassOf

rdf:type Figure 2

Solution A: “Thing” is the base class with an alias named “Class”.

rdf:type

Page 3: Rdfs:Class rdf:type Class sameClassAs rdf:type Thing Nothing unionOf rdfs:Class complementOf rdfs:Class complementOf Animal Male subClassOf rdf:type Man.

rdfs:Class

rdf:type

rdf:type

Thing

Nothing

unionOf

rdfs:Class

complementOf

rdfs:Class

complementOf

Animal

Male

subClassOf

rdf:type

Man

Person

rdf:type

rdf:type

subClassOf

subClassOf

rdf:type

subClassOf

rdf:type Figure 3

Solution B: “Thing” is the base class with an no alias.