Extended Example (1)


From http://www.daml.org/2003/06/ruletests/translation-3.n3 (due to Mike Dean)

For every Airport there is a map Point that has the same location (latitude & longitude) as the Airport, that has the Airport as an underlyingObject and that has the Airport name as its Label

 

First some background knowledge (OWL axioms):

DataTypeProperty(latitude)
DataTypeProperty(longitude)

SubClassOf(map:Location
  intersectionOf(
    restriction(map:latitude someValuesFrom(xsd:double))
    restriction(map:latitude allValuesFrom(xsd:double))
    restriction(map:longitude someValuesFrom(xsd:double))
    restriction(map:longitude allValuesFrom(xsd:double))
))