logic OWL

spec person =

Datatype: height

EquivalentTo: float [totalDigits 3, fractionDigits 2]

Datatype: natural

EquivalentTo: not negativeInteger

Datatype: Years

EquivalentTo: natural

Datatype: Name

EquivalentTo: Literal [pattern "[a-z]"^^string]

ObjectProperty: hasSSN

ObjectProperty: hasName

ObjectProperty: hasChildren

ObjectProperty: hasDaughter

SubPropertyOf: hasChildren

DataProperty: hasAge

Range: natural [> 10]

DataProperty: hasHeight

Range: height [< 2.1f]

Class: smallChild

SubClassOf: hasHeight value 1.0f

Class: Person

HasKey: hasSSN, hasAge, hasName

Individual: Ann

Types: hasAge some natural, hasChildren min 2

Facts: hasAge 30

end