OWL 1.1 Rules
description
Transcript of OWL 1.1 Rules
![Page 1: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/1.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 1
Rea
Sem
Slide 1
OWL 1.1 Rules
Markus Krötzsch Sebastian Rudolph Pascal Hitzler
AIFB, University of Karlsruhe, Germany
logic.aifb.uni-karlsruhe.de
Deduktionstreffen, Saarbrücken, March 2008
![Page 2: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/2.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 2
Rea
Sem
Neuerscheinung
• Hitzler, Krötzsch, Rudolph, SureSemantic Web – Grundlagen.Springer, 2008.24,95 €
• Erstes deutsches Lehrbuch zu Grundlagen des Semantic Web.
• Behandelt u.a. Syntax, Semantik und Deduktionsverfahren von OWL (SHOIN(D)).
![Page 3: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/3.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 3
Rea
Sem
Web Ontology Language OWL
• Semantic Web Knowledge Representation Language
• W3C recommendation April 2004.• OWL DL: Fragment of 1st order predicate logic.
• OWL DL: – Description Logic SHOIN(D).– decidable.– NExpTime
![Page 4: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/4.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 4
Rea
Sem
OWL1.1
• Description Logic SROIQ• in standardisation process (W3C)• decidable, NExpTime-hard• extends SHOIN with
– role inclusion axioms R ± S v T– qualified number restrictions– punning– further role properties
• identified tractable fragmentsEL++, DL-Lite, DLP, Horn-SHIQ, ...
![Page 5: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/5.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 5
Rea
Sem
DL Rules
• Rules over some description logic L• B, H sets of concept or role atoms in L,
x the variables in B and H• Rules of the form (8x) B ! H with
– for any non-initial individual u in B, there is a path from exactly one initial t to u in B
– for any t,u there is at most one path in B from t to u– if H contains an atom C(t) or R(t,u), then t is initial
in B
V V
![Page 6: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/6.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 6
Rea
Sem
SROIQ Rules
• can be internalised into SROIQ• internalisation is polynomial• however, it is not an obvious transformation
• decidable fragment of SWRL within SROIQ
![Page 7: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/7.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 7
Rea
Sem
EL++ Rules
• substantially extends EL++• EL++ together with EL++ Rules are tractable (in P)
• EL++ can be reduced to EL++ Rules• reduction is polynomial
• This allows to apply rule-based reasoning techniques for reasoning with EL++ and EL++ Rules!
![Page 8: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/8.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 8
Rea
Sem
DLP1.1 = DLP + DLP Rules
• Reducible to function-free first-order Horn rules with at most five variables per formula.
• Reduction can be done in polynomial time.
• DLP1.1 is tractable (in P)
![Page 9: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/9.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 9
Rea
Sem
Conclusions
• OWL1.1 Rules as expressive rules fragment of OWL1.1.• Automatically supported by OWL1.1 reasoners.
• EL++ Rules as new tractable fragment – includes EL++.
• DLP1.1: new tractable rules fragment extending DLP.
![Page 10: OWL 1.1 Rules](https://reader035.fdocuments.us/reader035/viewer/2022062806/56814f7c550346895dbd2d72/html5/thumbnails/10.jpg)
Hitzler ● OWL1.1 Rules ● DedSys Saarbrücken ● March 2008
AIFB
Slide 10
Rea
Sem
More Details at the Poster!
THANKS!