From e7ddf361bd4a0556293e8506c5dc181d17f66282 Mon Sep 17 00:00:00 2001 From: Tiago Prince Sales Date: Fri, 2 Oct 2020 16:31:19 +0200 Subject: [PATCH 1/4] Add gufo's inverse module --- gufo-inverse.ttl | 503 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 503 insertions(+) create mode 100644 gufo-inverse.ttl diff --git a/gufo-inverse.ttl b/gufo-inverse.ttl new file mode 100644 index 0000000..22903a3 --- /dev/null +++ b/gufo-inverse.ttl @@ -0,0 +1,503 @@ +@prefix : . +@prefix dc: . +@prefix dct: . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix gufo: . +@prefix rdfs: . +@prefix vann: . +@prefix gufoi: . +@base . + + rdf:type owl:Ontology ; + dc:creator "Almeida, João Paulo A." , + "Falbo, Ricardo A." , + "Guizzardi, Giancarlo" , + "Sales, Tiago P." ; + dc:title "gUFO: Inverse properties"@en ; + dct:rights "This work is distributed under Creative Commons Attribution License CC BY 4.0 "@en ; + vann:preferredNamespaceUri "http://purl.org/nemo/gufo/inverse#"^^xsd:anyURI ; + rdfs:comment """This module extends the gUFO ontology by defining inverse properties for its core object properties (e.g. gufo:inheresIn, gufo:mediates). + +For the source repository, see: """@en . + +################################################################# +# Annotation properties +################################################################# + +### http://purl.org/dc/elements/1.1/creator +dc:creator rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/rights +dc:rights rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/elements/1.1/title +dc:title rdf:type owl:AnnotationProperty . + + +### http://purl.org/dc/terms/rights +dct:rights rdf:type owl:AnnotationProperty . + + +### http://purl.org/vocab/vann/preferredNamespaceUri +vann:preferredNamespaceUri rdf:type owl:AnnotationProperty . + + +################################################################# +# Object Properties +################################################################# + +### http://purl.org/nemo/gufo#broughtAbout +gufo:broughtAbout rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:wasBroughtAboutBy . + + +### http://purl.org/nemo/gufo#categorizes +gufo:categorizes rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:isCategorizedBy . + + +### http://purl.org/nemo/gufo#constitutes +gufo:constitutes rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:isConstitutedBy . + + +### http://purl.org/nemo/gufo#contributedToTrigger +gufo:contributedToTrigger rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:wasTriggeredBy . + + +### http://purl.org/nemo/gufo#externallyDependsOn +gufo:externallyDependsOn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasModeDependee . + + +### http://purl.org/nemo/gufo#hasAssociatedQualityValueType +gufo:hasAssociatedQualityValueType rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasAssociatedQualityType . + + +### http://purl.org/nemo/gufo#historicallyDependsOn +gufo:historicallyDependsOn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasHistoricalDependee . + + +### http://purl.org/nemo/gufo#inheresIn +gufo:inheresIn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:bears . + + +### http://purl.org/nemo/gufo#isAspectProperPartOf +gufo:isAspectProperPartOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasAspectProperPart . + + +### http://purl.org/nemo/gufo#isCollectionMemberOf +gufo:isCollectionMemberOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasCollectionMember . + + +### http://purl.org/nemo/gufo#isComponentOf +gufo:isComponentOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasComponent . + + +### http://purl.org/nemo/gufo#isDerivedFrom +gufo:isDerivedFrom rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:grounds . + + +### http://purl.org/nemo/gufo#isEventProperPartOf +gufo:isEventProperPartOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasEventProperPart . + + +### http://purl.org/nemo/gufo#isObjectProperPartOf +gufo:isObjectProperPartOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasObjectProperPart . + + +### http://purl.org/nemo/gufo#isProperPartOf +gufo:isProperPartOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasProperPart . + + +### http://purl.org/nemo/gufo#isSituationProperPartOf +gufo:isSituationProperPartOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasSituationProperPart . + + +### http://purl.org/nemo/gufo#isSubCollectionOf +gufo:isSubCollectionOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasSubCollection . + + +### http://purl.org/nemo/gufo#isSubQuantityOf +gufo:isSubQuantityOf rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hasSubQuantity . + + +### http://purl.org/nemo/gufo#manifestedIn +gufo:manifestedIn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:manifested . + + +### http://purl.org/nemo/gufo#mediates +gufo:mediates rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:isMediatedBy . + + +### http://purl.org/nemo/gufo#participatedIn +gufo:participatedIn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:hadParticipant . + + +### http://purl.org/nemo/gufo#partitions +gufo:partitions rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:isPartitionedBy . + + +### http://purl.org/nemo/gufo#wasCreatedIn +gufo:wasCreatedIn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:created . + + +### http://purl.org/nemo/gufo#wasTerminatedIn +gufo:wasTerminatedIn rdf:type owl:ObjectProperty ; + owl:inverseOf gufoi:terminated . + + +### http://purl.org/nemo/gufo/inverse#bears +gufoi:bears rdf:type owl:ObjectProperty , + owl:FunctionalProperty , + owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + rdfs:domain gufo:ConcreteIndividual ; + rdfs:range gufo:Aspect ; + rdfs:label "bears"@en ; + rdfs:seeAlso gufo:inheresIn . + + +### http://purl.org/nemo/gufo/inverse#created +gufoi:created rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Event ; + rdfs:range gufo:Endurant ; + rdfs:label "created"@en ; + rdfs:seeAlso gufo:wasCreatedIn . + + +### http://purl.org/nemo/gufo/inverse#grounds +gufoi:grounds rdf:type owl:ObjectProperty ; + rdfs:domain gufo:EndurantType ; + rdfs:range [ rdf:type owl:Class ; + owl:unionOf ( gufo:ComparativeRelationshipType + gufo:MaterialRelationshipType + ) + ] ; + rdfs:label "grounds"@en ; + rdfs:seeAlso gufo:isDerivedFrom . + + +### http://purl.org/nemo/gufo/inverse#hadParticipant +gufoi:hadParticipant rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Event ; + rdfs:range gufo:Object ; + rdfs:label "hadParticipant"@en ; + rdfs:seeAlso gufo:participatedIn . + + +### http://purl.org/nemo/gufo/inverse#hasAspectProperPart +gufoi:hasAspectProperPart rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasProperPart ; + rdf:type owl:TransitiveProperty ; + rdfs:domain gufo:Aspect ; + rdfs:range gufo:Aspect ; + rdfs:label "hasAspectProperPart"@en ; + rdfs:seeAlso gufo:isAspectProperPartOf . + + +### http://purl.org/nemo/gufo/inverse#hasAssociatedQualityType +gufoi:hasAssociatedQualityType rdf:type owl:ObjectProperty ; + rdfs:range gufo:EndurantType ; + rdfs:domain gufo:AbstractIndividualType ; + rdfs:label "hasAssociatedQualityType"@en ; + rdfs:seeAlso gufo:hasAssociatedQualityValueType . + + +### http://purl.org/nemo/gufo/inverse#hasCollectionMember +gufoi:hasCollectionMember rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasObjectProperPart ; + rdfs:domain gufo:Collection ; + rdfs:range gufo:Object ; + rdfs:label "hasCollectionMember"@en ; + rdfs:seeAlso gufo:isCollectionMemberOf . + + +### http://purl.org/nemo/gufo/inverse#hasComponent +gufoi:hasComponent rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasObjectProperPart ; + rdfs:domain gufo:FunctionalComplex ; + rdfs:range gufo:Object ; + rdfs:label "hasComponent"@en ; + rdfs:seeAlso gufo:isComponentOf . + + +### http://purl.org/nemo/gufo/inverse#hasEventProperPart +gufoi:hasEventProperPart rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasProperPart ; + rdf:type owl:TransitiveProperty ; + rdfs:domain gufo:Event ; + rdfs:range gufo:Event ; + rdfs:label "hasEventProperPart"@en ; + rdfs:seeAlso gufo:isEventProperPartOf . + + +### http://purl.org/nemo/gufo/inverse#hasHistoricalDependee +gufoi:hasHistoricalDependee rdf:type owl:ObjectProperty , + owl:TransitiveProperty ; + rdfs:domain gufo:ConcreteIndividual ; + rdfs:range gufo:ConcreteIndividual ; + rdfs:label "hasHistoricalDependee"@en ; + rdfs:seeAlso gufo:historicallyDependsOn . + + +### http://purl.org/nemo/gufo/inverse#hasModeDependee +gufoi:hasModeDependee rdf:type owl:ObjectProperty , + owl:IrreflexiveProperty ; + rdfs:domain gufo:Endurant ; + rdfs:range gufo:ExtrinsicMode ; + rdfs:label "hasModeDependee"@en ; + rdfs:seeAlso gufo:externallyDependsOn . + + +### http://purl.org/nemo/gufo/inverse#hasObjectProperPart +gufoi:hasObjectProperPart rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasProperPart ; + rdf:type owl:TransitiveProperty ; + rdfs:domain gufo:Object ; + rdfs:range gufo:Object ; + rdfs:label "hasObjectProperPart"@en ; + rdfs:seeAlso gufo:isObjectProperPartOf . + + +### http://purl.org/nemo/gufo/inverse#hasProperPart +gufoi:hasProperPart rdf:type owl:ObjectProperty , + owl:TransitiveProperty ; + rdfs:domain owl:Thing ; + rdfs:range owl:Thing ; + rdfs:seeAlso gufo:isProperPartOf ; + rdfs:label "hasProperPart"@en . + + +### http://purl.org/nemo/gufo/inverse#hasSituationProperPart +gufoi:hasSituationProperPart rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasProperPart ; + rdfs:domain gufo:Situation ; + rdfs:range gufo:Situation ; + rdfs:seeAlso gufo:isSituationProperPartOf ; + rdfs:label "hasSituationProperPart"@en . + + +### http://purl.org/nemo/gufo/inverse#hasSubCollection +gufoi:hasSubCollection rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasObjectProperPart ; + rdf:type owl:TransitiveProperty ; + rdfs:domain gufo:Collection ; + rdfs:range gufo:Collection ; + rdfs:seeAlso gufo:isSubCollectionOf ; + rdfs:label "hasSubCollection"@en . + + +### http://purl.org/nemo/gufo/inverse#hasSubQuantity +gufoi:hasSubQuantity rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:hasObjectProperPart ; + rdf:type owl:TransitiveProperty ; + rdfs:domain gufo:Quantity ; + rdfs:range gufo:Quantity ; + rdfs:seeAlso gufo:isSubQuantityOf ; + rdfs:label "hasSubQuantity"@en . + + +### http://purl.org/nemo/gufo/inverse#isCategorizedBy +gufoi:isCategorizedBy rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Type ; + rdfs:range [ owl:intersectionOf ( gufo:Type + [ rdf:type owl:Class ; + owl:complementOf gufo:AbstractIndividualType + ] + [ rdf:type owl:Class ; + owl:complementOf gufo:ConcreteIndividualType + ] + ) ; + rdf:type owl:Class + ] ; + rdfs:seeAlso gufo:categorizes ; + rdfs:label "isCategorizedBy"@en . + + +### http://purl.org/nemo/gufo/inverse#isConstitutedBy +gufoi:isConstitutedBy rdf:type owl:ObjectProperty ; + rdfs:domain gufo:ConcreteIndividual ; + rdfs:range gufo:ConcreteIndividual ; + rdfs:label "isConstitutedBy"@en ; + rdfs:seeAlso gufo:constitutes . + + +### http://purl.org/nemo/gufo/inverse#isMediatedBy +gufoi:isMediatedBy rdf:type owl:ObjectProperty , + owl:AsymmetricProperty , + owl:IrreflexiveProperty ; + rdfs:domain gufo:Endurant ; + rdfs:range gufo:Relator ; + rdfs:seeAlso gufo:mediates ; + rdfs:label "isMediatedBy"@en . + + +### http://purl.org/nemo/gufo/inverse#isPartitionedBy +gufoi:isPartitionedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufoi:isCategorizedBy ; + rdfs:label "isPartitionedBy"@en ; + rdfs:seeAlso gufo:partitions . + + +### http://purl.org/nemo/gufo/inverse#manifested +gufoi:manifested rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Event ; + rdfs:range gufo:Aspect ; + rdfs:label "manifested"@en ; + rdfs:seeAlso gufo:manifestedIn . + + +### http://purl.org/nemo/gufo/inverse#terminated +gufoi:terminated rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Event ; + rdfs:range gufo:Endurant ; + rdfs:label "terminated"@en ; + rdfs:seeAlso gufo:wasTerminatedIn . + + +### http://purl.org/nemo/gufo/inverse#wasBroughtAboutBy +gufoi:wasBroughtAboutBy rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Situation ; + rdfs:range gufo:Event ; + rdfs:label "wasBroughtAboutBy"@en ; + rdfs:seeAlso gufo:broughtAbout . + + +### http://purl.org/nemo/gufo/inverse#wasTriggeredBy +gufoi:wasTriggeredBy rdf:type owl:ObjectProperty ; + rdfs:domain gufo:Event ; + rdfs:range gufo:Situation ; + rdfs:label "wasTriggeredBy"@en ; + rdfs:seeAlso gufo:contributedToTrigger . + + +################################################################# +# Classes +################################################################# + +### http://purl.org/nemo/gufo#AbstractIndividualType +gufo:AbstractIndividualType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Aspect +gufo:Aspect rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Collection +gufo:Collection rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#ComparativeRelationshipType +gufo:ComparativeRelationshipType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#ConcreteIndividual +gufo:ConcreteIndividual rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#ConcreteIndividualType +gufo:ConcreteIndividualType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Endurant +gufo:Endurant rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#EndurantType +gufo:EndurantType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Event +gufo:Event rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#ExtrinsicMode +gufo:ExtrinsicMode rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#FunctionalComplex +gufo:FunctionalComplex rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#MaterialRelationshipType +gufo:MaterialRelationshipType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#NonRigidType +gufo:NonRigidType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Object +gufo:Object rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#QualityValue +gufo:QualityValue rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#QualityValueAttributionSituation +gufo:QualityValueAttributionSituation rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Quantity +gufo:Quantity rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#RelationshipType +gufo:RelationshipType rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Relator +gufo:Relator rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Situation +gufo:Situation rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#TemporaryConstitutionSituation +gufo:TemporaryConstitutionSituation rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#TemporaryInstantiationSituation +gufo:TemporaryInstantiationSituation rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#TemporaryParthoodSituation +gufo:TemporaryParthoodSituation rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#TemporaryRelationshipSituation +gufo:TemporaryRelationshipSituation rdf:type owl:Class . + + +### http://purl.org/nemo/gufo#Type +gufo:Type rdf:type owl:Class . + + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi From a4a038708db0dfe969893b560d1652e35251b28b Mon Sep 17 00:00:00 2001 From: Tiago Prince Sales Date: Fri, 2 Oct 2020 16:35:57 +0200 Subject: [PATCH 2/4] Removed unused prefixes from gufo.ttl --- gufo.ttl | 2 -- 1 file changed, 2 deletions(-) diff --git a/gufo.ttl b/gufo.ttl index f548f4d..ea87f91 100644 --- a/gufo.ttl +++ b/gufo.ttl @@ -3,10 +3,8 @@ @prefix dct: . @prefix owl: . @prefix rdf: . -@prefix sdo: . @prefix xml: . @prefix xsd: . -@prefix foaf: . @prefix gufo: . @prefix rdfs: . @prefix time: . From fe5e2f4bceea465a3472183c5d0cefeb0696d31a Mon Sep 17 00:00:00 2001 From: Tiago Prince Sales Date: Fri, 2 Oct 2020 16:36:50 +0200 Subject: [PATCH 3/4] Added 3 boilerplates to help users start modeling --- boilerplates/car-rental.ttl | 900 +++++++++++++++++++++++++++++ boilerplates/gufo-import.ttl | 25 + boilerplates/gufu-gufoi-import.ttl | 26 + 3 files changed, 951 insertions(+) create mode 100644 boilerplates/car-rental.ttl create mode 100644 boilerplates/gufo-import.ttl create mode 100644 boilerplates/gufu-gufoi-import.ttl diff --git a/boilerplates/car-rental.ttl b/boilerplates/car-rental.ttl new file mode 100644 index 0000000..9d47b44 --- /dev/null +++ b/boilerplates/car-rental.ttl @@ -0,0 +1,900 @@ +@prefix : . +@prefix owl: . +@prefix rdf: . +@prefix xml: . +@prefix xsd: . +@prefix gufo: . +@prefix rdfs: . +@prefix rental: . +@base . + + rdf:type owl:Ontology ; + owl:imports gufo: ; + "Sales, Tiago P"^^xsd:string ; + "2020-10-02"^^xsd:date ; + "Car Rental Ontology (gUFO Demo)"@en ; + rdfs:comment """This file demonstrates how to create a ontology by *specializing* gUFO classes in the taxonomy of individuals, while *instantiating* gUFO classes in the taxonomy of types. + +For example: + +rental:CarRental rdf:type owl:Class ; + rdfs:subClassOf gufo:Relator ; + rdf:type gufo:Kind . + +If you are opening this ontology on Protégé, you will see seemly duplicated, as both a class and an individual. That occurs because gUFO leverages OWL's punning feature to characterize certain properties of types, a feature which is not explicitly supported by the tool."""@en . + +################################################################# +# Object Properties +################################################################# + +### http://purl.org/nemo/gufo/boilerplates/car-rental#carOwner +rental:carOwner rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:CarOwnership ; + rdfs:range rental:CarAgency ; + rdfs:label "involves car owner" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#confirmedBy +rental:confirmedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:OfficialCommitment ; + rdfs:range rental:Notary ; + rdfs:label "confirmed by" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#formalizedBy +rental:formalizedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:OfficialCommitment ; + rdfs:range rental:Contract ; + rdfs:label "formalized by" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#includes +rental:includes rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:CarRental ; + rdfs:range rental:RentalCar ; + rdfs:label "includes" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#involvesCar +rental:involvesCar rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:CarOwnership ; + rdfs:range rental:Car ; + rdfs:label "involves car" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#involvesEmployee +rental:involvesEmployee rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:Employment ; + rdfs:range rental:Employee ; + rdfs:label "involves employee" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#involvesEmployer +rental:involvesEmployer rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:Employment ; + rdfs:range rental:Organization ; + rdfs:label "involves employer" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#involvesHusband +rental:involvesHusband rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:Marriage ; + rdfs:range rental:Husband ; + rdfs:label "involves husband" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#involvesPossession +rental:involvesPossession rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:Ownership ; + rdfs:range rental:Ownable ; + rdfs:label "involves possession" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#involvesWife +rental:involvesWife rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:Marriage ; + rdfs:range rental:Wife ; + rdfs:label "involves wife" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#owner +rental:owner rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:Ownership ; + rdfs:range rental:Agent ; + rdfs:label "involves owner" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#processedBy +rental:processedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:CarRental ; + rdfs:range rental:ResponsibleEmployee ; + rdfs:label "processed by" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#protects +rental:protects rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:RentalInsurance ; + rdfs:range rental:CarRental ; + rdfs:label "protects" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#providedBy +rental:providedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:RentalInsurance ; + rdfs:range rental:InsuranceCompany ; + rdfs:label "provided by" . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#requestedBy +rental:requestedBy rdf:type owl:ObjectProperty ; + rdfs:subPropertyOf gufo:mediates ; + rdfs:domain rental:CarRental ; + rdfs:range rental:Customer ; + rdfs:label "requested by" . + + +################################################################# +# Classes +################################################################# + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Adult +rental:Adult rdf:type owl:Class ; + rdfs:subClassOf rental:LivingPerson . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Agent +rental:Agent rdf:type owl:Class ; + rdfs:subClassOf gufo:FunctionalComplex . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#AvailableCar +rental:AvailableCar rdf:type owl:Class ; + rdfs:subClassOf rental:Car ; + owl:disjointWith rental:UnderMaintenanceCar . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Car +rental:Car rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( rental:AvailableCar + rental:UnderMaintenanceCar + ) + ] ; + rdfs:subClassOf rental:Ownable , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:involvesCar + ] ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:CarOwnership + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CarAgency +rental:CarAgency rdf:type owl:Class ; + rdfs:subClassOf rental:Organization . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CarOwnership +rental:CarOwnership rdf:type owl:Class ; + rdfs:subClassOf rental:Ownership , + [ rdf:type owl:Restriction ; + owl:onProperty rental:carOwner ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:CarAgency + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:involvesCar ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Car + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CarRental +rental:CarRental rdf:type owl:Class ; + rdfs:subClassOf gufo:Relator , + [ rdf:type owl:Restriction ; + owl:onProperty rental:includes ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:RentalCar + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:processedBy ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:ResponsibleEmployee + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:requestedBy ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Customer + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Child +rental:Child rdf:type owl:Class ; + rdfs:subClassOf rental:LivingPerson . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Contract +rental:Contract rdf:type owl:Class ; + rdfs:subClassOf gufo:FunctionalComplex , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:formalizedBy + ] ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:OfficialCommitment + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CorporateCustomer +rental:CorporateCustomer rdf:type owl:Class ; + rdfs:subClassOf rental:Customer , + rental:Organization ; + owl:disjointWith rental:PersonalCustomer . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Customer +rental:Customer rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( rental:CorporateCustomer + rental:PersonalCustomer + ) + ] ; + rdfs:subClassOf gufo:FunctionalComplex , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:requestedBy + ] ; + owl:someValuesFrom rental:CarRental + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#DeceasedPerson +rental:DeceasedPerson rdf:type owl:Class ; + rdfs:subClassOf rental:Person ; + owl:disjointWith rental:LivingPerson . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Employee +rental:Employee rdf:type owl:Class ; + rdfs:subClassOf rental:Person , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:involvesEmployee + ] ; + owl:someValuesFrom rental:Employment + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Employment +rental:Employment rdf:type owl:Class ; + rdfs:subClassOf rental:OfficialCommitment , + [ rdf:type owl:Restriction ; + owl:onProperty rental:involvesEmployee ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Employee + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:involvesEmployer ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Organization + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Husband +rental:Husband rdf:type owl:Class ; + rdfs:subClassOf rental:Man , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:involvesHusband + ] ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Marriage + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#InsuranceCompany +rental:InsuranceCompany rdf:type owl:Class ; + rdfs:subClassOf rental:Organization . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#LivingPerson +rental:LivingPerson rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( rental:Adult + rental:Child + rental:Teenager + ) + ] ; + rdfs:subClassOf rental:Person . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#LogisticsOperator +rental:LogisticsOperator rdf:type owl:Class ; + rdfs:subClassOf rental:Organization . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Man +rental:Man rdf:type owl:Class ; + rdfs:subClassOf rental:Person ; + owl:disjointWith rental:Woman . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Marriage +rental:Marriage rdf:type owl:Class ; + rdfs:subClassOf gufo:Relator , + [ rdf:type owl:Restriction ; + owl:onProperty rental:involvesHusband ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Husband + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:involvesWife ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Wife + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Notary +rental:Notary rdf:type owl:Class ; + rdfs:subClassOf rental:Person , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:confirmedBy + ] ; + owl:someValuesFrom rental:OfficialCommitment + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#OfficialCommitment +rental:OfficialCommitment rdf:type owl:Class ; + rdfs:subClassOf gufo:Relator , + [ rdf:type owl:Restriction ; + owl:onProperty rental:formalizedBy ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Contract + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:confirmedBy ; + owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Notary + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Organization +rental:Organization rdf:type owl:Class ; + rdfs:subClassOf rental:Agent . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Ownable +rental:Ownable rdf:type owl:Class ; + rdfs:subClassOf gufo:FunctionalComplex , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:involvesPossession + ] ; + owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Ownership + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Ownership +rental:Ownership rdf:type owl:Class ; + rdfs:subClassOf gufo:Relator , + [ rdf:type owl:Restriction ; + owl:onProperty rental:involvesPossession ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Ownable + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:owner ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Agent + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Person +rental:Person rdf:type owl:Class ; + owl:equivalentClass [ rdf:type owl:Class ; + owl:unionOf ( rental:DeceasedPerson + rental:LivingPerson + ) + ] , + [ rdf:type owl:Class ; + owl:unionOf ( rental:Man + rental:Woman + ) + ] ; + rdfs:subClassOf rental:Agent . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#PersonalCustomer +rental:PersonalCustomer rdf:type owl:Class ; + rdfs:subClassOf rental:Adult , + rental:Customer . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#RentalCar +rental:RentalCar rdf:type owl:Class ; + rdfs:subClassOf rental:AvailableCar , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:includes + ] ; + owl:someValuesFrom rental:CarRental + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#RentalInsurance +rental:RentalInsurance rdf:type owl:Class ; + rdfs:subClassOf gufo:Relator , + [ rdf:type owl:Restriction ; + owl:onProperty rental:protects ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:CarRental + ] , + [ rdf:type owl:Restriction ; + owl:onProperty rental:providedBy ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:InsuranceCompany + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#ResponsibleEmployee +rental:ResponsibleEmployee rdf:type owl:Class ; + rdfs:subClassOf rental:Employee , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:processedBy + ] ; + owl:someValuesFrom rental:CarRental + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Teenager +rental:Teenager rdf:type owl:Class ; + rdfs:subClassOf rental:LivingPerson . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#UnderMaintenanceCar +rental:UnderMaintenanceCar rdf:type owl:Class ; + rdfs:subClassOf rental:Car . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Wife +rental:Wife rdf:type owl:Class ; + rdfs:subClassOf rental:Woman , + [ rdf:type owl:Restriction ; + owl:onProperty [ owl:inverseOf rental:involvesWife + ] ; + owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ; + owl:onClass rental:Marriage + ] . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Woman +rental:Woman rdf:type owl:Class ; + rdfs:subClassOf rental:Person . + + +################################################################# +# Individuals +################################################################# + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Adult +rental:Adult rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Agent +rental:Agent rdf:type owl:NamedIndividual , + gufo:Category . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#AvailableCar +rental:AvailableCar rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Car +rental:Car rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CarAgency +rental:CarAgency rdf:type owl:NamedIndividual , + gufo:SubKind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CarOwnership +rental:CarOwnership rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CarRental +rental:CarRental rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Child +rental:Child rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Contract +rental:Contract rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#CorporateCustomer +rental:CorporateCustomer rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Customer +rental:Customer rdf:type owl:NamedIndividual , + gufo:RoleMixin . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#DeceasedPerson +rental:DeceasedPerson rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Employee +rental:Employee rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Employment +rental:Employment rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Husband +rental:Husband rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#InsuranceCompany +rental:InsuranceCompany rdf:type owl:NamedIndividual , + gufo:SubKind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#LivingPerson +rental:LivingPerson rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#LogisticsOperator +rental:LogisticsOperator rdf:type owl:NamedIndividual , + gufo:SubKind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Man +rental:Man rdf:type owl:NamedIndividual , + gufo:SubKind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Marriage +rental:Marriage rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Notary +rental:Notary rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#OfficialCommitment +rental:OfficialCommitment rdf:type owl:NamedIndividual , + gufo:Category . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Organization +rental:Organization rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Ownable +rental:Ownable rdf:type owl:NamedIndividual , + gufo:Mixin . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Ownership +rental:Ownership rdf:type owl:NamedIndividual , + gufo:Category . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Person +rental:Person rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#PersonalCustomer +rental:PersonalCustomer rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#RentalCar +rental:RentalCar rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#RentalInsurance +rental:RentalInsurance rdf:type owl:NamedIndividual , + gufo:Kind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#ResponsibleEmployee +rental:ResponsibleEmployee rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Teenager +rental:Teenager rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#UnderMaintenanceCar +rental:UnderMaintenanceCar rdf:type owl:NamedIndividual , + gufo:Phase . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Wife +rental:Wife rdf:type owl:NamedIndividual , + gufo:Role . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#Woman +rental:Woman rdf:type owl:NamedIndividual , + gufo:SubKind . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#boolean +rental:boolean rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#byte +rental:byte rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#char +rental:char rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#double +rental:double rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#float +rental:float rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#int +rental:int rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#long +rental:long rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#short +rental:short rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#string +rental:string rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +### http://purl.org/nemo/gufo/boilerplates/car-rental#void +rental:void rdf:type owl:NamedIndividual , + gufo:AbstractIndividualType . + + +################################################################# +# Annotations +################################################################# + +rental:Adult rdfs:label "Adult" . + + +rental:Agent rdfs:label "Agent" . + + +rental:AvailableCar rdfs:label "Available Car" . + + +rental:Car rdfs:label "Car" . + + +rental:CarAgency rdfs:label "Car Agency" . + + +rental:CarOwnership rdfs:label "Car Ownership" . + + +rental:CarRental rdfs:label "Car Rental" . + + +rental:Child rdfs:label "Child" . + + +rental:Contract rdfs:label "Contract" . + + +rental:CorporateCustomer rdfs:label "Corporate Customer" . + + +rental:Customer rdfs:label "Customer" . + + +rental:DeceasedPerson rdfs:label "Deceased Person" . + + +rental:Employee rdfs:label "Employee" . + + +rental:Employment rdfs:label "Employment" . + + +rental:Husband rdfs:label "Husband" . + + +rental:InsuranceCompany rdfs:label "Insurance Company" . + + +rental:LivingPerson rdfs:label "Living Person" . + + +rental:LogisticsOperator rdfs:label "Logistics Operator" . + + +rental:Man rdfs:label "Man" . + + +rental:Marriage rdfs:label "Marriage" . + + +rental:Notary rdfs:label "Notary" . + + +rental:OfficialCommitment rdfs:label "Official Commitment" . + + +rental:Organization rdfs:label "Organization" . + + +rental:Ownable rdfs:label "Ownable" . + + +rental:Ownership rdfs:label "Ownership" . + + +rental:Person rdfs:label "Person" . + + +rental:PersonalCustomer rdfs:label "Personal Customer" . + + +rental:RentalCar rdfs:label "Rental Car" . + + +rental:RentalInsurance rdfs:label "Rental Insurance" . + + +rental:ResponsibleEmployee rdfs:label "Responsible Employee" . + + +rental:Teenager rdfs:label "Teenager" . + + +rental:UnderMaintenanceCar rdfs:label "Under Maintenance Car" . + + +rental:Wife rdfs:label "Wife" . + + +rental:Woman rdfs:label "Woman" . + + + rdfs:label "involves car" . + + + rdfs:label "involves car owner" . + + + rdfs:label "processed by" . + + + rdfs:label "requested by" . + + + rdfs:label "includes" . + + + rdfs:label "involves employee" . + + + rdfs:label "involves employer" . + + + rdfs:label "involves husband" . + + + rdfs:label "involves wife" . + + + rdfs:label "formalized by" . + + + rdfs:label "confirmed by" . + + + rdfs:label "involves possession" . + + + rdfs:label "involves owner" . + + + rdfs:label "protects" . + + + rdfs:label "provided by" . + + +################################################################# +# General axioms +################################################################# + +[ rdf:type owl:AllDisjointClasses ; + owl:members ( rental:Adult + rental:Child + rental:Teenager + ) +] . + + +[ rdf:type owl:AllDisjointClasses ; + owl:members ( rental:Car + rental:Contract + rental:Organization + rental:Person + ) +] . + + +[ rdf:type owl:AllDisjointClasses ; + owl:members ( rental:CarAgency + rental:InsuranceCompany + rental:LogisticsOperator + ) +] . + + +[ rdf:type owl:AllDisjointClasses ; + owl:members ( rental:CarOwnership + rental:CarRental + rental:Employment + rental:Marriage + rental:RentalInsurance + ) +] . + + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi diff --git a/boilerplates/gufo-import.ttl b/boilerplates/gufo-import.ttl new file mode 100644 index 0000000..0a9875a --- /dev/null +++ b/boilerplates/gufo-import.ttl @@ -0,0 +1,25 @@ +@prefix : . +@prefix gufo: . +@prefix dc: . +@prefix owl: . +@prefix rdfs: . +@prefix rdf: . +@prefix xsd: . +@prefix xml: . +@base . + + rdf:type owl:Ontology ; + owl:imports gufo: ; + dc:creator "Your name goes here."@en ; + dc:title "The name of your ontology goes here."@en ; + rdfs:comment """This is a boilerplate file that imports gUFO. + +First steps: + +1. Replace the Ontology IRI +2. Replace dc:title +3. Replace dc:creator +4. Start using gUFO to create your ontology (it has already been imported by Protégé!) + +For guidelines on how to you gUFO effectively, please refer to . +"""@en . diff --git a/boilerplates/gufu-gufoi-import.ttl b/boilerplates/gufu-gufoi-import.ttl new file mode 100644 index 0000000..e0dac0d --- /dev/null +++ b/boilerplates/gufu-gufoi-import.ttl @@ -0,0 +1,26 @@ +@prefix : . +@prefix gufo: . +@prefix gufoi: . +@prefix dc: . +@prefix owl: . +@prefix rdfs: . +@prefix rdf: . +@prefix xsd: . +@prefix xml: . +@base . + + rdf:type owl:Ontology ; + owl:imports gufo: , + gufoi: ; + dc:creator "Your name goes here."@en ; + dc:title "The name of your ontology goes here."@en ; + rdfs:comment """This is a boilerplate file that imports gUFO and its extension with inverse relations. + +First steps: + +1. Replace the Ontology IRI +2. Replace dc:title +3. Replace dc:creator +4. Start using gUFO to create your ontology (it has already been imported by Protégé!) + +For guidelines on how to you gUFO effectively, please refer to ."""@en . From 23bdba4bea4f5a8a43b1a76d70d78afdef50a5dd Mon Sep 17 00:00:00 2001 From: Tiago Prince Sales Date: Fri, 2 Oct 2020 16:36:59 +0200 Subject: [PATCH 4/4] Updated documentation --- docs/overview.md | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/docs/overview.md b/docs/overview.md index 6ff3748..7ca07d7 100644 --- a/docs/overview.md +++ b/docs/overview.md @@ -26,7 +26,7 @@ See also [reference table of contents](#toc). gUFO is intended for reuse in the definition of UFO-based lightweight ontologies. The term "user" will thus be reserved to identify the designers of these ontologies. -Reuse of gUFO consists in instantiating and/or specializing the various classes, object properties and data properties defined in the ontology, inheriting from it the domain-independent distinctions of UFO. This section provides an introduction to gUFO as a primer to prospective users. [Turtle](https://www.w3.org/TR/turtle/) is used as a syntax for RDF serialization for illustrative purposes. +Reuse of gUFO consists in instantiating and/or specializing the various classes, object properties and data properties defined in the ontology, inheriting from it the domain-independent distinctions of UFO. This section provides an introduction to gUFO as a primer to prospective users. [Turtle](https://www.w3.org/TR/turtle/) is used as a syntax for RDF serialization for illustrative purposes. A key feature of UFO (and hence, gUFO) is that it includes two taxonomies: one with classes whose instances are individuals (classes in this taxonomy include gufo:Object, gufo:Event) and another with classes whose instances are types (classes in this taxonomy include gufo:Kind, gufo:Phase, gufo:Category). @@ -58,7 +58,7 @@ An overview of these taxonomies in gUFO is shown below. > * SituationType > * RelationshipType -Considering these two taxonomies, the following usage scenarios are envisioned and discussed in this document where appropriate: +Considering these two taxonomies, the following usage scenarios are envisioned and discussed in this document where appropriate: 1. A UFO-based ontology *instantiates* gUFO classes in the taxonomy of individuals For example, `:Earth rdf:type gufo:Object` and `:WorldCup1970Final rdf:type gufo:Event`. @@ -78,6 +78,15 @@ Users may combine the various scenarios discussed. For example, users will often rdfs:subClassOf gufo:Object ; rdf:type gufo:Kind . +An example ontology on the car rental domain that adopts scenarios 2 and 3 is available at [http://purl.org/nemo/gufo/boilerplates/car-rental](http://purl.org/nemo/gufo/boilerplates/car-rental). + +The main gUFO module, `gufo: `, defines object properties in a single direction. For instance, an UFO's inherence relation is implemented in gUFO as the object property `gufo:inheresIn`, which has`gufo:Aspect` in its domain and `gufo:ConcreteIndividual` in its range. + +Users who also want to leverage inverse properties in their ontologies can import a separate ontology module called `gufoi`, which is available at [http://purl.org/nemo/gufo/inverse](http://purl.org/nemo/gufo/inverse). + +A boilerplate which imports both `gufo` and `gufoi` is available for reuse at [http://purl.org/nemo/gufo/boilerplates/gufo-gufoi-import](http://purl.org/nemo/gufo/boilerplates/gufo-gufoi-import). + + ### 2. Taxonomy of Individuals