Basic OWL
OWL extends our vocabulary descriptions, allowing us to express claims such as...
- Nothing can be both a
Document
and aPerson
grandParent
andgrandChild
are inverseshomepage
,nasdaqCode
andmbox
are uniquely identifying properties- A
W3CTeamPerson
is aPerson
whoseworkplaceHomepage
is http://www.w3.org/
...as well as the formally specified interactions amongst all these features.