Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2009 | OriginalPaper | Buchkapitel

Ontologies and Rules

verfasst von : Pascal Hitzler, Bijan Parsia

Erschienen in: Handbook on Ontologies

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Summary

Ontologies and rules are two established paradigms in knowledge modelling, and play an important role for the Semantic Web. In this chapter, we present an introduction to common approaches for combining OWL ontologies and rules. In particular, we cover the Semantic Web Rules Language SWRL and Description Logic Programs DLP, and give pointers to the literature.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
3
In addition to the forms directly below, SWRL also allows for “built-in” atoms which are discussed in Sect. 2.3.
 
4
As in the SWRL submission.
 
5
For a basic discussion of the standard translation in a modal logic context, see chapter “Ontologies in F-Logic” of [1]. For variants of the standard translation for SHOIN(D) and other description logis see [33] and [16].
 
6
Class and property equivalence axioms can be defined as a pair of inclusion axioms.
 
7
Thanks to an anonymous reviewer for some clarifications on this point.
 
8
We presume normal Datalog safety, i.e. that every variable in the head appears in the body.
 
11
We would like to mention that it has been argued whether this analysis is appropriate.
 
14
In our terminology, the set of OWL Lite statements \(\{C \sqsubseteq D \sqcup E,D \equiv E\}\) would not qualify as a set of DLP statements, although it is semantically equivalent to \(\{C \sqsubseteq D,D \equiv E\}\), which is expressible in DLP. We are well aware of this restriction, but will not be concerned with it in the moment, because this more general notion of semantic equivalence is not readily accessible by syntactic means. Note, however, that C⊑D⊔D qualifies as a DLP statement, since it is semantically equivalent to C⊑D.
 
15
Note that – since we have non-disjunctive rules – the only effect of integrity constraints is that they can render the knowledge base to be inconsistent. Equality also needs some explanations: The theorem assumes that we do not use the unique name assumption, and equality thus has the same meaning as it has under OWL DL, e.g. two different constants can be equal, meaning that they denote the same individual.
 
16
However, Horn--SHIQ lies within the proposed OWL 2 language, see http://​www.​w3.​org/​Submission/​owl11-tractable/​
 
