Inconsistency Handling in Datalog+⁄− Ontologies

The advent of the Semantic Web has made the problem of inconsistency management especially relevant. Datalog+/- is a family of ontology languages that is in particular useful for representing and reasoning over lightweight ontologies in the Semantic Web. In this paper, we study different semantics f...

Full description

Bibliographic Details
Main Authors: Lukasiewicz, T, Martinez, M, Simari, G
Format: Conference item
Published: IOS Press 2012