Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine...
Transcript of Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine...
![Page 1: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/1.jpg)
Description Logics and OWL
Antoine Zimmermann
École des mines de Saint-Étienne
20th January 2014, EMSE
1
![Page 2: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/2.jpg)
Outline
History and Applications
Basic DLSyntaxSemantics
Reasoning and Reasoners
Advanced DL (OWL and more)
Tools
![Page 3: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/3.jpg)
Knowledge Representation
General goal of knowledge representation:“develop formalisms for providing high-level descriptions of theworld that can be effectively used to build intelligentapplications.”
“formalisms”: syntax + well-defined semantics + reasoningservices“high-level descriptions”: which aspects should berepresented, which left out?“intelligent applications”: are able to infer new knowledgefrom given knowledge“effectively use”: reasoning techniques should allow“usable” implementation
![Page 4: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/4.jpg)
Early formalisms
DLs inherit from previous KR languages:Semantic networks (1966)Frame-based languages (1970s)KL-One (1st “DL-like” system 1985)
Why not FOL? With unrestricted FOL. . .. . . structure of knowledge is destroyed⇒ cannot beexploited for driving the inference. . . expressive power too high for obtaining decidable andefficient inference problems. . . inference power may be too low for expressinginteresting, but still decidable theories
![Page 5: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/5.jpg)
What are Description Logics?
A family of logic based Knowledge Representation formalismsDescendants of semantic networks and KL-ONEDescribe domain in terms of concepts (classes), roles(properties, relationships) and individuals (instances)
Distinguished by:Formal semantics (typically model theoretic)
Decidable fragments of FOLProvision of inference services
Decision procedures for key problems (satisfiability,subsumption, etc)Implemented systems (highly optimised)
![Page 6: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/6.jpg)
Applications
The fields where DL were applied / had an impact areMedical informatics e.g., SNOMED, 450000 conceptsabout anatomy, diseases, etc.Bioinformatics e.g., the Gene Ontology, 17000 concepts.Semantic Web (thousands of DL ontologies available)Code management (Lassie, 1990s)ConfigurationDigital LibrariesPlanningData miningDB integrationSchema mapping
![Page 7: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/7.jpg)
Applications
The fields where DL were applied / had an impact areMedical informatics e.g., SNOMED, 450000 conceptsabout anatomy, diseases, etc.Bioinformatics e.g., the Gene Ontology, 17000 concepts.Semantic Web (thousands of DL ontologies available)Code management (Lassie, 1990s)ConfigurationDigital LibrariesPlanningData miningDB integrationSchema mapping
![Page 8: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/8.jpg)
Vocabulary
The DL vocabulary consists of:Concepts (classes / unary predicates)
E.g., Person, Doctor, HappyParentRoles (relations / properties / binary predicates)
E.g., hasChild, loves, etc...Individuals (instances / constants)
E.g., Antoine, DERI, Galway
![Page 9: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/9.jpg)
Building complex concepts
There are constructs for building complex concepts
Constructor Syntax Exampleatomic concept A Humanbottom concept ⊥ —top concept > —atomic role R hasFriendconjunction C u D Human u Maledisjunction C t D Nice t Richnegation ¬C ¬Meatexists restrict. ∃R.C ∃hasChildPersonvalue restrict. ∀R.C ∀hasChildBlond
(for C and D any concept, R atomic role)
![Page 10: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/10.jpg)
TBox / ABox
DLs Knowledge Base usually the terminological knowledge(universal knowledge) from the assertional (factual) knowledge:
![Page 11: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/11.jpg)
TBox / AboxTBox: concept definition and subsumption axioms:
Concept definition
A .= C
e.g., Father .= Man u ∃hasChild.Human
Subsumption axioms
C1 v C2e.g., ∃hasFavourite.Brewery v ∃drinks.Beer
ABox: facts about individuals:
Concept assertions
a : Ce.g., Antoine : Human u Male
Role assertions
〈a1,a2〉 : Re.g., 〈Antoine,DERI〉 : worksIn
![Page 12: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/12.jpg)
Interpretation
Given a vocabulary (set of atomic terms), a (model-theoretic)interpretation is defined by:
![Page 13: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/13.jpg)
Interpretation
Given a vocabulary (set of atomic terms), a (model-theoretic)interpretation is defined by:
![Page 14: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/14.jpg)
Interpretation
Given a vocabulary (set of atomic terms), a (model-theoretic)interpretation is defined by:
![Page 15: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/15.jpg)
Interpretation
Given a vocabulary (set of atomic terms), a (model-theoretic)interpretation is defined by:
![Page 16: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/16.jpg)
Interpretation
Given a vocabulary (set of atomic terms), a (model-theoretic)interpretation is defined by:
![Page 17: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/17.jpg)
Interpreting complex concepts
Given an interpretation 〈∆I , I〉 of terms only, interpretations ofcomplex concepts are built recursively:
Construct Interpretationa aI ∈ ∆I
A AI ⊆ ∆I
⊥ ⊥I = ∅> >I = ∆I
R RI ⊆ ∆I ×∆I
C u D CI ∩ DI
C t D CI ∪ DI
¬C ∆I \ CI
∃R.C {x ∈ ∆I | ∃y , 〈x , y〉 ∈ RI ∧ y ∈ CI}∀R.C {x ∈ ∆I | ∀y , 〈x , y〉 ∈ RI ⇒ y ∈ CI}
![Page 18: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/18.jpg)
Satisfaction relation
The satisfaction relation |= is a relation between interpretationsand axioms and assertions:
I |= C v D iff CI ⊆ DI
(read I satisfies C v D)I |= a : C iff aI ∈ CI
I |= 〈a1,a2〉 : R iff 〈aI1 ,aI2 〉 ∈ RI
If I satisfies all axioms and assertions, it is a model of theKnowledge Base.
![Page 19: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/19.jpg)
Translation into FOL
DL axioms can be expressed in FOL:
Father v Human u Male u ∃hasChild.Human
translates into:
∀x .Father(x)⇒ Human(x)
∧ Male(x)
∧ ∃y .hasChild(x , y)
∧ Human(y)
![Page 20: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/20.jpg)
Inference problems
Consistency (check if ontology meaningful)O consistent⇔ there exists a model of OC consistent⇔ there is a model I for which CI 6= ∅
Subsumption (structure knowledge, compute taxonomy)O implies C v D? ⇔ CI ⊆ DI for all models of O
Instantiation (check if a instance of C)O implies a : C? ⇔ aI ∈ CI for all models of O
Retrieval (retrieve individuals a that instantiate C)set of a s.t. aI ∈ CI for all models of O
All problems reducible to consistency.
![Page 21: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/21.jpg)
Properties of reasoning and reasoners
Soundness: when the system gives an answer, it iscorrect wrt the KB (but it may not give all answers)Completeness: the system can provide all the correctanswers (but it may also provide additional wrong answers)Complexity: Complexity of the problem and/or of thereasoner in function of the size of the input (usually, a classof complexity)
![Page 22: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/22.jpg)
The general architecture
![Page 23: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/23.jpg)
New constructors
How to express that a Person has exactly 2 parents, 1 who isMale, 1 who is Female?
Constructor Syntax Examplenominals (O) {a1, . . . , an} week days {Monday,Tuesday, . . . }max cardinality (N ) ≤ n.R ≤ 1hasChildmin cardinality (N ) ≥ n.R ≥ 2hasParentqualified max card. (Q) ≤ n.RC ≤ 1hasParentMalequalified min card. (Q) ≥ n.RC ≥ 1hasParentFemaleSelf concept (?) ∃R.Self ∃regulateSelfinverse role (H) R− hasParent− is hasChildrole chain (·◦) R ◦ S hasParent ◦ Brothercartesian product (?) C × D Elephant ◦ Miceother role const. (·u,t,¬) R u C and t, ¬, identity, etc.subrole axiom (H) R v S hasFriend v knowstransitive role (·R+) Trans(R) Trans(hasAncestor)
![Page 24: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/24.jpg)
New constructors: semantics
Constructor Syntax{a1, . . . , an} {aI1 , . . . , anI}≤ n.R {x ∈ ∆I | #{y ∈ ∆I | 〈x , y〉 ∈ RI} ≤ n}≥ n.R {x ∈ ∆I | #{y ∈ ∆I | 〈x , y〉 ∈ RI} ≥ n}≤ n.RC {x ∈ ∆I | #{y ∈ ∆I | 〈x , y〉 ∈ RI ∧ y ∈ CI} ≤ n}≥ n.RC {x ∈ ∆I | #{y ∈ ∆I | 〈x , y〉 ∈ RI ∧ y ∈ CI} ≥ n}∃R.Self {x ∈ ∆I | 〈x , x〉 ∈ RI}R− {〈x , y〉 | 〈y , x〉 ∈ RI}R ◦ S {〈x , y〉 ∈ ∆I ×∆I | ∃t ∈ ∆I , 〈x , t〉 ∈ RI ∧ 〈t , y〉 ∈ SI}C × D CI × DI
R u C RI ∩ SI
R v S RI ⊆ SI
Trans(R) RI is transitively closed
![Page 25: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/25.jpg)
Complexity
![Page 26: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/26.jpg)
More DL
High complexity of DL is worrying... New forms of DLEL and extensions;DL-Lite and extensions;DLP and variants.
that restrictconstructs;axioms;left/right side of subclass/subproperty axioms;datatypes.
![Page 27: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/27.jpg)
EL and extensions
EL Restricts constructs to:
Constructor Syntaxatomic concept Atop concept >atomic role Rconjunction C u Dexists restrict. ∃R.Cproperty chains R1 ◦ R2 v R
EL+ + adds the following constructs:
bottom concept ⊥nominal {a}concrete domain p(f1, . . . , fn)
Polynomial complexity. Any other typical construct added to ELleads to intractability.
![Page 28: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/28.jpg)
The DL-Lite family
DL-Litecore is based on the following grammar:
B ::= A | ∃RC ::= B | ¬BR ::= P | P−
E ::= R | ¬R
TBox is restricted to B v C.DL-LiteR extends it with R v E .Reasoning is polynomial in size of TBox. Conjunctive queryanswering in LogSpace in the size of ABox (Polynomial in sizeof TBox).
![Page 29: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/29.jpg)
DLP and variants
OWL 2 RL is roughly based on the following grammar:
B ::= A | B u B | B t B | {a} | ∃R.BC ::= A | C u C | ¬B | ∀R.C | ∃R.{a} |≤ 1.B |≤ 1R ::= P | P−
TBox is restricted to B v C.Reasoning is polynomial in size of TBox.
![Page 30: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/30.jpg)
OWL 1
OWL Lite corresponds to DL SHIQ(D), OWL DL toSHOIN (D)
Constructor DL SyntaxintersectionOf C1 u · · · u CnunionOf C1 t · · · t CncomplementOf ¬ConeOf {a1, . . . ,an}allValuesFrom ∀R.CsomeValuesFrom ∃R.CmaxCardinality ≤ nRminCardinality ≥ nR
+ XMLS datatypes as well as classes in ∀R.C and ∃R.C +nesting of constructors
![Page 31: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/31.jpg)
OWL in RDF
Person v ∀hasParent.Person needs 5 triples::Person a owl:Class;
rdfs:subClassOf [a owl:Restriction;owl:onProperty :hasParent;owl:allValuesFrom :Person
] .Person=̇Man t Woman needs 7 triples::Person owl:equivalentClass [
a owl:Class;owl:unionOf (:Man :Woman)] .
![Page 32: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/32.jpg)
OWL 2
OWL 2 corresponds to DL SROIQ(D)
max/maxCardinality (qualified and datatypes)hasSelfReflexiveProperty, IrreflexiveProperty, AsymmetricPropertypropertyDisjointWithpropertyChainAxioms with restrictionshasKey (multiple keys, including datatype keys... allows tosimulate datatype IFPs)top/bottom propertiesmore datatype capabilitiesmetamodelling & “punning”, more annotations, versioning,etc.
![Page 33: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/33.jpg)
OWL 2 Profiles
OWL 2 DL has 3 sublanguages:OWL 2 ELOWL 2 QLOWL 2 RL
![Page 34: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/34.jpg)
Reasoners and API
DL Reasoners are usually made for (a fragment of) OWLPellet: in Java, open source, for SROIQ, i.e., OWL2FaCT++: in C++, open source, for SROIQRacerPro: commercial, for SHIQ, i.e., OWL-LiteKAON2: in Java, free for non-commercial use, for SHIQHermiT: in Java, LGPL, for SHIQCEL: in LISP, free for non-commercial use, for EL(light-weight ontologies)
These reasoners implement the OWL Api. Quite easy to usewhen one knows Jena, Sesame, etc.See an up to date list at http://www.cs.man.ac.uk/~sattler/reasoners.html
![Page 35: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/35.jpg)
Ontology editors
Protégé: in Java, open source, very popular (v.4 is not anextension of v.3, it is a new branch)SWOOP: Java, open source, lighter than ProtégéNeOn toolkit: some parts owned by OntoPrise, lots of stuff
![Page 36: Description Logics and OWLzimmermann/Teaching/KRR/DL+OWL.pdf · Description Logics and OWL Antoine Zimmermann École des mines de Saint-Étienne 20th January 2014, EMSE 1. Outline](https://reader034.fdocuments.in/reader034/viewer/2022052019/60332992e2901e59d26ee61f/html5/thumbnails/36.jpg)
Thank you
Questions and comments?