openhpi 5.8 - web ontology language (part 5)
DESCRIPTION
General Role Inclusion -> Not for the Faint of HeartTRANSCRIPT
![Page 1: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/1.jpg)
This file is licensed under the Creative Commons Attribution-NonCommercial 3.0 (CC BY-NC 3.0)
Dr. Harald Sack
Hasso Plattner Institute for IT Systems Engineering
University of Potsdam
Spring 2013
Semantic Web Technologies
Lecture 5: Knowledge Representations II08: Web Ontology Language (Part 5)
![Page 2: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/2.jpg)
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
2
Lecture 5: Knowledge Representations II
Open HPI - Course: Semantic Web Technologies
![Page 3: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/3.jpg)
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
3
08 OWL General Role Inclusion (OWL Part 5)Open HPI - Course: Semantic Web Technologies - Lecture 5: Knowledge Representations II
![Page 4: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/4.jpg)
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
3
08 OWL General Role Inclusion (OWL Part 5)Open HPI - Course: Semantic Web Technologies - Lecture 5: Knowledge Representations II
Not for the Faint of Heart
![Page 5: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/5.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
![Page 6: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/6.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•„The friends of my friends are also my friends.“
![Page 7: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/7.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•„The friends of my friends are also my friends.“
• can be expressed as SHOIN(D) transitive property
![Page 8: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/8.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•„The friends of my friends are also my friends.“
• can be expressed as SHOIN(D) transitive property
•But: „The foes of my friends are also my foes.“
![Page 9: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/9.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•„The friends of my friends are also my friends.“
• can be expressed as SHOIN(D) transitive property
•But: „The foes of my friends are also my foes.“
• cannot be expressed as SHOIN(D)
![Page 10: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/10.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•„The friends of my friends are also my friends.“
• can be expressed as SHOIN(D) transitive property
•But: „The foes of my friends are also my foes.“
• cannot be expressed as SHOIN(D)
hasFoehasFriend
![Page 11: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/11.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
4
Turmbau zu Babel, Pieter Brueghel, 1563
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•„The friends of my friends are also my friends.“
• can be expressed as SHOIN(D) transitive property
•But: „The foes of my friends are also my foes.“
• cannot be expressed as SHOIN(D)
hasFoehasFriend
• In FOL expressed as a rule (axiom):• ∀x,y,z:hasFriend(x,y)∧hasFoe(y,z) ! hasFriendsFoe(x,z)
![Page 12: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/12.jpg)
General Role / Property Inclusion
•Complex Roles / Properties can be constructed from simple roles / properties (R-Box)
•SHROIQ(D) enables the construction of complex roles
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
5
General Property Inclusion
• R-Box expressions of the form R1ºR2ºR3º.....ºRn⊑Se.g.: hasFriend º hasFoe ⊑ hasFriendsFoe
• Semantics: if (x0,x1)∈R1I,(x1,x2)∈R2I...(xn-1,xn)∈RnI , then it also holds that (x0,xn)∈SI
E.g.: (x0,x1)∈hasFriendI and (x1,x2)∈hasFoeI, then it also holds (x0,x2)∈hasFriendsFoeI
![Page 13: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/13.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
6
Expressivity of General Property Inclusion
• With RBoxes formal Languages can be defined
Example•Grammar for the (context free) language of the words ab, aabb, aaabbb, ...
L ::= abL ::= aLb
becomes Ra º Rb ⊑ LRa º L º Rb ⊑ L
![Page 14: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/14.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
6
Expressivity of General Property Inclusion
• With RBoxes formal Languages can be defined
Example•Grammar for the (context free) language of the words ab, aabb, aaabbb, ...
L ::= abL ::= aLb
becomes Ra º Rb ⊑ LRa º L º Rb ⊑ L
•∃L.⊤ ≢ ⊥ („ ∃L.⊤ necessarely non-empty“) means:„There exists a chain Ra and Rb pertaining to the language.“
•∃L1.∃L2- ≢ ⊥ for two languages L1 and L2 means:„There exists a word pertaining to L1 and also to L2.“
![Page 15: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/15.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
6
Expressivity of General Property Inclusion
• With RBoxes formal Languages can be defined
But from formal languages is known:Emptiness of the intersection of context free languages is not decidable
Example•Grammar for the (context free) language of the words ab, aabb, aaabbb, ...
L ::= abL ::= aLb
becomes Ra º Rb ⊑ LRa º L º Rb ⊑ L
•∃L.⊤ ≢ ⊥ („ ∃L.⊤ necessarely non-empty“) means:„There exists a chain Ra and Rb pertaining to the language.“
•∃L1.∃L2- ≢ ⊥ for two languages L1 and L2 means:„There exists a word pertaining to L1 and also to L2.“
![Page 16: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/16.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
7
OWL with general propertry inclusion in UNDECIDABLE !
Expressivity of General Property Inclusion
• With RBoxes formal Languages can be defined
Example•Grammar for the (context free) language of the words ab, aabb, aaabbb, ...
•∃L.⊤ ≢ ⊥ („ ∃L.⊤ necessarely non-empty“) means:„There exists a chain Ra and Rb pertaining to the language.“
•∃L1.∃L2- ≢ ⊥ for two languages L1 and L2 means:„There exists a word pertaining to L1 and also to L2.“
L ::= abL ::= aLb
becomes Ra º Rb ⊑ LRa º L º Rb ⊑ L
![Page 17: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/17.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
8
Restriction to Regular RBoxes
• Can property inclusion be restricted in some way to stay decidable?
• Rboxes are like grammars for context-free languages
• Intersection of context free languages is problematic
• Therefore restriction to regular languages!
Regular RBoxes•Property names are ordered with ≺ (strict partial Ordering).•Each RBox Inclusion must must be formed like:
•Where: Si ≺ R for all i=1,2,...,n•An RBox is called regular, if such an (strict) Ordering ≺ exists.
•R º R ⊑ R•R- ⊑ R•S1 º S2 º S3 º ... º Sn ⊑ R
•R º S1 º S2 º S3 º...º Sn ⊑ R •S1 º S2 º S3 º... º Sn º R ⊑ R
![Page 18: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/18.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
9
![Page 19: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/19.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
9
Regular RBoxes - Examples
![Page 20: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/20.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
9
Regular RBoxes - Examples
• Example:hasParent º hasHusband ⊑ hasFatherhasFather ⊑ hasParent
![Page 21: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/21.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
9
Regular RBoxes - Examples
• Example:hasParent º hasHusband ⊑ hasFatherhasFather ⊑ hasParent
• is not regular because regularity would enforcebothhasParent ≺ hasFatherand hasFather ≺ hasParentwhich is impossible because ≺ must be strict
![Page 22: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/22.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
10
Restrictions for simple Properties
• Simple properties in SHOIN(D) are properties without
transitive subproperties
• In SHROIQ(D) general property inclusion has to be
considered
•Non-simple properties are properties that are directly (or indirectly) dependent of property chains (º )
Simple Properties• are all properties that• are not on the right side of a property inclusion,• are the inverse of other simple properties,• are only on the right side of property inclusions R ⊑ S,
where on the left side is a simple property
![Page 23: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/23.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
11
Restrictions for simple Properties
• The following expressions are permitted ONLY for simple properties:
•Reason: Saving Decidability
•≤n R.C and ≥n R.C (qualified number restriction)
• Irreflexive properties
•Disjunctive properties
•∃R.Self
•¬R(a,b)
![Page 24: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/24.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
12
Summary• To ensure decidability the following structural restrictions
must hold for SHROIQ(D):• Regularity:
Restriction of potential interaction of RBox axioms
• Simplicity of properties:Restrictions of how to apply properties in number restrictions
• Therefore a number of restrictions arise for the overall structure of the knowledge base that have to be considered for all axioms.
• Attention: The union of several SHROIQ(D) knowledge bases
might violate these restrictions, although each underlying knowledge base does comply to the restrictions!
General Role / Property Inclusion
![Page 25: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/25.jpg)
Vorlesung Semantic Web, Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
13
OWL 2 General Property Inclusion
• OWL enables property chaining (general property inclusion)
• Not allowed for datatype properties
hasFoehasFriend
:hasFriendsFoe a owl:ObjectProperty ; owl:PropertyChainAxiom ( :hasFriend :hasFoe ) .
![Page 26: OpenHPI 5.8 - Web Ontology Language (Part 5)](https://reader033.vdocuments.mx/reader033/viewer/2022051014/54b8ac394a7959c6438b459b/html5/thumbnails/26.jpg)
Semantic Web Technologies , Dr. Harald Sack, Hasso-Plattner-Institut, Universität Potsdam
14
09 Rules and the Semantic WebOpen HPI - Course: Semantic Web Technologies - Lecture 5: Knowledge Representations II