![]() ![]() |
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)) ))
19 of 24 |