Person.het revision 9d3ad36a8d5095b19c227cc42594d0624ca50b2f
logic OWL
spec person =
ObjectProperty: hasSSN
ObjectProperty: hasName
DataProperty: hasAge
Datatype: natural
EquivalentTo: not negativeInteger
Datatype: Years
EquivalentTo: natural
Individual: Ann
Types: hasAge some natural
Class: Person
HasKey: hasSSN, hasAge, hasName
end