@base <http://www.ontologydesignpatterns.org/cp/owl/place.owl> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix : <#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix cpannotationschema: <../../schemas/cpannotationschema.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<>
    cpannotationschema:coversRequirements "Where is a certain thing located? What is located at this place?"^^rdf:PlainLiteral ;
    cpannotationschema:extractedFrom "http://www.ontologydesignpatterns.org/ont/dul/DUL.owl"^^rdf:PlainLiteral ;
    cpannotationschema:hasAuthor "Aldo Gangemi"^^rdf:PlainLiteral ;
    cpannotationschema:hasConsequences """We can represent, transitively, where something is located. It remains unspecified what kind of location relation we are trying to represent: reference location, partial location, physical location, social or metaphoric location, etc.
Moreover, temporal location is not caught with this pattern (you need a placement situation for that)."""^^rdf:PlainLiteral ;
    cpannotationschema:hasIntent "To talk about places of things."^^rdf:PlainLiteral ;
    cpannotationschema:scenarios "The Colosseum is located in Rome."^^rdf:PlainLiteral ;
    a owl:Ontology ;
    owl:imports <../../schemas/cpannotationschema.owl> ;
    owl:versionInfo "1.1 added rdfs:isDefinedBy for all named entities"^^xsd:string .

:Place
    a owl:Class ;
    rdfs:comment """A location, in a very generic sense: a political geographic entity (Roma, Lesotho), a location determined by the presence of other entities ('the area close to Roma'), pivot events or signs (\"the area where the helicopter fell\"), complements of other entities ('the area under the table'), as well as physical objects conceptualized as locations as their main identity criterion ('the territory of Italy').
In this generic sense, a Place is an 'approximate', relative location. For an 'absolute', abstract location, cf. the pattern spaceregion.owl.
Formally, a Place is defined by the fact of having something located in it; a Place is located in itself.""" ;
    rdfs:isDefinedBy <> ;
    rdfs:label "Luogo"@it, "Place"@en ;
    owl:equivalentClass [
        a owl:Restriction ;
        owl:onProperty :isLocationOf ;
        owl:someValuesFrom owl:Thing
    ] .

:hasLocation
    a owl:ObjectProperty, owl:TransitiveProperty ;
    rdfs:comment """A generic, relative localization, holding between any entities. E.g. 'the cat is on the mat', 'Omar is in Samarcanda', 'the wound is close to the femural artery'.
For 'absolute' locations, see SpaceRegion""" ;
    rdfs:domain owl:Thing ;
    rdfs:isDefinedBy <> ;
    rdfs:label "ha localizzazione"@it, "has location"@en ;
    rdfs:range owl:Thing .

:isLocationOf
    a owl:ObjectProperty, owl:TransitiveProperty ;
    rdfs:comment """A generic, relative localization, holding between any entities. E.g. 'Rome is the seat of the Pope', 'the liver is the location of the tumor'.
As a very general notion of localization, it is assumed as transitive.
For 'absolute' locations, see SpaceRegion""" ;
    rdfs:domain owl:Thing ;
    rdfs:isDefinedBy <> ;
    rdfs:label "is location of"@en, "è una localizzazione di"@it ;
    rdfs:range owl:Thing ;
    owl:inverseOf :hasLocation .

cpannotationschema:coversRequirements
    a owl:AnnotationProperty .

cpannotationschema:extractedFrom
    a owl:AnnotationProperty .

cpannotationschema:hasAuthor
    a owl:AnnotationProperty .

cpannotationschema:hasConsequences
    a owl:AnnotationProperty .

cpannotationschema:hasIntent
    a owl:AnnotationProperty .

cpannotationschema:scenarios
    a owl:AnnotationProperty .

rdfs:comment
    a owl:AnnotationProperty .

rdfs:isDefinedBy
    a owl:AnnotationProperty .

rdfs:label
    a owl:AnnotationProperty .

owl:Thing
    a owl:Class .

owl:versionInfo
    a owl:AnnotationProperty .