Titlebook: Web Reasoning and Rule Systems; Second International Diego Calvanese,Georg Lausen Conference proceedings 2008 Springer-Verlag Berlin Heidel

無目標(biāo)

Collision

Reasoning with a Network of Aligned Ontologiesto directly connect to each other. We consequently devise a correct and complete algorithm which, although being far from tractacle, has interesting properties: it is independent from the local logics expressing ontologies by encapsulating local reasoners. This shows that consistency of a . system i

SLUMP

Enhancing a DLP System for Advanced Database ApplicationsDLP in real-world applications..We develop a DLP system which . carries out as much as possible of the reasoning tasks in mass memory without degrading performances, allowing to deal with data-intensive applications; . extends the expressiveness of DLP language with external function calls, yet impr

來就得意

背帶