-
Notifications
You must be signed in to change notification settings - Fork 1
/
CookingRecipe.owl
113 lines (71 loc) · 2.79 KB
/
CookingRecipe.owl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
Prefix(:=<http://www.iiitd.ac.in/winter2022/sweb/cookingrecipe#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Ontology(<http://www.iiitd.ac.in/winter2022/sweb/cookingrecipe>
Declaration(Class(:CusineType))
Declaration(Class(:Dish))
Declaration(Class(:EastIndainCusine))
Declaration(Class(:Flavour))
Declaration(Class(:IndianCusine))
Declaration(Class(:Ingredient))
Declaration(Class(:ItalianCusine))
Declaration(Class(:NorthIndianCusine))
Declaration(Class(:Recipe))
Declaration(Class(:SouthIndianCusine))
Declaration(Class(:WestIndianCusine))
Declaration(ObjectProperty(:hasCusineType))
Declaration(ObjectProperty(:hasRecipe))
Declaration(DataProperty(:hasServingSize))
Declaration(NamedIndividual(:bitter))
Declaration(NamedIndividual(:raita))
Declaration(NamedIndividual(:sour))
Declaration(NamedIndividual(:sweet))
Declaration(NamedIndividual(:tangy))
############################
# Object Properties
############################
# Object Property: :hasCusineType (:hasCusineType)
InverseFunctionalObjectProperty(:hasCusineType)
ObjectPropertyDomain(:hasCusineType :Dish)
ObjectPropertyRange(:hasCusineType :CusineType)
############################
# Data Properties
############################
# Data Property: :hasServingSize (:hasServingSize)
DataPropertyDomain(:hasServingSize :Dish)
DataPropertyRange(:hasServingSize xsd:nonNegativeInteger)
############################
# Classes
############################
# Class: :Dish (:Dish)
SubClassOf(:Dish ObjectSomeValuesFrom(:hasCusineType :Dish))
SubClassOf(:Dish ObjectExactCardinality(1 :hasCusineType :Dish))
# Class: :EastIndainCusine (:EastIndainCusine)
SubClassOf(:EastIndainCusine :IndianCusine)
# Class: :Flavour (:Flavour)
EquivalentClasses(:Flavour ObjectOneOf(:bitter :sour :sweet :tangy))
# Class: :IndianCusine (:IndianCusine)
SubClassOf(:IndianCusine :CusineType)
# Class: :ItalianCusine (:ItalianCusine)
SubClassOf(:ItalianCusine :CusineType)
# Class: :NorthIndianCusine (:NorthIndianCusine)
SubClassOf(:NorthIndianCusine :IndianCusine)
# Class: :SouthIndianCusine (:SouthIndianCusine)
SubClassOf(:SouthIndianCusine :IndianCusine)
# Class: :WestIndianCusine (:WestIndianCusine)
SubClassOf(:WestIndianCusine :IndianCusine)
############################
# Named Individuals
############################
# Individual: :bitter (:bitter)
# Individual: :raita (:raita)
ClassAssertion(:Flavour :raita)
# Individual: :sour (:sour)
# Individual: :sweet (:sweet)
# Individual: :tangy (:tangy)
DisjointClasses(:EastIndainCusine :NorthIndianCusine :SouthIndianCusine :WestIndianCusine)
DifferentIndividuals(:bitter :sour :sweet :tangy)
)