wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-rule" namespace { _"http://www.wsmo.org/ontologies/nfp/locativeNFPOntology#", dc _"http://purl.org/dc/elements/1.1#", xsd _"http://www.w3.org/2001/XMLSchema#", wsml _"http://www.wsmo.org/wsml/wsml-syntax#", temp _"http://www.wsmo.org/ontologies/nfp/temporalNFPOntology", qu _"http://www.wsmo.org/ontologies/nfp/qualityNFPOntology", sec _"http://www.wsmo.org/ontologies/nfp/qualityNFPOntology", meas _"http://www.wsmo.org/ontologies/nfp/measuresNFPOntology" } ontology _"http://www.wsmo.org/ontologies/nfp/locativeNFPOntology" nonFunctionalProperties dc#title hasValue "Locative Ontology" dc#creator hasValue {"Ioan Toma"} dc#subject hasValue {"Address", "Point"} dc#description hasValue "Locative Ontology" dc#publisher hasValue "DERI Innsbruck" dc#contributor hasValue {"Ioan Toma","Doug Foxvog"} dc#date hasValue "2006-05-06" dc#type hasValue _"http://www.wsmo.org/2004/d2#ontologies" dc#format hasValue "text/html" dc#identifier hasValue _"http://www.wsmo.org/ontologies/nfp/locativeNFPOntology" dc#language hasValue "en-US" wsml#version hasValue "$Revision: 1.0 $" endNonFunctionalProperties importsOntology {_"http://www.wsmo.org/ontologies/nfp/temporalNFPOntology", _"http://www.wsmo.org/ontologies/nfp/qualityNFPOntology", _"http://www.wsmo.org/ontologies/nfp/securityNFPOntology", _"http://www.wsmo.org/ontologies/nfp/measuresNFPOntology"} concept LocativeEntity nonFunctionalProperties dc#description hasValue "LocativeEntity concept definition" endNonFunctionalProperties hasName ofType _string supportsWrittenLanguage ofType Language supportsSpokenLanguage ofType Language canBeComunicatedAccordingTo ofType qu#Standard hasIdentificationRequirement ofType (1) sec#IdentificationRequirement hasConfidentiality ofType (1) sec#Confidentiality concept GeoLocation subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "GeoLocation concept definition" dc#relation hasValue { validLatitude, validLongitude, validPoleGeoLocation} endNonFunctionalProperties hasLatitude ofType (1) meas#Angle hasLongitude ofType (1 1) meas#Angle hasAltitude ofType (0 1) meas#Distance axiom validLatitude definedBy !- ?point [latitude hasValue ?LA] memberOf GeoLocation and ?LA [numUnits hasValue ?NU, ofUnits hasValue meas#DegreeOfArc] memberOf meas#Angle and (less(90, ?NU) or greater(_decimal("-90"), ?NU)). axiom validLongitude definedBy !- ?point [longitude hasValue ?LO] memberOf GeoLocation and ?LO [numUnits hasValue ?NU, ofUnits hasValue meas#DegreeOfArc] memberOf meas#Angle and (less(180, ?NU) or greaterEqual(_decimal("-180"), ?NU)). axiom validPoleGeoLocation definedBy !- ?point [latitude hasValue ?LA, longitude hasValue ?LO] memberOf GeoLocation and ?LA [numUnits hasValue 90, ofUnits hasValue meas#DegreeOfArc] memberOf meas#Angle and ?LO [numUnits hasValue ?NU, ofUnits hasValue meas#DegreeOfArc] memberOf meas#Angle. concept CompassDirection nonFunctionalProperties dc#description hasValue "Direction concept definition" dc#relation hasValue validCompassDirection endNonFunctionalProperties ofUnits ofType meas#UnitOfArc axiom validCompassDirection definedBy !- ?dir [numUnits hasValue ?ANGLE, ofUnits hasValue meas#DegreeOfArc] memberOf CompassDirection and (lessEqual(360, ?ANGLE) or greater(0, ?ANGLE)). concept VehicularRoute subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "VehicularRoute concept definition" endNonFunctionalProperties hasName ofType (1 1) _string hasSpecification ofType RouteSpecification intendedForVehicles ofType (1 *) Vehicle possiblePathFor ofType (1 *) Vehicle concept VehicleType nonFunctionalProperties dc#description hasValue "VehicleType" endNonFunctionalProperties concept PathThroughWater subConceptOf VehicularRoute nonFunctionalProperties dc#description hasValue "PathThroughWater concept definition" endNonFunctionalProperties concept WaterSurfacePath subConceptOf PathThroughWater nonFunctionalProperties dc#description hasValue "WaterSurfacePath concept definition" endNonFunctionalProperties concept Canal subConceptOf WaterSurfacePath nonFunctionalProperties dc#description hasValue "Canal concept definition" endNonFunctionalProperties concept SeaLane subConceptOf WaterSurfacePath nonFunctionalProperties dc#description hasValue "SeaLane concept definition" endNonFunctionalProperties concept SolidSurfacePathThroughAir subConceptOf VehicularRoute nonFunctionalProperties dc#description hasValue "SolidSurfacePathThroughAir concept definition" endNonFunctionalProperties concept PathForWheeledVehicles subConceptOf SolidSurfacePathThroughAir nonFunctionalProperties dc#description hasValue "PathForWheeledVehicles concept definition" endNonFunctionalProperties concept Railway subConceptOf PathForWheeledVehicles nonFunctionalProperties dc#description hasValue "Railway concept definition" endNonFunctionalProperties concept Subway subConceptOf Railway nonFunctionalProperties dc#description hasValue "Subway concept definition" endNonFunctionalProperties concept Roadway subConceptOf PathForWheeledVehicles nonFunctionalProperties dc#description hasValue "Roadway concept definition" endNonFunctionalProperties concept RoadLane subConceptOf PathForWheeledVehicles nonFunctionalProperties dc#description hasValue "RoadLane concept definition" endNonFunctionalProperties concept Driveway subConceptOf PathForWheeledVehicles nonFunctionalProperties dc#description hasValue "Driveway concept definition" endNonFunctionalProperties concept BicyclePath subConceptOf PathForWheeledVehicles nonFunctionalProperties dc#description hasValue "BicyclePath concept definition" endNonFunctionalProperties concept SkiSlope subConceptOf SolidSurfacePathThroughAir nonFunctionalProperties dc#description hasValue "SkiSlope concept definition" endNonFunctionalProperties concept SkiJump subConceptOf SkiSlope nonFunctionalProperties dc#description hasValue "SkiJump concept definition" endNonFunctionalProperties concept Footpath subConceptOf SolidSurfacePathThroughAir nonFunctionalProperties dc#description hasValue "Footpath concept definition" endNonFunctionalProperties concept Stairway subConceptOf Footpath nonFunctionalProperties dc#description hasValue "Stairway concept definition" endNonFunctionalProperties concept MovingWalkway subConceptOf Footpath nonFunctionalProperties dc#description hasValue "MovingWalkway concept definition" endNonFunctionalProperties concept MovingStairway subConceptOf MovingWalkway nonFunctionalProperties dc#description hasValue "MovingStairway concept definition" endNonFunctionalProperties concept Trail subConceptOf Footpath nonFunctionalProperties dc#description hasValue "Trail concept definition" endNonFunctionalProperties concept Sidewalk subConceptOf Footpath nonFunctionalProperties dc#description hasValue "Sidewalk concept definition" endNonFunctionalProperties concept GangPlank subConceptOf Footpath nonFunctionalProperties dc#description hasValue "GangPlank concept definition" endNonFunctionalProperties concept PathThroughAir subConceptOf VehicularRoute nonFunctionalProperties dc#description hasValue "PathThroughAir concept definition" endNonFunctionalProperties concept AirLane subConceptOf PathThroughAir nonFunctionalProperties dc#description hasValue "AirLane concept definition" endNonFunctionalProperties concept GlideSlope subConceptOf PathThroughAir nonFunctionalProperties dc#description hasValue "GlideSlope concept definition" endNonFunctionalProperties concept IndicativeRouteType nonFunctionalProperties dc#description hasValue "IndicativeRouteType concept definition" endNonFunctionalProperties value ofType _string concept RouteSpecification nonFunctionalProperties dc#description hasValue "RouteSpecification concept definition" endNonFunctionalProperties hasSpecification ofType (1 *) RouteSpecificationType concept RouteSpecificationType nonFunctionalProperties dc#description hasValue "RouteSpecificationType concept definition" endNonFunctionalProperties hasPoint ofType (1 *) GeoLocation hasOrder ofType (1 1) nonNegativeInteger concept RouteSpecification nonFunctionalProperties dc#description hasValue "RouteSpecification concept definition" endNonFunctionalProperties hasNthRoutePoint ofType (1 *) NthRoutePoint concept NthRoutePoint nonFunctionalProperties dc#description hasValue "NthRoutePoint concept definition" endNonFunctionalProperties hasPoint ofType (1) GeoLocation hasOrder ofType (1) nonNegativeInteger concept Region subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "Region concept definition" endNonFunctionalProperties hasName ofType (1) _string hasSpecification ofType RegionSpecification concept GeopoliticalPlace subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "GeopoliticalPlace concept definition" endNonFunctionalProperties concept GeoLocation subConceptOf GeopoliticalPlace nonFunctionalProperties dc#description hasValue "GeoLocation concept definition" endNonFunctionalProperties concept GeographicalRegion subConceptOf {GeographicalPlace, Region} nonFunctionalProperties dc#description hasValue "GeographicalRegion concept definition" endNonFunctionalProperties concept GeopoliticalRegion subConceptOf GeographicalRegion nonFunctionalProperties dc#description hasValue "GeopoliticalRegion concept definition" endNonFunctionalProperties concept HumanResidenceArea subConceptOf GeographicalRegion nonFunctionalProperties dc#description hasValue "HumanResidenceArea concept definition" endNonFunctionalProperties concept UrbanArea subConceptOf HumanResidenceArea nonFunctionalProperties dc#description hasValue "UrbanArea concept definition" endNonFunctionalProperties concept Neighborhood subConceptOf HumanResidenceArea nonFunctionalProperties dc#description hasValue "Neighborhood concept definition" endNonFunctionalProperties concept SuburbanArea subConceptOf HumanResidenceArea nonFunctionalProperties dc#description hasValue "SuburbanArea concept definition" endNonFunctionalProperties concept NationalTerritory subConceptOf GeopoliticalRegion nonFunctionalProperties dc#description hasValue "NationalTerritory concept definition" endNonFunctionalProperties concept SubnationalTerritory subConceptOf GeopoliticalRegion nonFunctionalProperties dc#description hasValue "SubnationalTerritory concept definition" endNonFunctionalProperties concept CityTerritory subConceptOf SubnationalTerritory nonFunctionalProperties dc#description hasValue "CityTerritory concept definition" endNonFunctionalProperties concept CapitolTerritory subConceptOf CityTerritory nonFunctionalProperties dc#description hasValue "CapitolTerritory concept definition" endNonFunctionalProperties concept PrimarySubnationalTerritory subConceptOf SubnationalTerritory nonFunctionalProperties dc#description hasValue "PrimarySubnationalTerritory concept definition; e.g. State, Provice" endNonFunctionalProperties concept SecondarySubnationalTerritory subConceptOf SubnationalTerritory nonFunctionalProperties dc#description hasValue "SecondarySubnationalTerritory concept definition; e.g. Country, Parish" endNonFunctionalProperties concept PostalCodeArea subConceptOf SubnationalTerritory nonFunctionalProperties dc#description hasValue "PostalCodeArea concept definition" endNonFunctionalProperties concept SchoolDistrictTerritory subConceptOf SubnationalTerritory nonFunctionalProperties dc#description hasValue "SchoolDistrictTerritory concept definition" endNonFunctionalProperties concept ControlledLand subConceptOf GeopoliticalRegion nonFunctionalProperties dc#description hasValue "ControlledLand concept definition" endNonFunctionalProperties concept ColonialTerritory subConceptOf ControlledLand nonFunctionalProperties dc#description hasValue "ColonialTerritory concept definition" endNonFunctionalProperties concept DominionTerritory subConceptOf ControlledLand nonFunctionalProperties dc#description hasValue "DominionTerritory concept definition" endNonFunctionalProperties concept OccupiedTerritory subConceptOf ControlledLand nonFunctionalProperties dc#description hasValue "OccupiedTerritory concept definition" endNonFunctionalProperties concept BodyOfLand subConceptOf GeographicalRegion nonFunctionalProperties dc#description hasValue "BodyOfLand concept definition" endNonFunctionalProperties concept Continent subConceptOf BodyOfLand nonFunctionalProperties dc#description hasValue "Continent concept definition" endNonFunctionalProperties concept Subcontinent subConceptOf BodyOfLand nonFunctionalProperties dc#description hasValue "Subcontinent concept definition" endNonFunctionalProperties concept Island subConceptOf BodyOfLand nonFunctionalProperties dc#description hasValue "Island concept definition" endNonFunctionalProperties concept Archipelago subConceptOf BodyOfLand nonFunctionalProperties dc#description hasValue "Archipelago concept definition" endNonFunctionalProperties concept LandTopographicalFeature subConceptOf GeographicalRegion nonFunctionalProperties dc#description hasValue "LandTopographicalFeature concept definition" endNonFunctionalProperties concept Peninsula subConceptOf LandTopographicalFeature nonFunctionalProperties dc#description hasValue "Peninsula concept definition" endNonFunctionalProperties concept Isthmus subConceptOf LandTopographicalFeature nonFunctionalProperties dc#description hasValue "Isthmus concept definition" endNonFunctionalProperties concept Plateau subConceptOf LandTopographicalFeature nonFunctionalProperties dc#description hasValue "Plateau concept definition" endNonFunctionalProperties concept MountainRange subConceptOf LandTopographicalFeature nonFunctionalProperties dc#description hasValue "MountainRange concept definition" endNonFunctionalProperties concept Desert subConceptOf LandEcologicalRegion nonFunctionalProperties dc#description hasValue "Desert concept definition" endNonFunctionalProperties concept Glacier subConceptOf LandEcologicalRegion nonFunctionalProperties dc#description hasValue "Glacier concept definition" endNonFunctionalProperties concept Wetland subConceptOf LandEcologicalRegion nonFunctionalProperties dc#description hasValue "Wetland concept definition" endNonFunctionalProperties concept LandEcologicalRegion subConceptOf GeographicalRegion nonFunctionalProperties dc#description hasValue "LandEcologicalRegion concept definition" endNonFunctionalProperties concept Forest subConceptOf LandEcologicalFeature nonFunctionalProperties dc#description hasValue "Forest concept definition" endNonFunctionalProperties concept RainForest subConceptOf Forest nonFunctionalProperties dc#description hasValue "RainForest concept definition" endNonFunctionalProperties concept Savannah subConceptOf LandEcologicalFeature nonFunctionalProperties dc#description hasValue "Savannah concept definition" endNonFunctionalProperties concept Steppe subConceptOf LandEcologicalFeature nonFunctionalProperties dc#description hasValue "Steppe concept definition" endNonFunctionalProperties concept BodyOfWater subConceptOf GeographicalRegion nonFunctionalProperties dc#description hasValue "BodyOfWater concept definition" endNonFunctionalProperties concept Ocean subConceptOf BodyOfWater nonFunctionalProperties dc#description hasValue "Ocean concept definition" endNonFunctionalProperties concept Lake subConceptOf BodyOfWater nonFunctionalProperties dc#description hasValue "Lake concept definition" endNonFunctionalProperties concept WaterStream subConceptOf BodyOfWater nonFunctionalProperties dc#description hasValue "WaterStream concept definition" endNonFunctionalProperties concept River subConceptOf WaterStream nonFunctionalProperties dc#description hasValue "River concept definition" endNonFunctionalProperties concept Creek subConceptOf WaterStream nonFunctionalProperties dc#description hasValue "Creek concept definition" endNonFunctionalProperties concept PartialBodyOfWater subConceptOf BodyOfWater nonFunctionalProperties dc#description hasValue "PartialBodyOfWater concept definition" endNonFunctionalProperties concept BayGulf subConceptOf PartialBodyOfWater nonFunctionalProperties dc#description hasValue "BayGulf concept definition" endNonFunctionalProperties concept Sea subConceptOf PartialBodyOfWater nonFunctionalProperties dc#description hasValue "Sea concept definition" endNonFunctionalProperties concept RegionSpecification nonFunctionalProperties dc#description hasValue "RegionSpecification concept definition" endNonFunctionalProperties hasSpecification ofType (3 *) NthBorderPoint numberOfBorderPoints ofType nonNegativeInteger concept NthBorderPoint nonFunctionalProperties dc#description hasValue "NthBorderPoint concept definition" endNonFunctionalProperties hasPoint ofType (1) GeoLocation hasOrder ofType (1) _integer concept Address subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "Address concept definition" endNonFunctionalProperties hasCountry ofType (0 1) Country hasCountrySubdivision ofType (0 1) PrimarySubnationalTerritory hasCountrySubSubdivision ofType (0 1) SecondarySubnationalTerritory hasTown ofType (0 1) CityTerritory //includes village, town, ... hasSubTown ofType (0 *) GeopoliticalRegion hasTeritory ofType (0 1) ControlledLand hasPostcode ofType (0 1) _string hasAddressee ofType (0 1) Addressee inSupraNationalRegion ofType (0 1) GeographicalRegion concept PostBoxAddress subConceptOf Address nonFunctionalProperties dc#description hasValue "Postbox Address " endNonFunctionalProperties hasPostBoxNumber ofType _string concept StreetAddress subConceptOf {Address, GeographicalRegion} nonFunctionalProperties dc#description hasValue "Street Address" endNonFunctionalProperties hasStreetType ofType _string hasStreetName ofType _string hasStreetNumber ofType _string hasStreetDirectoryReference ofType StreetDirectoryReference hasProximity ofType Proximity carrierInstructions ofType _string concept InternalAddress subConceptOf StreetAddress nonFunctionalProperties dc#description hasValue "Address internal to a StreetAddress" endNonFunctionalProperties hasBuildingID ofType _string hasLevel ofType _string hasUnitID ofType _string hasRoomNumber ofType _string mailStop ofType _string internalRoutingInstructions ofType _string concept PostBoxType nonFunctionalProperties dc#description hasValue "PostBoxType concept definition" endNonFunctionalProperties value ofType _string relation spatiallyRelated ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) relation near ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation adjacentTo ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf near relation touching ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf near relation inGeneric ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation inPartially ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf inGeneric relation inAmong ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf inGeneric relation inSurrounded ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf inGeneric relation inEmbedded ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf inSurrounded relation subRegions ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf inGeneric relation borderSubRegions ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf subRegions relation internalSubRegions ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf {subRegions, inSurrounded} relation internalParts ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf inSurrounded relation aboveGeneric ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation aboveGenerally ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf aboveGeneric relation aboveHigerThan ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf aboveGeneric relation northOf ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation southOf ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation eastOf ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation westOf ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation facing ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated relation levelWith ( ofType LocativeEntity, ofType LocativeEntity, impliesType _boolean) subRelationOf spatiallyRelated concept Addressee nonFunctionalProperties dc#description hasValue "Addressee concept definition" endNonFunctionalProperties hasDepartmentName ofType (0 1) _string hasName ofType (0 1) _string hasFunctionalTitle ofType (0 1) _string hasProfessionalTitle ofType (0 1) _string hasOrganizationName ofType (0 1) _string concept PhoneNumber subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "PhoneNumber concept definition" endNonFunctionalProperties hasType ofType (1 1) PhoneLineType hasInteractionType ofType (1 1) PhoneNumberInteractionType tollFreeCallForCallersFromRegion ofType (0 1) Region hasCountryCode ofType (0 1) nonNegativeInteger hasNationalDirectDialPrefix ofType (0 1) nonNegativeInteger hasCityOrAreaCode ofType (0 1) nonNegativeInteger hasLocalNumber ofType (1 1) nonNegativeInteger hasInternationalPrefix ofType InternationalPrefixForRegion concept PhoneLineType nonFunctionalProperties dc#description hasValue "PhoneLineType concept definition" endNonFunctionalProperties instance MobileNumberType memberOf PhoneLineType instance CellNumberType memberOf PhoneLineType instance FixedLineNumberType memberOf PhoneLineType concept InternationalPrefixForRegion nonFunctionalProperties dc#description hasValue "InternationalPrefixForRegion concept definition" endNonFunctionalProperties hasInternationalDirectDialPrefix ofType (1 1) nonNegativeInteger forCallersFromRegion ofType (1 *) Region concept IPAddress subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "IPAddress concept definition" endNonFunctionalProperties //todo - to be defined concept EthernetAddress subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "EthernetAddress concept definition" endNonFunctionalProperties //todo - to be defined concept StreetDirectory nonFunctionalProperties dc#description hasValue "StreetDirectory concept definition" endNonFunctionalProperties hasEdition ofType (0 1) nonNegativeInteger hasProvider ofType (0 1) Provider hasISBNCode ofType (0 1) _string hasPublicationTitle ofType (1 1) _string hasPublicationDate ofType (0 1) temp#TemporalDate concept StreetDirectoryReference subConceptOf LocativeEntity nonFunctionalProperties dc#description hasValue "StreetDirectoryReference concept definition" endNonFunctionalProperties hasXPosition ofType (1 1) _string hasYPosition ofType (1 1) _string hasRegion ofType (0 *) Region hasMapNumber ofType (1 1) _string hasReference ofType (1 *) StreetDirectory concept nonNegativeInteger subConceptOf _integer nonFunctionalProperties dc#description hasValue "Non negative integer" dc#relation hasValue validNonNegativeInteger endNonFunctionalProperties axiom validNonNegativeInteger definedBy !- ?x memberOf _integer and lessThan(?x, 0).