SemWebLab5

SemWebLab5
Przemyslaw Tomala, Piotr Winiarski
November 19, 2013
1
Relation to First Order Logic
Model the above statements in DL syntax.
A man is a male and an adult and a person:
Man ≡ P erson u M ale u Adult :
A newspaper is a broadsheet or a tabloid:
Newspaper ≡ Broadsheet t T abloid
Everything a vegetarian eats is not an animal:
Vegefood ≡ ¬Animal
EU countries are: Germany, France, . . . , Poland
EU countries v {Germany} t ... t {P oland} t {F rance}
An old lady has only cats:
Old lady ≡ P erson u ∀has.cat
A dog owner has some dog(s):
Dogowner ≡ P erson
A reasonable man has maximum 1 woman:
≤ 1has.woman
An animal lover has minimun 3 pets:
animallover ≡≥ 3has.pet
A kid is the same as a young person:
Kid ≡ Y oungP erson
Every cat is an animal:
Cat v Animal
2
Description Logic Languages
Dzial HR ∃has.Kierwonik
Stanowisko∃W ynagrodzenie
W akat¬P racownik
Kandydat∃CV u Listmotywacyjny
1
3
Knowledge Representation systems based on
DL
3.1
TBox and ABox
3.2
TBox
DzialHR
Kierownik
Rekruter
Stanowisko
Kandydat
Doświadczenie
W yksztalcenie
W ynagrodzenie
3.3
ABox
Rekrutuje
Zatrudnia
W ymaganedoświadczenie
W ymaganewyksztalcenie
P racuje
4
4.1
OWL
OWL - Abstract Syntax
male
adult
elderly ⊆ adult
pet≡ ∃isP etOf.T hing
vegetarian≡ animal u ∀eats.¬animal u ∀eats.¬∃partOf.animal
dogucat ≡⊥
≥ 1eatenBy ⊆ animal
eats≡ eatenBy
hasPet⊆ likes
Tom∈ T hing
Tibbs∈ Cat
4.2
OWL - XML Syntax
person uhasChild(Doctor t (hasChild.Doctor))
2
4.3
Species of OWL
OWL2 EL EL++
OWL2 QL DL-Lite
OWL2 RL DLP
OWL2 DL SROIQ(D)
3