On Combining Ontologies and Rules

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


Ontology languages, based on Description Logics, and nonmonotonic rule languages are two major formalisms for the representation of expressive knowledge and reasoning with it, that build on fundamentally different ideas and formal underpinnings. Within the Semantic Web initiative, driven by the World Wide Web Consortium, standardized languages for these formalisms have been developed that allow their usage in knowledge-intensive applications integrating increasing amounts of data on the Web. Often, such applications require the advantages of both these formalisms, but due to their inherent differences, the integration is a challenging task. In this course, we review the two formalisms and their characteristics and show different ways of achieving their integration. We also discuss an available tool based on one such integration with favorable properties, such as polynomial data complexity for query answering when standard inference is polynomial in the used ontology language.

Original languageEnglish
Title of host publicationReasoning Web. Declarative Artificial Intelligence
Subtitle of host publication17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lecture
EditorsMantas Šimkus, Ivan Varzinczak
Place of PublicationCham
Number of pages37
ISBN (Electronic)978-3-030-95481-9
ISBN (Print)978-3-030-95480-2
Publication statusPublished - 1 Feb 2022
Event17th Reasoning Web International Summer School, Reasoning Web 2021 - Virtual, Online
Duration: 8 Sept 202115 Sept 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference17th Reasoning Web International Summer School, Reasoning Web 2021
CityVirtual, Online


Dive into the research topics of 'On Combining Ontologies and Rules'. Together they form a unique fingerprint.

Cite this