Abstract
For realizing the Semantic Web vision, extensive work is underway for getting the layers of its conceived architecture ready. Given that the Ontology Layer has reached a certain level of maturity with W3C recommendations such as RDF and the OWL Web Ontology Language, current interest focuses on the Rules Layer and its integration with the Ontology Layer. Several proposals have been made for solving this problem, which does not have a straightforward solution due to various obstacles. One of them is the fact that evaluation principles like the closed-world assumption, which is common in rule languages, are usually not adopted in ontologies. Furthermore, naively adding rules to ontologies raises undecidability issues. In this paper, after giving a brief overview about the current state of the Semantic-Web stack and its components, we will discuss nonmonotonic logic programs under the answer-set semantics as a possible formalism of choice for realizing the Rules Layer. We will briefly discuss open issues in combining rules and ontologies, and survey some existing proposals to facilitate reasoning with rules and ontologies. We will then focus on description-logic programs (or dl-programs, for short), which realize a transparent integration of rules and ontologies supported by existing reasoning engines, based on the answer-set semantics.We will further discuss a generalization of dlprograms, viz. HEX-programs, which offer access to different ontologies as well as higher-order language constructs.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-070

BibTeX:

@inproceedings{REWERSE-RP-2006-070,
	author = {Thomas Eiter and Giovambattista Ianni and Axel Polleres and Roman Schindlauer and Hans Tompits},
	title = {Reasoning with Rules and Ontologies},
	booktitle = {Proceedings of Summer School Reasoning Web 2006, Lisbon, Portugal (4th--8th September 2006)},
	year = {2006},
	volume = {4126},
	organization = {REWERSE},
	series = {LNCS},
	pages = {93--127},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-070}
}