Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web


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


  • Presentations referencing similar topics