-
Notifications
You must be signed in to change notification settings - Fork 0
/
MAN-P6-KB.txt
62 lines (47 loc) · 1.57 KB
/
MAN-P6-KB.txt
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
#---------------------------------------------------------------------
# CONCEPTS
# Person ⊑ Mammal ⊓ Biped
# Woman = Person ⊓ Female
# Man = Person ⊓ Male
# Father = Man ⊓ ∃parentOf.Person
# Mother = Woman ⊓ ∃parentOf.Person
# Bachelor = Man ⊓ ¬∃husbandOf.Person
#---------------------------------------------------------------------
Class: Person
SubClassOf: Mammal and Biped
DisjointUnionOf: Man, Woman
Class: Woman
EquivalentTo: Person and Female
Class: Man
EquivalentTo: Person and Male
Class: Mother
EquivalentTo: Woman and parentOf some Person
Class: Father
EquivalentTo: Man and parentOf some Person
Class: Bachelor
EquivalentTo: Man and not (husbandOf some Person)
#---------------------------------------------------------------------
# ROLES
#---------------------------------------------------------------------
ObjectProperty: parentOf
Domain: Person
Range: Person
ObjectProperty: husbandOf
Domain: Person
Range: Person
#---------------------------------------------------------------------
# INDIVIDUALS
# Mother(Priya)
# Bachelor(Dhruv)
#---------------------------------------------------------------------
Individual: Priya
Types: Mother
Facts: parentOf Dhruv
DifferentFrom: Dhruv
Individual: Dhruv
Types: Bachelor
#---------------------------------------------------------------------
# CONSTRAINTS
#---------------------------------------------------------------------
DisjointClasses: Man, Woman
DifferentIndividuals: Priya, Dhruv