diff --git a/.classpath b/.classpath
new file mode 100644
index 0000000..af1430b
--- /dev/null
+++ b/.classpath
@@ -0,0 +1,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..b83d222
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/target/
diff --git a/.project b/.project
new file mode 100644
index 0000000..9aca497
--- /dev/null
+++ b/.project
@@ -0,0 +1,23 @@
+
+
+ VIVO-Sample-Data
+
+
+
+
+
+ org.eclipse.jdt.core.javabuilder
+
+
+
+
+ org.eclipse.m2e.core.maven2Builder
+
+
+
+
+
+ org.eclipse.jdt.core.javanature
+ org.eclipse.m2e.core.maven2Nature
+
+
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000..e9441bb
--- /dev/null
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+encoding//src/main/java=UTF-8
+encoding/=UTF-8
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 0000000..714351a
--- /dev/null
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,5 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
+org.eclipse.jdt.core.compiler.source=1.8
diff --git a/.settings/org.eclipse.m2e.core.prefs b/.settings/org.eclipse.m2e.core.prefs
new file mode 100644
index 0000000..f897a7f
--- /dev/null
+++ b/.settings/org.eclipse.m2e.core.prefs
@@ -0,0 +1,4 @@
+activeProfiles=
+eclipse.preferences.version=1
+resolveWorkspaceProjects=true
+version=1
diff --git a/README.md b/README.md
index c4acc9a..14e8a52 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
# VIVO-Sample-Data
+- Le répertoire src contient un exemple d'éxécution du raisonneur le l'OWLAPI
+- le fichier restriction-dev/test-case-restriction.ttl contient la définition de la restriction permettant de classer un individu sous PRS_0000002 ainsi qu'un scénario de test
diff --git a/pom.xml b/pom.xml
new file mode 100644
index 0000000..3c4a9ef
--- /dev/null
+++ b/pom.xml
@@ -0,0 +1,31 @@
+
+ 4.0.0
+ VIVO-Sample-Data
+ VIVO-Sample-Data
+ 0.0.1-SNAPSHOT
+
+
+ yyyy-MM-dd HH:mm:ss
+ ${maven.build.timestamp}
+ false
+ /
+ UTF-8
+ 1.8
+ 1.8
+
+
+
+ org.vivoweb
+ vitro-dependencies
+ 1.11.2-SNAPSHOT
+ pom
+
+
+
+ org.vivoweb
+ vitro-api
+ 1.11.2-SNAPSHOT
+
+
+
\ No newline at end of file
diff --git a/public-ontologies/.gitignore b/public-ontologies/.gitignore
new file mode 100644
index 0000000..671b132
--- /dev/null
+++ b/public-ontologies/.gitignore
@@ -0,0 +1 @@
+/export.ttl
diff --git a/public-ontologies/owltuto.pptx b/public-ontologies/owltuto.pptx
new file mode 100644
index 0000000..992d6e9
Binary files /dev/null and b/public-ontologies/owltuto.pptx differ
diff --git a/public-ontologies/pizza.ttl b/public-ontologies/pizza.ttl
new file mode 100644
index 0000000..4f56c20
--- /dev/null
+++ b/public-ontologies/pizza.ttl
@@ -0,0 +1,2189 @@
+# baseURI: http://www.co-ode.org/ontologies/pizza
+
+@prefix : .
+@prefix dc: .
+@prefix owl: .
+@prefix p200: .
+@prefix pizza: .
+@prefix rdf: .
+@prefix rdfs: .
+@prefix skos: .
+@prefix spin: .
+@prefix terms: .
+@prefix xml: .
+@prefix xsd: .
+
+dc:description
+ a owl:AnnotationProperty ;
+.
+dc:title
+ a owl:AnnotationProperty ;
+.
+terms:contributor
+ a owl:AnnotationProperty ;
+.
+terms:license
+ a owl:AnnotationProperty ;
+.
+terms:provenance
+ a owl:AnnotationProperty ;
+.
+spin:imports
+ a owl:AnnotationProperty ;
+.
+
+ a owl:Ontology ;
+ dc:description """An ontology about pizzas and their toppings.
+
+This is an example ontology that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester University (see http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/protg-owl-tutorial)."""@en ;
+ dc:title "pizza"@en ;
+ terms:contributor "Alan Rector" ;
+ terms:contributor "Chris Wroe" ;
+ terms:contributor "Matthew Horridge" ;
+ terms:contributor "Nick Drummond" ;
+ terms:contributor "Robert Stevens" ;
+ terms:license "Creative Commons Attribution 3.0 (CC BY 3.0)" ;
+ terms:provenance """v2.0 Added new annotations to the ontology using standard/well-know annotation properties
+
+v1.5. Removed protege.owl import and references. Made ontology URI date-independent
+
+v1.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional"""@en ;
+ spin:imports ;
+ spin:imports ;
+ rdfs:label "pizza" ;
+ owl:versionIRI ;
+ owl:versionInfo "2.0" ;
+.
+:America
+ a :Country ;
+ a owl:NamedIndividual ;
+ a owl:Thing ;
+.
+:American
+ a owl:Class ;
+ rdfs:label "American"@en ;
+ rdfs:label "Americana"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :MozzarellaTopping
+ :PeperoniSausageTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:hasValue :America ;
+ owl:onProperty :hasCountryOfOrigin ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PeperoniSausageTopping ;
+ ] ;
+ skos:altLabel "American Pizza"@en ;
+ skos:altLabel "American"@en ;
+ skos:prefLabel "American"@en ;
+.
+:AmericanHot
+ a owl:Class ;
+ rdfs:label "AmericanHot"@en ;
+ rdfs:label "AmericanaPicante"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :HotGreenPepperTopping
+ :JalapenoPepperTopping
+ :MozzarellaTopping
+ :PeperoniSausageTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:hasValue :America ;
+ owl:onProperty :hasCountryOfOrigin ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :HotGreenPepperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :JalapenoPepperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PeperoniSausageTopping ;
+ ] ;
+ skos:altLabel "American Hot Pizza"@en ;
+ skos:altLabel "American Hot"@en ;
+ skos:prefLabel "American Hot"@en ;
+.
+:AnchoviesTopping
+ a owl:Class ;
+ rdfs:label "AnchoviesTopping"@en ;
+ rdfs:label "CoberturaDeAnchovies"@pt ;
+ rdfs:subClassOf :FishTopping ;
+ skos:prefLabel "Anchovies"@en ;
+.
+:ArtichokeTopping
+ a owl:Class ;
+ rdfs:label "ArtichokeTopping"@en ;
+ rdfs:label "CoberturaDeArtichoke"@pt ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Artichoke"@en ;
+.
+:AsparagusTopping
+ a owl:Class ;
+ rdfs:label "AsparagusTopping"@en ;
+ rdfs:label "CoberturaDeAspargos"@pt ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Asparagus"@en ;
+.
+:Cajun
+ a owl:Class ;
+ rdfs:label "Cajun"@en ;
+ rdfs:label "Cajun"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :MozzarellaTopping
+ :OnionTopping
+ :PeperonataTopping
+ :PrawnsTopping
+ :TobascoPepperSauce
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OnionTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PeperonataTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PrawnsTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :TobascoPepperSauce ;
+ ] ;
+ skos:altLabel "Cajun Pizza"@en ;
+ skos:altLabel "Cajun"@en ;
+ skos:prefLabel "Cajun"@en ;
+.
+:CajunSpiceTopping
+ a owl:Class ;
+ rdfs:label "CajunSpiceTopping"@en ;
+ rdfs:label "CoberturaDeCajun"@pt ;
+ rdfs:subClassOf :HerbSpiceTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ] ;
+ owl:disjointWith :RosemaryTopping ;
+ skos:prefLabel "Cajun Spice"@en ;
+.
+:CaperTopping
+ a owl:Class ;
+ rdfs:label "CaperTopping"@en ;
+ rdfs:label "CoberturaDeCaper"@pt ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Caper"@en ;
+.
+:Capricciosa
+ a owl:Class ;
+ rdfs:label "Capricciosa"@en ;
+ rdfs:label "Capricciosa"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :AnchoviesTopping
+ :CaperTopping
+ :HamTopping
+ :MozzarellaTopping
+ :OliveTopping
+ :PeperonataTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :AnchoviesTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :CaperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :HamTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PeperonataTopping ;
+ ] ;
+ skos:altLabel "Capricciosa Pizza"@en ;
+ skos:altLabel "Capricciosa"@en ;
+ skos:prefLabel "Capricciosa"@en ;
+.
+:Caprina
+ a owl:Class ;
+ rdfs:label "Caprina"@en ;
+ rdfs:label "Caprina"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :GoatsCheeseTopping
+ :MozzarellaTopping
+ :SundriedTomatoTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GoatsCheeseTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :SundriedTomatoTopping ;
+ ] ;
+ skos:altLabel "Caprina Pizza"@en ;
+ skos:altLabel "Caprina"@en ;
+ skos:prefLabel "Caprina"@en ;
+.
+:CheeseTopping
+ a owl:Class ;
+ rdfs:label "CheeseTopping"@en ;
+ rdfs:label "CoberturaDeQueijo"@pt ;
+ rdfs:subClassOf :PizzaTopping ;
+ skos:prefLabel "Cheese"@en ;
+.
+:CheeseyPizza
+ a owl:Class ;
+ rdfs:label "CheesyPizza"@en ;
+ rdfs:label "PizzaComQueijo"@pt ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :CheeseTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any pizza that has at least 1 cheese topping."@en ;
+ skos:prefLabel "Cheesy Pizza"@en ;
+.
+:CheeseyVegetableTopping
+ a owl:Class ;
+ rdfs:comment "This class will be unsatisfiable. This is because we have given it 2 disjoint parents, which means it could never have any instances (as nothing can be both a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial."@en ;
+ rdfs:label "CheesyVegetableTopping"@en ;
+ rdfs:label "CoberturaDeQueijoComVegetais"@pt ;
+ rdfs:subClassOf :CheeseTopping ;
+ rdfs:subClassOf :VegetableTopping ;
+.
+:ChickenTopping
+ a owl:Class ;
+ rdfs:label "ChickenTopping"@en ;
+ rdfs:label "CoberturaDeFrango"@pt ;
+ rdfs:subClassOf :MeatTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Chicken"@en ;
+.
+:Country
+ a owl:Class ;
+ rdfs:comment "A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other."@en ;
+ rdfs:label "Country"@en ;
+ rdfs:label "Pais"@pt ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :DomainConcept
+ [
+ a owl:Class ;
+ owl:oneOf (
+ :America
+ :England
+ :France
+ :Germany
+ :Italy
+ ) ;
+ ]
+ ) ;
+ ] ;
+ skos:prefLabel "Country"@en ;
+.
+:DeepPanBase
+ a owl:Class ;
+ rdfs:label "BaseEspessa"@pt ;
+ rdfs:label "DeepPanBase"@en ;
+ rdfs:subClassOf :PizzaBase ;
+ owl:disjointWith :ThinAndCrispyBase ;
+ skos:prefLabel "Deep Pan Base"@en ;
+.
+:DomainConcept
+ a owl:Class ;
+ rdfs:label "DomainThing"@en ;
+ owl:disjointWith :ValuePartition ;
+ skos:prefLabel "Domain Thing"@en ;
+.
+:England
+ a :Country ;
+ a owl:NamedIndividual ;
+ a owl:Thing ;
+.
+:Fiorentina
+ a owl:Class ;
+ rdfs:label "Fiorentina"@en ;
+ rdfs:label "Fiorentina"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :GarlicTopping
+ :MozzarellaTopping
+ :OliveTopping
+ :ParmesanTopping
+ :SpinachTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GarlicTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :ParmesanTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :SpinachTopping ;
+ ] ;
+ skos:altLabel "Fiorentina Pizza"@en ;
+ skos:altLabel "Fiorentina"@en ;
+ skos:prefLabel "Fiorentina"@en ;
+.
+:FishTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePeixe"@pt ;
+ rdfs:label "SeafoodTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Seafood"@en ;
+.
+:Food
+ a owl:Class ;
+ rdfs:label "Food"@en ;
+ rdfs:subClassOf :DomainConcept ;
+ skos:prefLabel "Food"@en ;
+.
+:FourCheesesTopping
+ a owl:Class ;
+ rdfs:label "CoberturaQuatroQueijos"@pt ;
+ rdfs:label "FourCheesesTopping"@en ;
+ rdfs:subClassOf :CheeseTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Four Cheeses"@en ;
+.
+:FourSeasons
+ a owl:Class ;
+ rdfs:label "FourSeasons"@en ;
+ rdfs:label "QuatroQueijos"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :AnchoviesTopping
+ :CaperTopping
+ :MozzarellaTopping
+ :MushroomTopping
+ :OliveTopping
+ :PeperoniSausageTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :AnchoviesTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :CaperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MushroomTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PeperoniSausageTopping ;
+ ] ;
+ skos:altLabel "Four Seasons Pizza"@en ;
+ skos:altLabel "Four Seasons"@en ;
+ skos:prefLabel "Four Seasons"@en ;
+.
+:France
+ a :Country ;
+ a owl:NamedIndividual ;
+ a owl:Thing ;
+.
+:FruitTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeFrutas"@pt ;
+ rdfs:label "FruitTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ skos:prefLabel "Fruit"@en ;
+.
+:FruttiDiMare
+ a owl:Class ;
+ rdfs:label "FrutosDoMar"@pt ;
+ rdfs:label "FruttiDiMare"@en ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :GarlicTopping
+ :MixedSeafoodTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GarlicTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MixedSeafoodTopping ;
+ ] ;
+ skos:altLabel "Frutti Di Mare Pizza"@en ;
+ skos:altLabel "Frutti Di Mare"@en ;
+ skos:prefLabel "Frutti Di Mare"@en ;
+.
+:GarlicTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeAlho"@pt ;
+ rdfs:label "GarlicTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Medium ;
+ ] ;
+ skos:prefLabel "Garlic"@en ;
+.
+:Germany
+ a :Country ;
+ a owl:NamedIndividual ;
+ a owl:Thing ;
+.
+:Giardiniera
+ a owl:Class ;
+ rdfs:label "Giardiniera"@en ;
+ rdfs:label "Giardiniera"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :LeekTopping
+ :MozzarellaTopping
+ :MushroomTopping
+ :OliveTopping
+ :PeperonataTopping
+ :PetitPoisTopping
+ :SlicedTomatoTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :LeekTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MushroomTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PeperonataTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PetitPoisTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :SlicedTomatoTopping ;
+ ] ;
+ skos:altLabel "Giardiniera Pizza"@en ;
+ skos:altLabel "Giardiniera"@en ;
+ skos:prefLabel "Giardiniera"@en ;
+.
+:GoatsCheeseTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeQueijoDeCabra"@pt ;
+ rdfs:label "GoatsCheeseTopping"@en ;
+ rdfs:subClassOf :CheeseTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Goats Cheese"@en ;
+.
+:GorgonzolaTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeGorgonzola"@pt ;
+ rdfs:label "GorgonzolaTopping"@en ;
+ rdfs:subClassOf :CheeseTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Gorgonzola"@en ;
+.
+:GreenPepperTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePimentaoVerde"@pt ;
+ rdfs:label "GreenPepperTopping"@en ;
+ rdfs:subClassOf :PepperTopping ;
+ skos:prefLabel "Green Pepper"@en ;
+.
+:HamTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePresunto"@pt ;
+ rdfs:label "HamTopping"@en ;
+ rdfs:subClassOf :MeatTopping ;
+ skos:prefLabel "Ham"@en ;
+.
+:HerbSpiceTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeErvas"@pt ;
+ rdfs:label "HerbSpiceTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ skos:prefLabel "Herb Spice"@en ;
+.
+:Hot
+ a owl:Class ;
+ rdfs:label "Hot"@en ;
+ rdfs:label "Picante"@pt ;
+ rdfs:subClassOf :Spiciness ;
+ skos:prefLabel "Hot"@en ;
+.
+:HotGreenPepperTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePimentaoVerdePicante"@pt ;
+ rdfs:label "HotGreenPepperTopping"@en ;
+ rdfs:subClassOf :GreenPepperTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ] ;
+ skos:prefLabel "Hot Green Pepper"@en ;
+.
+:HotSpicedBeefTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeBifePicante"@pt ;
+ rdfs:label "HotSpicedBeefTopping"@en ;
+ rdfs:subClassOf :MeatTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ] ;
+ skos:prefLabel "Hot Spiced Beef"@en ;
+.
+:IceCream
+ a owl:Class ;
+ rdfs:comment "A class to demonstrate mistakes made with setting a property domain. The property hasTopping has a domain of Pizza. This means that the reasoner can infer that all individuals using the hasTopping property must be of type Pizza. Because of the restriction on this class, all members of IceCream must use the hasTopping property, and therefore must also be members of Pizza. However, Pizza and IceCream are disjoint, so this causes an inconsistency. If they were not disjoint, IceCream would be inferred to be a subclass of Pizza."@en ;
+ rdfs:label "IceCream"@en ;
+ rdfs:label "Sorvete"@pt ;
+ rdfs:subClassOf :Food ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :FruitTopping ;
+ ] ;
+ skos:prefLabel "Ice Cream"@en ;
+.
+:InterestingPizza
+ a owl:Class ;
+ rdfs:label "InterestingPizza"@en ;
+ rdfs:label "PizzaInteressante"@pt ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:minCardinality "3"^^xsd:nonNegativeInteger ;
+ owl:onProperty :hasTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL."@en ;
+ skos:prefLabel "Interesting Pizza"@en ;
+.
+:Italy
+ a :Country ;
+ a owl:NamedIndividual ;
+ a owl:Thing ;
+.
+:JalapenoPepperTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeJalapeno"@pt ;
+ rdfs:label "JalapenoPepperTopping"@en ;
+ rdfs:subClassOf :PepperTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ] ;
+ skos:prefLabel "Jalapeno Pepper"@en ;
+.
+:LaReine
+ a owl:Class ;
+ rdfs:label "LaReine"@en ;
+ rdfs:label "LaReine"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :HamTopping
+ :MozzarellaTopping
+ :MushroomTopping
+ :OliveTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :HamTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MushroomTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ skos:altLabel "La Reine Pizza"@en ;
+ skos:altLabel "La Reine"@en ;
+ skos:prefLabel "La Reine"@en ;
+.
+:LeekTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeLeek"@pt ;
+ rdfs:label "LeekTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Leek"@en ;
+.
+:Margherita
+ a owl:Class ;
+ rdfs:label "Margherita"@en ;
+ rdfs:label "Margherita"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MozzarellaTopping ;
+ ]
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :TomatoTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:altLabel "Margherita Pizza"@en ;
+ skos:altLabel "Margherita"@en ;
+ skos:prefLabel "Margherita"@en ;
+.
+:MeatTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCarne"@pt ;
+ rdfs:label "MeatTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ skos:prefLabel "Meat"@en ;
+.
+:MeatyPizza
+ a owl:Class ;
+ rdfs:label "MeatyPizza"@en ;
+ rdfs:label "PizzaDeCarne"@pt ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MeatTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any pizza that has at least one meat topping"@en ;
+ skos:prefLabel "Meaty Pizza"@en ;
+.
+:Medium
+ a owl:Class ;
+ rdfs:label "Media"@pt ;
+ rdfs:label "Medium"@en ;
+ rdfs:subClassOf :Spiciness ;
+ skos:prefLabel "Medium"@en ;
+.
+:Mild
+ a owl:Class ;
+ rdfs:label "Mild"@en ;
+ rdfs:label "NaoPicante"@pt ;
+ rdfs:subClassOf :Spiciness ;
+ skos:prefLabel "Mild"@en ;
+.
+:MixedSeafoodTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeFrutosDoMarMistos"@pt ;
+ rdfs:label "MixedSeafoodTopping"@en ;
+ rdfs:subClassOf :FishTopping ;
+ skos:prefLabel "Mixed Seafood"@en ;
+.
+:MozzarellaTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeMozzarella"@pt ;
+ rdfs:label "MozzarellaTopping"@en ;
+ rdfs:subClassOf :CheeseTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:hasValue :Italy ;
+ owl:onProperty :hasCountryOfOrigin ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Mozzarella"@en ;
+.
+:Mushroom
+ a owl:Class ;
+ rdfs:label "Cogumelo"@pt ;
+ rdfs:label "Mushroom"@en ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :MozzarellaTopping
+ :MushroomTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MushroomTopping ;
+ ] ;
+ skos:altLabel "Mushroom Pizza"@en ;
+ skos:altLabel "Mushroom"@en ;
+ skos:prefLabel "Mushroom"@en ;
+.
+:MushroomTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCogumelo"@pt ;
+ rdfs:label "MushroomTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Mushroom"@en ;
+.
+:NamedPizza
+ a owl:Class ;
+ rdfs:comment "A pizza that can be found on a pizza menu"@en ;
+ rdfs:label "PizzaComUmNome"@pt ;
+ rdfs:subClassOf :Pizza ;
+.
+:Napoletana
+ a owl:Class ;
+ rdfs:label "Napoletana"@en ;
+ rdfs:label "Napoletana"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :AnchoviesTopping
+ :CaperTopping
+ :MozzarellaTopping
+ :OliveTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:hasValue :Italy ;
+ owl:onProperty :hasCountryOfOrigin ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :AnchoviesTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :CaperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ skos:altLabel "Napoletana Pizza"@en ;
+ skos:altLabel "Napoletana"@en ;
+ skos:prefLabel "Napoletana"@en ;
+.
+:NonVegetarianPizza
+ a owl:Class ;
+ rdfs:label "NonVegetarianPizza"@en ;
+ rdfs:label "PizzaNaoVegetariana"@pt ;
+ owl:disjointWith :VegetarianPizza ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Class ;
+ owl:complementOf :VegetarianPizza ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any Pizza that is not a VegetarianPizza"@en ;
+ skos:prefLabel "Non Vegetarian Pizza"@en ;
+.
+:NutTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCastanha"@pt ;
+ rdfs:label "NutTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Nut"@en ;
+.
+:OliveTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeAzeitona"@pt ;
+ rdfs:label "OliveTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Olive"@en ;
+.
+:OnionTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCebola"@pt ;
+ rdfs:label "OnionTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Medium ;
+ ] ;
+ skos:prefLabel "Onion"@en ;
+.
+:ParmaHamTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePrezuntoParma"@pt ;
+ rdfs:label "ParmaHamTopping"@en ;
+ rdfs:subClassOf :HamTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Parma Ham"@en ;
+.
+:Parmense
+ a owl:Class ;
+ rdfs:label "Parmense"@en ;
+ rdfs:label "Parmense"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :AsparagusTopping
+ :HamTopping
+ :MozzarellaTopping
+ :ParmesanTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :AsparagusTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :HamTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :ParmesanTopping ;
+ ] ;
+ skos:altLabel "Parmese Pizza"@en ;
+ skos:altLabel "Parmese"@en ;
+ skos:prefLabel "Parmense"@en ;
+.
+:ParmesanTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeParmesao"@pt ;
+ rdfs:label "ParmezanTopping"@en ;
+ rdfs:subClassOf :CheeseTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Parmezan"@en ;
+.
+:PeperonataTopping
+ a owl:Class ;
+ rdfs:label "CoberturaPeperonata"@pt ;
+ rdfs:label "PeperonataTopping"@en ;
+ rdfs:subClassOf :PepperTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Medium ;
+ ] ;
+ skos:prefLabel "Peperonata"@en ;
+.
+:PeperoniSausageTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCalabreza"@pt ;
+ rdfs:label "PeperoniSausageTopping"@en ;
+ rdfs:subClassOf :MeatTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Medium ;
+ ] ;
+ skos:prefLabel "Peperoni Sausage"@en ;
+.
+:PepperTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePimentao"@pt ;
+ rdfs:label "PepperTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ skos:prefLabel "Pepper"@en ;
+.
+:PetitPoisTopping
+ a owl:Class ;
+ rdfs:label "CoberturaPetitPois"@pt ;
+ rdfs:label "PetitPoisTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Petit Pois"@en ;
+.
+:PineKernels
+ a owl:Class ;
+ rdfs:label "CoberturaPineKernels"@pt ;
+ rdfs:label "PineKernelTopping"@en ;
+ rdfs:subClassOf :NutTopping ;
+ skos:prefLabel "Pine Kernel"@en ;
+.
+:Pizza
+ a owl:Class ;
+ rdfs:label "Pizza"@en ;
+ rdfs:seeAlso ;
+ rdfs:subClassOf :Food ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasBase ;
+ owl:someValuesFrom :PizzaBase ;
+ ] ;
+ skos:prefLabel "Pizza"@en ;
+.
+:PizzaBase
+ a owl:Class ;
+ rdfs:label "BaseDaPizza"@pt ;
+ rdfs:label "PizzaBase"@en ;
+ rdfs:subClassOf :Food ;
+ skos:prefLabel "Pizza Base"@en ;
+.
+:PizzaTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDaPizza"@pt ;
+ rdfs:label "PizzaTopping"@en ;
+ rdfs:subClassOf :Food ;
+ skos:prefLabel "Pizza Topping"@en ;
+.
+:PolloAdAstra
+ a owl:Class ;
+ rdfs:label "PolloAdAstra"@en ;
+ rdfs:label "PolloAdAstra"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :CajunSpiceTopping
+ :ChickenTopping
+ :GarlicTopping
+ :MozzarellaTopping
+ :RedOnionTopping
+ :SweetPepperTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :CajunSpiceTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :ChickenTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GarlicTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :RedOnionTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :SweetPepperTopping ;
+ ] ;
+ skos:altLabel "Pollo Ad Astra Pizza"@en ;
+ skos:altLabel "Pollo Ad Astra"@en ;
+ skos:prefLabel "Pollo Ad Astra"@en ;
+.
+:PrawnsTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCamarao"@pt ;
+ rdfs:label "PrawnsTopping"@en ;
+ rdfs:subClassOf :FishTopping ;
+ skos:prefLabel "Prawns"@en ;
+.
+:PrinceCarlo
+ a owl:Class ;
+ rdfs:label "CoberturaPrinceCarlo"@pt ;
+ rdfs:label "PrinceCarlo"@en ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :LeekTopping
+ :MozzarellaTopping
+ :ParmesanTopping
+ :RosemaryTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :LeekTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :ParmesanTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :RosemaryTopping ;
+ ] ;
+ skos:altLabel "Prince Carlo Pizza"@en ;
+ skos:altLabel "Prince Carlo"@en ;
+ skos:prefLabel "Prince Carlo"@en ;
+.
+:QuattroFormaggi
+ a owl:Class ;
+ rdfs:label "QuatroQueijos"@pt ;
+ rdfs:label "QuattroFormaggi"@en ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :FourCheesesTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :FourCheesesTopping ;
+ ] ;
+ skos:altLabel "Quattro Formaggi Pizza"@en ;
+ skos:altLabel "Quattro Formaggi"@en ;
+ skos:prefLabel "Quattro Formaggi"@en ;
+.
+:RealItalianPizza
+ a owl:Class ;
+ rdfs:label "PizzaItalianaReal"@pt ;
+ rdfs:label "RealItalianPizza"@en ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom :ThinAndCrispyBase ;
+ owl:onProperty :hasBase ;
+ ] ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:hasValue :Italy ;
+ owl:onProperty :hasCountryOfOrigin ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any Pizza that has the country of origin, Italy. RealItalianPizzas must also only have ThinAndCrispy bases."@en ;
+ skos:prefLabel "Real Italian Pizza"@en ;
+.
+:RedOnionTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeCebolaVermelha"@pt ;
+ rdfs:label "RedOnionTopping"@en ;
+ rdfs:subClassOf :OnionTopping ;
+ skos:prefLabel "Red Onion"@en ;
+.
+:Restriction
+ a owl:Class ;
+ rdfs:label "Restriction" ;
+.
+:RocketTopping
+ a owl:Class ;
+ rdfs:label "CoberturaRocket"@pt ;
+ rdfs:label "RocketTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Medium ;
+ ] ;
+ skos:prefLabel "Rocket"@en ;
+.
+:Rosa
+ a owl:Class ;
+ rdfs:label "Rosa"@en ;
+ rdfs:label "Rosa"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :GorgonzolaTopping
+ :MozzarellaTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GorgonzolaTopping ;
+ ] ;
+ skos:altLabel "Rosa Pizza"@en ;
+ skos:altLabel "Rosa"@en ;
+ skos:prefLabel "Rosa"@en ;
+.
+:RosemaryTopping
+ a owl:Class ;
+ rdfs:label "CoberturaRosemary"@pt ;
+ rdfs:label "RosemaryTopping"@en ;
+ rdfs:subClassOf :HerbSpiceTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Rosemary"@en ;
+.
+:SauceTopping
+ a owl:Class ;
+ rdfs:label "CoberturaEmMolho"@pt ;
+ rdfs:label "SauceTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ skos:prefLabel "Sauce"@en ;
+.
+:Siciliana
+ a owl:Class ;
+ rdfs:label "Siciliana"@en ;
+ rdfs:label "Siciliana"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :AnchoviesTopping
+ :ArtichokeTopping
+ :GarlicTopping
+ :HamTopping
+ :MozzarellaTopping
+ :OliveTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :AnchoviesTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :ArtichokeTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GarlicTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :HamTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ skos:altLabel "Siciliana Pizza"@en ;
+ skos:altLabel "Siciliana"@en ;
+ skos:prefLabel "Siciliana"@en ;
+.
+:SlicedTomatoTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeTomateFatiado"@pt ;
+ rdfs:label "SlicedTomatoTopping"@en ;
+ rdfs:subClassOf :TomatoTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ owl:disjointWith :SundriedTomatoTopping ;
+ skos:prefLabel "Sliced Tomato"@en ;
+.
+:SloppyGiuseppe
+ a owl:Class ;
+ rdfs:label "SloppyGiuseppe"@en ;
+ rdfs:label "SloppyGiuseppe"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :GreenPepperTopping
+ :HotSpicedBeefTopping
+ :MozzarellaTopping
+ :OnionTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GreenPepperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :HotSpicedBeefTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OnionTopping ;
+ ] ;
+ skos:altLabel "Sloppy Giuseppe Pizza"@en ;
+ skos:altLabel "Sloppy Giuseppe"@en ;
+ skos:prefLabel "Sloppy Giuseppe"@en ;
+.
+:Soho
+ a owl:Class ;
+ rdfs:label "Soho"@en ;
+ rdfs:label "Soho"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :GarlicTopping
+ :MozzarellaTopping
+ :OliveTopping
+ :ParmesanTopping
+ :RocketTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :GarlicTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :ParmesanTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :RocketTopping ;
+ ] ;
+ skos:altLabel "Soho Pizza"@en ;
+ skos:altLabel "Soho"@en ;
+ skos:prefLabel "Soho"@en ;
+.
+:Spiciness
+ a owl:Class ;
+ rdfs:comment "A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions."@en ;
+ rdfs:label "Spiciness"@en ;
+ rdfs:label "Tempero"@pt ;
+ rdfs:subClassOf :ValuePartition ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:unionOf (
+ :Hot
+ :Medium
+ :Mild
+ ) ;
+ ] ;
+ skos:prefLabel "Spiciness"@en ;
+.
+:SpicyPizza
+ a owl:Class ;
+ rdfs:label "PizzaTemperada"@pt ;
+ rdfs:label "SpicyPizza"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :SpicyTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any pizza that has a spicy topping is a SpicyPizza"@en ;
+ skos:prefLabel "Spicy Pizza"@en ;
+.
+:SpicyPizzaEquivalent
+ a owl:Class ;
+ rdfs:comment "An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class."@en ;
+ rdfs:label "PizzaTemperadaEquivalente"@pt ;
+ rdfs:label "SpicyPizzaEquivalent"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom [
+ a owl:Class ;
+ owl:intersectionOf (
+ :PizzaTopping
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ]
+ ) ;
+ ] ;
+ ]
+ ) ;
+ ] ;
+ skos:prefLabel "Spicy Pizza Equivalent"@en ;
+.
+:SpicyTopping
+ a owl:Class ;
+ rdfs:label "CoberturaTemperada"@pt ;
+ rdfs:label "SpicyTopping"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :PizzaTopping
+ [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any pizza topping that has spiciness Hot"@en ;
+ skos:prefLabel "Spicy"@en ;
+.
+:SpinachTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeEspinafre"@pt ;
+ rdfs:label "SpinachTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Spinach"@en ;
+.
+:SultanaTopping
+ a owl:Class ;
+ rdfs:label "CoberturaSultana"@pt ;
+ rdfs:label "SultanaTopping"@en ;
+ rdfs:subClassOf :FruitTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Medium ;
+ ] ;
+ skos:prefLabel "Sultana"@en ;
+.
+:SundriedTomatoTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeTomateRessecadoAoSol"@pt ;
+ rdfs:label "SundriedTomatoTopping"@en ;
+ rdfs:subClassOf :TomatoTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Sundried Tomato"@en ;
+.
+:SweetPepperTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDePimentaoDoce"@pt ;
+ rdfs:label "SweetPepperTopping"@en ;
+ rdfs:subClassOf :PepperTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Sweet Pepper"@en ;
+.
+:ThinAndCrispyBase
+ a owl:Class ;
+ rdfs:label "BaseFinaEQuebradica"@pt ;
+ rdfs:label "ThinAndCrispyBase"@en ;
+ rdfs:subClassOf :PizzaBase ;
+ skos:prefLabel "Thin And Crispy Base"@en ;
+.
+:ThinAndCrispyPizza
+ a owl:Class ;
+ rdfs:label "ThinAndCrispyPizza"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:allValuesFrom :ThinAndCrispyBase ;
+ owl:onProperty :hasBase ;
+ ]
+ ) ;
+ ] ;
+ skos:prefLabel "Thin And Crispy Pizza"@en ;
+.
+:TobascoPepperSauce
+ a owl:Class ;
+ rdfs:label "MolhoTobascoPepper"@pt ;
+ rdfs:label "TobascoPepperSauceTopping"@en ;
+ rdfs:subClassOf :SauceTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Hot ;
+ ] ;
+ skos:prefLabel "Tobasco Pepper Sauce"@en ;
+.
+:TomatoTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeTomate"@pt ;
+ rdfs:label "TomatoTopping"@en ;
+ rdfs:subClassOf :VegetableTopping ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasSpiciness ;
+ owl:someValuesFrom :Mild ;
+ ] ;
+ skos:prefLabel "Tomato"@en ;
+.
+:UnclosedPizza
+ a owl:Class ;
+ rdfs:comment "An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings." ;
+ rdfs:label "PizzaAberta"@pt ;
+ rdfs:label "UnclosedPizza"@en ;
+ rdfs:subClassOf :Pizza ;
+ rdfs:subClassOf [] ;
+ skos:prefLabel "Unclosed Pizza"@en ;
+.
+:ValuePartition
+ a owl:Class ;
+ rdfs:comment "A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class." ;
+ rdfs:label "ValorDaParticao"@pt ;
+ rdfs:label "ValuePartition"@en ;
+ skos:prefLabel "Value Partition"@en ;
+.
+:VegetableTopping
+ a owl:Class ;
+ rdfs:label "CoberturaDeVegetais"@pt ;
+ rdfs:label "VegetableTopping"@en ;
+ rdfs:subClassOf :PizzaTopping ;
+ skos:prefLabel "Vegetable Topping"@en ;
+.
+:VegetarianPizza
+ a owl:Class ;
+ rdfs:label "PizzaVegetariana"@pt ;
+ rdfs:label "VegetarianPizza"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Class ;
+ owl:complementOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :FishTopping ;
+ ] ;
+ ]
+ [
+ a owl:Class ;
+ owl:complementOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :MeatTopping ;
+ ] ;
+ ]
+ ) ;
+ ] ;
+ skos:definition "Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Note that instances of this class do not need to have any toppings at all."@en ;
+ skos:prefLabel "Vegetarian Pizza"@en ;
+.
+:VegetarianPizzaEquivalent1
+ a owl:Class ;
+ rdfs:comment "Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2. Not equivalent to VegetarianPizza because PizzaTopping is not covering"@en ;
+ rdfs:label "PizzaVegetarianaEquivalente1"@pt ;
+ rdfs:label "VegetarianPizza1"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:allValuesFrom :VegetarianTopping ;
+ owl:onProperty :hasTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:prefLabel "Vegetarian Pizza1"@en ;
+.
+:VegetarianPizzaEquivalent2
+ a owl:Class ;
+ rdfs:comment "An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza"@en ;
+ rdfs:label "PizzaVegetarianaEquivalente2"@pt ;
+ rdfs:label "VegetarianPizza2"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :Pizza
+ [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :CheeseTopping
+ :FruitTopping
+ :HerbSpiceTopping
+ :NutTopping
+ :SauceTopping
+ :VegetableTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ]
+ ) ;
+ ] ;
+ skos:prefLabel "Vegetarian Pizza2"@en ;
+.
+:VegetarianTopping
+ a owl:Class ;
+ rdfs:comment "An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc."@en ;
+ rdfs:label "CoberturaVegetariana"@pt ;
+ rdfs:label "VegetarianTopping"@en ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ :PizzaTopping
+ [
+ a owl:Class ;
+ owl:unionOf (
+ :CheeseTopping
+ :FruitTopping
+ :HerbSpiceTopping
+ :NutTopping
+ :SauceTopping
+ :VegetableTopping
+ ) ;
+ ]
+ ) ;
+ ] ;
+ skos:prefLabel "Vegetarian Topping"@en ;
+.
+:Veneziana
+ a owl:Class ;
+ rdfs:label "Veneziana"@en ;
+ rdfs:label "Veneziana"@pt ;
+ rdfs:subClassOf :NamedPizza ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:allValuesFrom [
+ a owl:Class ;
+ owl:unionOf (
+ :CaperTopping
+ :MozzarellaTopping
+ :OliveTopping
+ :OnionTopping
+ :PineKernels
+ :SultanaTopping
+ :TomatoTopping
+ ) ;
+ ] ;
+ owl:onProperty :hasTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:hasValue :Italy ;
+ owl:onProperty :hasCountryOfOrigin ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :CaperTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OliveTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :OnionTopping ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :PineKernels ;
+ ] ;
+ rdfs:subClassOf [
+ a owl:Restriction ;
+ owl:onProperty :hasTopping ;
+ owl:someValuesFrom :SultanaTopping ;
+ ] ;
+ skos:altLabel "Veneziana Pizza"@en ;
+ skos:altLabel "Veneziana"@en ;
+ skos:prefLabel "Veneziana"@en ;
+.
+:aDeepPanBaseforSoho
+ a :DeepPanBase ;
+ a owl:NamedIndividual ;
+ rdfs:label "a deep pan basefor soho" ;
+.
+:aGarlicTopping
+ a :GarlicTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a garlic topping" ;
+.
+:aGorgonzolaTopping
+ a :GorgonzolaTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a gorgonzola topping" ;
+.
+:aMozzaTopping
+ a :MozzarellaTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a topping" ;
+.
+:aMozzarellaToppingForSoho
+ a :MozzarellaTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a mozzarella topping for soho" ;
+.
+:aParmesanTopping
+ a :ParmesanTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a parmesan topping" ;
+.
+:aPizza
+ a owl:NamedIndividual ;
+ :hasBase :aThinAndCrispyBase ;
+ :hasTopping :aMozzaTopping ;
+ :hasTopping :aTomatoTopping ;
+ rdfs:label "a pizza" ;
+.
+:aRocketTopping
+ a :RocketTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a rocket topping" ;
+.
+:aSlicedTomatoTopping
+ a :SlicedTomatoTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a sliced tomato topping" ;
+.
+:aSohoPizza
+ a :Pizza ;
+ a owl:NamedIndividual ;
+ :hasBase :aDeepPanBaseforSoho ;
+ :hasTopping :aGarlicTopping ;
+ :hasTopping :aMozzarellaToppingForSoho ;
+ :hasTopping :aParmesanTopping ;
+ :hasTopping :aRocketTopping ;
+ :hasTopping :aSlicedTomatoTopping ;
+ :hasTopping :anOliveTopping ;
+ rdfs:label "a soho pizza" ;
+.
+:aThinAndCrispyBase
+ a :ThinAndCrispyBase ;
+ a owl:NamedIndividual ;
+ rdfs:label "a thin and crispy base" ;
+.
+:aTomatoTopping
+ a :TomatoTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "a tomato topping" ;
+.
+:anOliveTopping
+ a :OliveTopping ;
+ a owl:NamedIndividual ;
+ rdfs:label "as olive topping" ;
+.
+:hasBase
+ a owl:FunctionalProperty ;
+ a owl:InverseFunctionalProperty ;
+ a owl:ObjectProperty ;
+ rdfs:domain :Pizza ;
+ rdfs:range :PizzaBase ;
+ rdfs:subPropertyOf :hasIngredient ;
+ owl:inverseOf :isBaseOf ;
+.
+:hasCountryOfOrigin
+ a owl:ObjectProperty ;
+.
+:hasIngredient
+ a owl:ObjectProperty ;
+ a owl:TransitiveProperty ;
+ rdfs:comment "NB Transitive - the ingredients of ingredients are ingredients of the whole"@en ;
+ rdfs:domain :Food ;
+ rdfs:range :Food ;
+ owl:inverseOf :isIngredientOf ;
+.
+:hasSpiciness
+ a owl:FunctionalProperty ;
+ a owl:ObjectProperty ;
+ rdfs:comment "A property created to be used with the ValuePartition - Spiciness."@en ;
+ rdfs:range :Spiciness ;
+.
+:hasTopping
+ a owl:InverseFunctionalProperty ;
+ a owl:ObjectProperty ;
+ rdfs:comment "Note that hasTopping is inverse functional because isToppingOf is functional"@en ;
+ rdfs:domain :Pizza ;
+ rdfs:range :PizzaTopping ;
+ rdfs:subPropertyOf :hasIngredient ;
+ owl:inverseOf :isToppingOf ;
+.
+:isBaseOf
+ a owl:FunctionalProperty ;
+ a owl:InverseFunctionalProperty ;
+ a owl:ObjectProperty ;
+ rdfs:subPropertyOf :isIngredientOf ;
+.
+:isIngredientOf
+ a owl:ObjectProperty ;
+ a owl:TransitiveProperty ;
+ rdfs:comment "The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient."@en ;
+.
+:isToppingOf
+ a owl:FunctionalProperty ;
+ a owl:ObjectProperty ;
+ rdfs:comment "Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)"@en ;
+ rdfs:subPropertyOf :isIngredientOf ;
+.
+skos:altLabel
+ a owl:AnnotationProperty ;
+.
+skos:definition
+ a owl:AnnotationProperty ;
+.
+skos:prefLabel
+ a owl:AnnotationProperty ;
+.
+[
+ a owl:AllDifferent ;
+ owl:distinctMembers (
+ :America
+ :England
+ :France
+ :Germany
+ :Italy
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :American
+ :AmericanHot
+ :Cajun
+ :Capricciosa
+ :Caprina
+ :Fiorentina
+ :FourSeasons
+ :FruttiDiMare
+ :Giardiniera
+ :LaReine
+ :Margherita
+ :Mushroom
+ :Napoletana
+ :Parmense
+ :PolloAdAstra
+ :PrinceCarlo
+ :QuattroFormaggi
+ :Rosa
+ :Siciliana
+ :SloppyGiuseppe
+ :Soho
+ :UnclosedPizza
+ :Veneziana
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :AnchoviesTopping
+ :MixedSeafoodTopping
+ :PrawnsTopping
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :ArtichokeTopping
+ :AsparagusTopping
+ :CaperTopping
+ :GarlicTopping
+ :LeekTopping
+ :MushroomTopping
+ :OliveTopping
+ :OnionTopping
+ :PepperTopping
+ :PetitPoisTopping
+ :RocketTopping
+ :SpinachTopping
+ :TomatoTopping
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :CheeseTopping
+ :FishTopping
+ :FruitTopping
+ :HerbSpiceTopping
+ :MeatTopping
+ :NutTopping
+ :SauceTopping
+ :VegetableTopping
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :ChickenTopping
+ :HamTopping
+ :HotSpicedBeefTopping
+ :PeperoniSausageTopping
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :FourCheesesTopping
+ :GoatsCheeseTopping
+ :GorgonzolaTopping
+ :MozzarellaTopping
+ :ParmesanTopping
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :GreenPepperTopping
+ :JalapenoPepperTopping
+ :PeperonataTopping
+ :SweetPepperTopping
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :Hot
+ :Medium
+ :Mild
+ ) ;
+].
+[
+ a owl:AllDisjointClasses ;
+ owl:members (
+ :IceCream
+ :Pizza
+ :PizzaBase
+ :PizzaTopping
+ ) ;
+].
diff --git a/public-ontologies/pizza.ttl.tbc b/public-ontologies/pizza.ttl.tbc
new file mode 100644
index 0000000..308524d
--- /dev/null
+++ b/public-ontologies/pizza.ttl.tbc
@@ -0,0 +1,22 @@
+# baseURI: null
+
+@prefix composite: .
+@prefix forms: .
+@prefix inference: .
+@prefix owl: .
+@prefix rdf: .
+@prefix rdfs: .
+@prefix visual: .
+@prefix xsd: .
+
+[
+ a inference:Configuration ;
+ composite:child [
+ a ;
+ composite:index "0"^^xsd:int ;
+ ] ;
+ composite:child [
+ a ;
+ composite:index "1"^^xsd:int ;
+ ] ;
+].
diff --git a/restriction-dev/catalog-v001.xml b/restriction-dev/catalog-v001.xml
new file mode 100644
index 0000000..5cbe3cf
--- /dev/null
+++ b/restriction-dev/catalog-v001.xml
@@ -0,0 +1,4 @@
+
+
+
+
diff --git a/restriction-dev/test-case-restriction.ttl b/restriction-dev/test-case-restriction.ttl
new file mode 100644
index 0000000..4c2548c
--- /dev/null
+++ b/restriction-dev/test-case-restriction.ttl
@@ -0,0 +1,293 @@
+# baseURI: http://example.dataset.org/test-case-restriction
+# prefix: tc
+
+@prefix : .
+@prefix acti: .
+@prefix afn: .
+@prefix ai: .
+@prefix aka: .
+@prefix aktp: .
+@prefix app: .
+@prefix bibo: .
+@prefix c4o: .
+@prefix cc: .
+@prefix cce: .
+@prefix cito: .
+@prefix config: .
+@prefix core_fr_FR: .
+@prefix corpus: .
+@prefix crosswalk: .
+@prefix crosswalk.spin: .
+@prefix crosswalkapp: .
+@prefix crosswalkprojects: .
+@prefix dc: .
+@prefix dcelem: .
+@prefix dcterms: .
+@prefix display: .
+@prefix ehess: .
+@prefix ehess-individual: .
+@prefix ehess-person: .
+@prefix ehess-rules: .
+@prefix ero: .
+@prefix event: .
+@prefix evnconstraints: .
+@prefix evnui: .
+@prefix fabio: .
+@prefix far: .
+@prefix fn: .
+@prefix foaf: .
+@prefix geo: .
+@prefix geopolitical: .
+@prefix governance: .
+@prefix hr: .
+@prefix html: .
+@prefix j.0: .
+@prefix jfn: .
+@prefix local: .
+@prefix mann: .
+@prefix ns: .
+@prefix obo: .
+@prefix ocrer: .
+@prefix ocresd: .
+@prefix ontologyprojects: .
+@prefix ospcu: .
+@prefix owl: .
+@prefix owl2: .
+@prefix owlrl: .
+@prefix pf: .
+@prefix pubmed: .
+@prefix pvs: .
+@prefix rdf: .
+@prefix rdfs: .
+@prefix rdfsyn: .
+@prefix safconfig: .
+@prefix safm: .
+@prefix savedQueries: .
+@prefix sce: .
+@prefix scires: .
+@prefix scirr: .
+@prefix search: .
+@prefix sharepoint: .
+@prefix skco: .
+@prefix skos: .
+@prefix skos2: .
+@prefix skosspin: .
+@prefix skostemplate: .
+@prefix sm: .
+@prefix sm2wsdl: .
+@prefix smf: .
+@prefix sml: .
+@prefix socsci: .
+@prefix source: .
+@prefix sp: .
+@prefix spif: .
+@prefix spin: .
+@prefix spinmap: .
+@prefix spinmapl: .
+@prefix spl: .
+@prefix spr: .
+@prefix spra: .
+@prefix stars: .
+@prefix statistics: .
+@prefix study_protocol: .
+@prefix swa: .
+@prefix swaclasses: .
+@prefix swauml: .
+@prefix swon: .
+@prefix swrl: .
+@prefix swrlb: .
+@prefix swvs: .
+@prefix tables: .
+@prefix tablesmap: .
+@prefix tagger: .
+@prefix tasks: .
+@prefix taxonomies: .
+@prefix tbladmin: .
+@prefix tc: .
+@prefix teamwork: .
+@prefix teamworkupdate: .
+@prefix terms: .
+@prefix test-case-restriction: .
+@prefix textindex: .
+@prefix tops: .
+@prefix tosh.ui: .
+@prefix tracker: .
+@prefix ui: .
+@prefix uix: .
+@prefix vann: .
+@prefix vcard: .
+@prefix vitro: .
+@prefix vitro-public: .
+@prefix vivo-core: .
+@prefix vivo-ehess: .
+@prefix vivo-ehess-restriction: .
+@prefix vivo-ehess-rules: .
+@prefix vivo-fr: .
+@prefix vivo-rech: .
+@prefix vivoc: .
+@prefix vivoehess: .
+@prefix vivofr: .
+@prefix wcmc: .
+@prefix wos: .
+@prefix xml: .
+@prefix xsd: .
+
+vivofr:FNC_0000009
+ a owl:Class ;
+.
+vivofr:PRS_0000002
+ a owl:Class ;
+ rdfs:subClassOf foaf:Person ;
+ owl:equivalentClass [
+ a owl:Class ;
+ owl:intersectionOf (
+ [
+ a owl:Restriction ;
+ owl:onProperty vivo-core:relates ;
+ owl:someValuesFrom vivofr:FNC_0000006 ;
+ ]
+ [
+ a owl:Restriction ;
+ owl:onProperty vivo-core:relates ;
+ owl:someValuesFrom vivofr:FNC_0000007 ;
+ ]
+ [
+ a owl:Restriction ;
+ owl:onProperty vivo-core:relates ;
+ owl:someValuesFrom vivofr:FNC_0000008 ;
+ ]
+ [
+ a owl:Restriction ;
+ owl:onProperty vivo-core:relates ;
+ owl:someValuesFrom vivofr:FNC_0000014 ;
+ ]
+ [
+ a owl:Restriction ;
+ owl:onProperty vivo-core:relates ;
+ owl:someValuesFrom vivofr:FNC_0000015 ;
+ ]
+ ) ;
+ ] ;
+.
+
+ a owl:Ontology ;
+ spin:imports ;
+ owl:versionInfo "Created with TopBraid Composer" ;
+.
+test-case-restriction:DASE_RULE
+ a owl:AnnotationProperty ;
+.
+test-case-restriction:FNC_0000006_1-prs_0000002_indv
+ a vivofr:FNC_0000006 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000006 1-prs 0000001 indv" ;
+.
+test-case-restriction:FNC_0000006_2-prs_0000002_indv
+ a vivofr:FNC_0000006 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000006 2-prs 0000001 indv" ;
+.
+test-case-restriction:FNC_0000006_3-prs_0000002_indv
+ a vivofr:FNC_0000006 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000006 3-prs 0000001 indv" ;
+.
+test-case-restriction:FNC_0000007_1-prs_0000002_indv
+ a vivofr:FNC_0000007 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000007 1-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000007_2-prs_0000002_indv
+ a vivofr:FNC_0000007 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000007 2-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000007_3-prs_0000002_indv
+ a vivofr:FNC_0000007 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000007 3-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000008_1-prs_0000002_indv
+ a vivofr:FNC_0000008 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000008 1-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000008_2-prs_0000002_indv
+ a vivofr:FNC_0000008 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000008 2-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000008_3-prs_0000002_indv
+ a vivofr:FNC_0000008 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000008 3-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000009_3-prs_0000002_indv
+ a vivofr:FNC_0000009 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000009 3-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000014_1-prs_0000002_indv
+ a vivofr:FNC_0000014 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000014 1-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000014_2-prs_0000002_indv
+ a vivofr:FNC_0000014 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000014 -prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000014_3-prs_0000002_indv
+ a vivofr:FNC_0000014 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000014 3-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000015_1-prs_0000002_indv
+ a vivofr:FNC_0000015 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000015 1-prs 0000002 indv" ;
+.
+test-case-restriction:FNC_0000015_3-prs_0000002_indv
+ a vivofr:FNC_0000015 ;
+ a owl:NamedIndividual ;
+ rdfs:label "FNC 0000015 3-prs 0000002 indv" ;
+.
+test-case-restriction:prs_0000002_indva
+ a vivo-core:FacultyMember ;
+ vivo-core:relates test-case-restriction:FNC_0000006_1-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000007_1-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000008_1-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000014_1-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000015_1-prs_0000002_indv ;
+ rdfs:label "Individu à classer sous PRS_0000002" ;
+.
+test-case-restriction:prs_0000002_indvb
+ a vivo-core:FacultyMember ;
+ vivo-core:relates test-case-restriction:FNC_0000006_2-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000007_2-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000008_2-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000014_2-prs_0000002_indv ;
+ rdfs:label "Individu relates : 6-7-8-14" ;
+.
+test-case-restriction:prs_0000002_indvc
+ a vivo-core:FacultyMember ;
+ a owl:NamedIndividual ;
+ vivo-core:relates test-case-restriction:FNC_0000006_3-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000007_3-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000008_3-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000009_3-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000014_3-prs_0000002_indv ;
+ vivo-core:relates test-case-restriction:FNC_0000015_3-prs_0000002_indv ;
+ rdfs:label "Individu relates: 6-7-8-9-14-15" ;
+.
+vivo-core:FacultyMember
+ a owl:Class ;
+ rdfs:subClassOf foaf:Person ;
+.
+vivo-core:relates
+ a owl:ObjectProperty ;
+.
+foaf:Person
+ a owl:Class ;
+ rdfs:label "Person" ;
+.
diff --git a/restriction-dev/test-case-restriction.ttl.tbc b/restriction-dev/test-case-restriction.ttl.tbc
new file mode 100644
index 0000000..5b68789
--- /dev/null
+++ b/restriction-dev/test-case-restriction.ttl.tbc
@@ -0,0 +1,23 @@
+# baseURI: null
+
+@prefix composite: .
+@prefix forms: .
+@prefix inference: .
+@prefix owl: .
+@prefix rdf: .
+@prefix rdfs: .
+@prefix visual: .
+@prefix xsd: .
+
+[
+ a inference:Configuration ;
+ composite:child [
+ a ;
+ composite:index "0"^^xsd:int ;
+ ] ;
+ composite:child [
+ a ;
+ composite:index "1"^^xsd:int ;
+ ] ;
+ inference:completeMode true ;
+].
diff --git a/restriction-dev/vivo-ehess-restriction.ttl b/restriction-dev/vivo-ehess-restriction.ttl
new file mode 100644
index 0000000..21ee02a
--- /dev/null
+++ b/restriction-dev/vivo-ehess-restriction.ttl
@@ -0,0 +1,237 @@
+# baseURI: http://data.ehess.fr/ontology/vivo-ehess-restriction
+# imports: http://data.ehess.fr/ontology/vivo-ehess
+# imports: http://data.ehess.fr/ontology/vivo-fr
+# imports: http://vivoweb.org/ontology/core
+
+@prefix : .
+@prefix acti: .
+@prefix afn: .
+@prefix ai: .
+@prefix aka: .
+@prefix aktp: .
+@prefix app: .
+@prefix bibo: .
+@prefix c4o: .
+@prefix cc: .
+@prefix cce: .
+@prefix cito: .
+@prefix config: .
+@prefix core: .
+@prefix core_fr_FR: .
+@prefix corpus: .
+@prefix crosswalk: .
+@prefix crosswalk.spin: .
+@prefix crosswalkapp: .
+@prefix crosswalkprojects: .
+@prefix dc: .
+@prefix dcelem: .
+@prefix dcterms: .
+@prefix display: .
+@prefix ehess: .
+@prefix ehess-individual: .
+@prefix ehess-person: .
+@prefix ehess-rules: .
+@prefix ero: .
+@prefix event: .
+@prefix evnconstraints: .
+@prefix evnui: .
+@prefix fabio: .
+@prefix far: .
+@prefix fn: .
+@prefix foaf: .
+@prefix geo: .
+@prefix geopolitical: .
+@prefix governance: .
+@prefix hr: .
+@prefix html: .
+@prefix j.0: .
+@prefix jfn: .
+@prefix local: .
+@prefix mann: .
+@prefix ns: .
+@prefix obo: .
+@prefix ocrer: .
+@prefix ocresd: .
+@prefix ontologyprojects: .
+@prefix ospcu: .
+@prefix owl: .
+@prefix owl2: .
+@prefix owlrl: .
+@prefix pf: .
+@prefix pubmed: .
+@prefix pvs: .
+@prefix rdf: .
+@prefix rdfs: .
+@prefix rdfsyn: .
+@prefix safconfig: .
+@prefix safm: .
+@prefix savedQueries: .
+@prefix sce: .
+@prefix scires: .
+@prefix scirr: .
+@prefix search: .
+@prefix sharepoint: .
+@prefix skco: .
+@prefix skos: .
+@prefix skos2: .
+@prefix skosspin: .
+@prefix skostemplate: .
+@prefix sm: .
+@prefix sm2wsdl: .
+@prefix smf: .
+@prefix sml: .
+@prefix socsci: .
+@prefix source: .
+@prefix sp: .
+@prefix spif: .
+@prefix spin: .
+@prefix spinmap: .
+@prefix spinmapl: .
+@prefix spl: .
+@prefix spr: .
+@prefix spra: .
+@prefix stars: .
+@prefix statistics: .
+@prefix study_protocol: .
+@prefix swa: .
+@prefix swaclasses: .
+@prefix swauml: .
+@prefix swon: .
+@prefix swrl: .
+@prefix swrlb: .
+@prefix swvs: .
+@prefix tables: .
+@prefix tablesmap: .
+@prefix tagger: .
+@prefix tasks: .
+@prefix taxonomies: .
+@prefix tbladmin: .
+@prefix teamwork: .
+@prefix teamworkupdate: .
+@prefix terms: .
+@prefix textindex: .
+@prefix tops: .
+@prefix tosh.ui: .
+@prefix tracker: .
+@prefix ui: .
+@prefix uix: .
+@prefix vann: .
+@prefix vcard: .
+@prefix vitro: .
+@prefix vitro-public: .
+@prefix vivo-core: .
+@prefix vivo-ehess: .
+@prefix vivo-ehess-rules: .
+@prefix vivo-fr: .
+@prefix vivo-rech: