logic OWL

spec person =

Datatype: height

EquivalentTo: float [totalDigits 3, fractionDigits 2]

Datatype: natural

EquivalentTo: not negativeInteger

Datatype: Years

EquivalentTo: natural

Datatype: Surname

EquivalentTo: string [pattern "[a-z] [0-1]"^^xsd:string]

AnnotationProperty: x

SubPropertyOf: deprecated

ObjectProperty: hasSSN

ObjectProperty: hasName

ObjectProperty: hasChildren

ObjectProperty: hasDaughter

SubPropertyOf: hasChildren

DataProperty: hasAge

Range: natural [> "10.24"^^real]

DataProperty: hasHeight

Range: height [< 2.1f] or height [> 3]

Class: smallChild

SubClassOf: Annotations: deprecated "y" hasHeight value 1.0f

Class: Person

HasKey: Annotations: isDefinedBy y hasSSN, hasAge, hasName

Individual: Ann

Types: hasAge some natural, hasChildren min 2

end