search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

Overview doc: Bug in user defined datatype example #28

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Overview Document, Section 2.3 Datatypes, there seems to be a bug in the
example of a user defined datatype:

SubClassOf(Adult DataSomeValuesFrom(age DatatypeRestriction(xsd:integer 1
minInclusive "18"^^xsd:integer))

I don't know what the "1" following "xsd:integer" is doing there. I assume
that it is just a bug; the structural spec says:

datatypeRestriction := 'DatatypeRestriction' '(' dataRange datatypeFacet
restrictionValue ')'

Original issue reported on code.google.com by ian.r.ho...@gmail.com on 7 May 2007 at 8:08

GoogleCodeExporter commented 9 years ago 
This typo has been corrected.

Original comment by borismo...@gmail.com on 23 May 2007 at 6:01