Literatur
1.
Patrick Blackburn, Johan F. A. K. van Benthem, and Frank Wolter. Handbook of Modal Logic, volume 3 (Studies in Logic and Practical Reasoning). Elsevier Science, New York, 2006.
2.
Ronald J. Brachman, Deborah L. McGuiness, Peter F. Patel-Schneider, and Lori A. Resnick. Living with CLASSIC: when and how to use a KL-ONE-like language. In John Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, San Mateo, US, 1990.
3.
Bruce Buchanan and Edward Shortliffe. Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading, MA, 1984.
4.
Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January, 6–12 2007. AAAI, New York.
5.
Jos de Bruijn, David Pearce, Axel Polleres, and Agustín Valverde. Quantified equilibrium logic and hybrid rules. In Marchiori et al., editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 58–72.
6.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, and Andrea Schaerf. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems, 10(3):227–252, 1998.CrossRefMATH
7.
Wlodzimierz Drabent and Jan Maluszynski. Well-founded semantics for hybrid rules. In Marchiori et al., editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 1–15.
8.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. dlvhex: A prover for semantic-web reasoning under the answer-set semantics. In 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China. IEEE Computer Society, Los Alamitos, CA, 2006, pages 1073–1074.
9.
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits. Effective integration of declarative rules with external evaluations for semantic-web reasoning. In York Sure and John Domingue, editors, The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11–14, 2006, Proceedings, volume 4011 of Lecture Notes in Computer Science. Springer, Berlin, 2006, pages 273–287.
10.
Francis Gasse, Ulrike Sattler, and Volker Haarslev. Rewriting rules into SROIQ axioms. In Proc. 21st Int. Workshop on Description Logics (DL-08), Dresden, Germany, 2008.
11.
Benjamin Grosof, Ian Horroks, Raphael Volz, and Stefan Decker. Description logic programs: Combining logic programs with description logics. In Proc. of WWW 2003, Budapest, Hungary, May 2003. ACM, New York, 2003, pages 48–57.
12.
Stijn Heymans, Davy Van Nieuwenborgh, and Dirk Vermeir. Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In Proceedings ESWC2005, volume 3532 of Lecture Notes in Computer Science. Springer, Berlin, 2005, pages 392–407.
13.
Ian Horrocks and Peter F. Patel-Schneider. A proposal for an OWL rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004). ACM, New York, 2004, pages 723–731.
14.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for very expressive description logics. Logic Journal of the IGPL, 8(3):239–263, 2000.MathSciNetCrossRefMATH
15.
Ullrich Hustadt, Boris Motik, and Ulrike Sattler. Data complexity of reasoning in very expressive description logics. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), 2005, pages 466–471.
16.
Ullrich Hustadt, Renate A. Schmidt, and Lilia Georgieva. A survey of decidable first-order fragments and description logics. Journal of Relational Methods in Computer Science, 1:251–276, 2004. Invited overview paper.
17.
Matthias Knorr, Jose Alferes, and Pascal Hitzler. Towards tractable local closed world reasoning for the semantic web. In J. Neves, M. F. Santos, and J. Machado, editors, Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3–7, 2007, Proceedings, volume 4874 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 3–14.
18.
Matthias Knorr, Jose Alferes, and Pascal Hitzler. A coherent well-founded model for Hybrid MKNF knowledge bases. In Proceedings of the 18th European Conference on Artificial Intelligence, ECAI-08, Patras, Greece, 2008. To appear.
19.
Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, and Michael Sintek. How to reason with OWL in a logic programming system. In Proc. 2nd Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006), Athens, Georgia, USA. Springer, Berlin, 2006.
20.
Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Complexity of Horn description logics. In Proceedings of the Twenty-Second Conference on Artificial Intelligence, AAAI-07, Vancouver, British Columbia, Canada, July 2007, pages 452–457.
21.
Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler. Description logic rules. In Proceedings of the 18th European Conference on Artificial Intelligence, ECAI-08, Patras, Greece, 2008. To appear.
22.
Alon Y. Levy and Marie-Christine Rousset. CARIN: A representation language combining Horn rules and description logics. In European Conference on Artificial Intelligence, 1996, pages 323–327.
23.
Alon Y. Levy and Marie-Christine Rousset. Combining Horn rules and description logics in CARIN. Artificial Intelligence, 104:68–78, 1998.MathSciNetCrossRefMATH
24.
John W. Lloyd. Foundations of logic programming (second, extended edition). In Springer Series in Symbolic Computation. Springer, New York, 1987.
25.
Thomas Lukasiewicz. A novel combination of answer set programming with description logics for the semantic web. In Enrico Franconi, Michael Kifer, and Wolfgang May, editors, The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3–7, 2007, Proceedings, volume 4519 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 384–398.
26.
Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie, editors. Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007.
27.
Tobias Matzner and Pascal Hitzler. Any-world access to OWL from Prolog. In J. Hertzberg, M. Beetz, and R. Englert, editors, KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrck, Germany, September 2007, Proceedings, volume 4667 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 84–98.
28.
Jing Mei, Zuoquan Lin, and Harold Boley. LC: An integration of description logic and general rules. In Marchiori et al., editors, Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck, Austria, June 7–8, 2007, Proceedings, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 163–177.
29.
Boris Motik. Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Germany, 2006.
30.
Boris Motik, Ian Horrocks, Riccardo Rosati, and Ulrike Sattler. Can OWL and logic programming live together happily ever after? In Isabel F. Cruz, Stefan Decker, Dean Allemang, Chris Preist, Daniel Schwabe, Peter Mika, Michael Uschold, and Lora Aroyo, editors, International Semantic Web Conference, volume 4273 of Lecture Notes in Computer Science. Springer, Berlin, 2006, pages 501–514.
31.
Boris Motik and Riccardo Rosati. A faithful integration of description logics with logic programming. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI, New York, 2007, pages 477–482.
32.
Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. In International Semantic Web Conference, 2004, pages 549–563.
33.
Boris Motik, Ulrike Sattler, and Rudi Studer. Query answering for OWL-DL with rules. Journal of Web Semantics, 3(1):41–60, 2005.CrossRef
34.
Boris Motik, Rob Shearer, and Ian Horrocks. Optimized Reasoning in Description Logics using Hypertableaux. In Proc. of the 21st Conference on Automated Deduction (CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence, Bremen, Germany, July 17–20. Springer, Berlin, 2007, pages 67–83.
35.
Riccardo Rosati. Tight integration of description logics and disjunctive datalog. In Proceedings KR2006. AAAI, New York, 2006, pages 68–78.
36.
Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler. All elephants are bigger than all mice. In Proc. 21st Int. Workshop on Description Logics (DL-08), Dresden, Germany, 2008.
37.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, and Denny Vrandečić. Efficient OWL reasoning with logic programs – Evaluations. In Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007, volume 4524 of Lecture Notes in Computer Science. Springer, Berlin, 2007, pages 370–373.
38.
Roman Schindlauer. Answer-Set Programming for the Semantic Web. PhD thesis, Vienna University of Technology, Austria, 2006.
39.
Julian Seidenberg and Alan L. Rector. Representing transitive propagation in OWL. In David W. Embley, Antoni Olivé, and Sudha Ram, editors, ER, volume 4215 of Lecture Notes in Computer Science. Springer, Berlin, 2006, pages 255–266.
40.
York Sure, Stephan Bloehdorn, Peter Haase, Jens Hartmann, and Daniel Oberle. The SWRC ontology – Semantic Web for Research Communities. In Carlos Bento, Amilcar Cardoso, and Gael Dias, editors, Proceedings of the 12th Portuguese Conference on Artificial Intelligence – Progress in Artificial Intelligence (EPIA 2005), volume 3803 of LNCS, Covilha, Portugal. Springer, Berlin, 2005, pages 218–231.
41.
Raphael Volz. Web Ontology Reasoning With Logic Databases. PhD thesis, Universität Fridericiana zu Karlsruhe (TH), Germany, 2004.
Metadaten
Titel
Ontologies and Rules
verfasst von
Pascal Hitzler
Bijan Parsia
Copyright-Jahr
2009
Verlag
Springer Berlin Heidelberg
Buch
Handbook on Ontologies

Print ISBN: 978-3-540-70999-2

Electronic ISBN: 978-3-540-92673-3

Copyright-Jahr: 2009

DOI
https://doi.org/10.1007/978-3-540-92673-3_5