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...
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
IOS Press
2012
|