Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web

Abstract

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the Open World Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default… (More)

7 Figures and Tables

Topics

  • Presentations referencing similar topics