User:Silver hr/OWLClassDescriptions

Single-statement

• subclass of: bird
  • color: blue

could mean:

	Only	Some	Some and only
Some	bird and (color only blue) SubClassOf Bluebird	bird and (color some blue) SubClassOf Bluebird	bird and (color some blue) and (color only blue) SubClassOf Bluebird
All	Bluebird EquivalentTo bird and (color only blue)	Bluebird EquivalentTo bird and (color some blue)	Bluebird EquivalentTo bird and (color some blue) and (color only blue)

Two-statement

• subclass of: bird
  • color: blue
  • color: yellow

could mean:

And

	Only	Some	Some and only
Some	bird and (color only blue) and (color only yellow) SubClassOf Blueandyellowbird	bird and (color some blue) and (color some yellow) SubClassOf Blueandyellowbird	bird and (color some blue) and (color some yellow) and (color only (blue or yellow)) SubClassOf Blueandyellowbird
All	Blueandyellowbird EquivalentTo bird and (color only blue) and (color only yellow)	Blueandyellowbird EquivalentTo bird and (color some blue) and (color some yellow)	Blueandyellowbird EquivalentTo bird and (color some blue) and (color some yellow) and (color only (blue or yellow))

Xor

	Only	Some	Some and only
Some	bird and ((color only blue) or (color only yellow)) SubClassOf Bluexoryellowbird	bird and ((color some blue) or (color some yellow)) and (not ((color some blue) and (color some yellow))) SubClassOf Bluexoryellowbird	bird and ((color some blue) and (color only blue)) or ((color some yellow) and (color only yellow)) SubClassOf Bluexoryellowbird
All	Bluexoryellowbird EquivalentTo bird and ((color only blue) or (color only yellow))	Bluexoryellowbird EquivalentTo bird and ((color some blue) or (color some yellow)) and (not ((color some blue) and (color some yellow)))	Bluexoryellowbird EquivalentTo bird and ((color some blue) and (color only blue)) or ((color some yellow) and (color only yellow))

Or

	Only	Some	Some and only
Some	bird and (color only (blue or yellow)) SubClassOf Blueoryellowbird	bird and (color some (blue or yellow)) SubClassOf Blueoryellowbird	bird and (color some (blue or yellow)) and (color only (blue or yellow)) SubClassOf Blueoryellowbird
All	Blueoryellowbird EquivalentTo bird and (color only (blue or yellow))	Blueoryellowbird EquivalentTo bird and (color some (blue or yellow))	Blueoryellowbird EquivalentTo bird and (color some (blue or yellow)) and (color only (blue or yellow))