In this paper we present the Conceptual Data Integration Language (CoDIL), a visual language providing conceptual level visual mechanisms to manipulate and ...
In this paper we present the Conceptual Data Integration Language (CoDIL), a visual language providing conceptual level visual mechanisms to manipulate and ...
ABSTRACT. Despite many innovative systems supporting the data inte- gration process, designers advocate more abstract metaphors.
Visual data integration based on description logic reasoning. L. Caruccio, V. Deufemia, and G. Polese. IDEAS, page 19-28. ACM, (2014 ). 1. 1. Meta data.
在本文中，我们提出了概念数据集成语言(CoDIL)，这是一种可视化语言，提供了概念级可视化机制来操作和集成数据源，并通过ALCN描述逻辑形式化了语言图标操作符。形式化允许 ...
The ubiquity of mobile devices has opened new research opportunities for knowledge-based systems. The purpose of this work is to integrate logic programming ...
Missing: Visual | Show results with:Visual
We present LoRA, a novel Logical Reasoning Augmented VQA dataset that requires formal and complex description logic reasoning based on a food-and-kitchen ...
Ontology-based Data Integration. Description Logics. Description Logic-based Data Integration ... Query Answering on OB Data integration systems. Virtual ABox.
Missing: Visual | Show results with:Visual
Course summary: This course aims at providing the bases of symbolic AI, along with a few selected advanced topics. It includes courses on formal logics, ...
Lightweight logics enable tractability: knowledge base satisfiability and query answering become decidable in AC0 and LogSpace data complexity, respectively.