Skip to main content
SpringerLink
Log in
Book cover

Encyclopedia of Database Systems pp 1–6Cite as

Integration of Rules and Ontologies

  • Living reference work entry
  • First Online:

  • 139 Accesses

Definition

The layered structure of the Semantic Web (see http://www.w3.org/2007/03/layerCake.png) adopted by the World Wide Web Consortium W3C includes, among others, the Ontology layer with the web ontology language OWL and the rule layer with the emerging Rule Interchange Format (RIF) http://www.w3.org/TR/rif-fld/which allows rules to be translated between rule languages. The integration of rules and ontologies aims at developing techniques for interoperability between rules and ontologies in the Semantic Web. This is necessary for rule-based applications to access existing domain ontologies. In most of the proposals the integration is achieved by defining and implementing a new language which is a common extension of a given rule language and a given ontology language, enhancing the expressive power of each of the components. Alternatively, the integration of rules and ontologies may be achieved by designing from scratch one language sufficiently expressive to define both rules...

This is a preview of subscription content, log in via an institution.

Recommended Reading

  1. Antoniou G, Bikakis A. DR-Prolog: a system for defeasible reasoning with rules and ontologies on the semantic Web. IEEE Trans Knowl Data Eng. 2007;19(2):233–45.

    Article  Google Scholar 

  2. Baral C, Gelfond M. Logic programming and knowledge representation. J Log Program. 1994;19/20:73–148.

    Article  MathSciNet  MATH  Google Scholar 

  3. de Bruijn J, Pearce D, Polleres A, Valverde A. Quantified equilibrium logic and hybrid rules. In: Proceedings of the 1st international conferences on Web reasoning and rule systems. 2007. p. 58–72.

    Google Scholar 

  4. Drabent W, Małuszyński J, Well-founded semantics for hybrid rules. In: Proceedings of the 1st international conferences on Web reasoning and rule systems. 2007. pp. 1–15.

    Google Scholar 

  5. Eiter T, Gottlob G, Mannila H. Disjunctive datalog. ACM Trans Database Syst. 1997;22(3):364–418.

    Article  Google Scholar 

  6. Eiter T, Lukasiewicz T, Schindlauer R, Tompits H. Combining answer set programming with description logics for the semantic web. In: Proceeding of the 9th international conferences principles of knowledge representation and reasoning. 2004. p. 141–51.

    Google Scholar 

  7. Eiter T, Lukasiewicz T, Schindlauer R, Tompits H. Well-founded semantics for description logic programs in the semantic web. In: Proceedings of the 3rd international workshop on rules and rule markup languages for the semantic Web. 2004. p. 81–97.

    Google Scholar 

  8. Erdmann M. Semantic web applications. 2007, first Asian Autumn School on Semantic Web, Tutorial video at: http://rease.semanticweb.org/ubp/.

  9. Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Proceedings of the 5th international conferences logic programming. 1988. p. 1070–80.

    Google Scholar 

  10. Grosof BN. Prioritized conflict handling for logic programs. In: Proceeding 14th international conferences logic programming. 1997. p. 197–211.

    Google Scholar 

  11. Grosof B. Semantic web rules with ontologies, and their e-Services applications. 2006, iSWC06 tutorial video at: http://videolectures.net/iswc06_grosof_swrot/.

  12. Grosof B, Horrocks I, Volz R, Decker S. Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th internaltional World Wide Web conference. 2003. p. 48–57.

    Google Scholar 

  13. Kifer M. In: Eisinger N, Małuszyński J, editors. Rules and ontologies in F-logic, vol. 3564. Berlin: Reasoning Web, LCNS; 2005. p. 22–34.

    Google Scholar 

  14. Knorr M, Alferes JJ, Hitzler P. A well-founded semantics for hybrid MKNF knowledge bases. In: Proceeding of the 20th international workshop on description logics. 2007. p. 347–54.

    Google Scholar 

  15. Levy A, Rousset MC. CARIN: a representation language combining horn rules and description logics. Artif Intell. 1998;104(1–2):165–209.

    Article  MATH  Google Scholar 

  16. Motik B. and Rosati R. A faithful integration of description logics with logic programming. In: Proceeding of the 20th international joint conferences on AI. 2007, p. 477–82.

    Google Scholar 

  17. Motik B, Sattler U, Studer R. Query answering for OWL-DL with rules. J Web Sem. 2005;3(1):41–60.

    Article  Google Scholar 

  18. Nilsson U, Małuszyński J. Logic, Programming and Prolog. 2nd ed. New York: Wiley. 1995, now available free of charge at: http://www.ida.liu.se/ ulfni/lpp/

  19. Nute D. Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming, vol. 3. Oxford: Oxford University Press; 1994. p. 353–95.

    Google Scholar 

  20. Rosati R. DL+log: tight integration of description logics and disjunctive datalog. In: Proceeding of the 10th international conferences principles of knowledge representation and reasoning. p. 68–78.

    Google Scholar 

  21. Sintek M, Decker S. TRIPLE – a query, inference, and transformation language for the semantic web. 2002. p. 364–378

    Google Scholar 

  22. Gelder A, van Ross KA, Schlipf JS. Unfounded sets and well-founded semantics for general logic programs. In: Proceeding of the 7th ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems. 1988. p. 221–30.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Linköping University, Linköping, Sweden

    Jan Małuszyński

Authors
  1. Jan Małuszyński
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Małuszyński .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. Fac. of IE & Mgmt., Technion--Israel Inst. of Technology, Haifa, Haifa, Israel

    Avigdor Gal

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media LLC

About this entry

Cite this entry

Małuszyński, J. (2016). Integration of Rules and Ontologies. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_1313-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_1313-2

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation